21 results
List of Figures
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp viii-ix
-
- Chapter
- Export citation
2 - Modal logic, decidability and complexity
- from I - Logical Preliminaries - Hybrid Logics, Decidability, Deductive Systems
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 9-16
-
- Chapter
- Export citation
8 - Deductive systems for non-standard hybrid logics
- from II - Deductive Systems for Hybrid Logics
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 135-194
-
- Chapter
- Export citation
7 - Deductive systems for standard hybrid logics
- from II - Deductive Systems for Hybrid Logics
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 93-134
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp xiii-xiv
-
- Chapter
- Export citation
I - Logical Preliminaries - Hybrid Logics, Decidability, Deductive Systems
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 7-8
-
- Chapter
- Export citation
5 - Logic M(En)
- from I - Logical Preliminaries - Hybrid Logics, Decidability, Deductive Systems
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 39-86
-
- Chapter
- Export citation
4 - Hybrid logic
- from I - Logical Preliminaries - Hybrid Logics, Decidability, Deductive Systems
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 23-38
-
- Chapter
- Export citation
Deductive Systems and Decidability Problem for Hybrid Logics
-
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014
Symbols
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp xii-xii
-
- Chapter
- Export citation
List of Tables
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp x-x
-
- Chapter
- Export citation
Abbreviations
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp xi-xi
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 1-6
-
- Chapter
- Export citation
Index
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 211-215
-
- Chapter
- Export citation
II - Deductive Systems for Hybrid Logics
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 91-92
-
- Chapter
- Export citation
3 - Deductive systems
- from I - Logical Preliminaries - Hybrid Logics, Decidability, Deductive Systems
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 17-22
-
- Chapter
- Export citation
6 - Remarks on description logics contributions
- from I - Logical Preliminaries - Hybrid Logics, Decidability, Deductive Systems
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 87-90
-
- Chapter
- Export citation
Contents
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp v-vii
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 199-210
-
- Chapter
- Export citation
9 - Summary
- from II - Deductive Systems for Hybrid Logics
-
- Book:
- Deductive Systems and Decidability Problem for Hybrid Logics
- Published by:
- Jagiellonian University Press
- Published online:
- 05 January 2015
- Print publication:
- 31 December 2014, pp 195-198
-
- Chapter
- Export citation