23 results
HYBRID PARTIAL TYPE THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 May 2023, pp. 1-43
-
- Article
- Export citation
Notes on contributors
-
-
- Book:
- The Cambridge History of Fifteenth-Century Music
- Published online:
- 05 July 2015
- Print publication:
- 16 July 2015, pp xix-xxvi
-
- Chapter
- Export citation
Constructive interpolation in hybrid logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 463-480
- Print publication:
- June 2003
-
- Article
- Export citation
Hybrid logics: characterization, interpolation and complexity
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 977-1010
- Print publication:
- September 2001
-
- Article
- Export citation
Modal Logic
-
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001
2 - Models
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 50-122
-
- Chapter
- Export citation
3 - Frames
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 123-187
-
- Chapter
- Export citation
Appendix B - An Algebraic Toolkit
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 497-503
-
- Chapter
- Export citation
Preface
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp xi-xxii
-
- Chapter
- Export citation
References
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 524-543
-
- Chapter
- Export citation
Contents
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp vii-x
-
- Chapter
- Export citation
4 - Completeness
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 188-260
-
- Chapter
- Export citation
Dedication
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp v-vi
-
- Chapter
- Export citation
Appendix D - A Guide to the Literature
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 516-523
-
- Chapter
- Export citation
6 - Computability and Complexity
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 332-412
-
- Chapter
- Export citation
5 - Algebras and General Frames
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 261-331
-
- Chapter
- Export citation
7 - Extended Modal Logic
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 413-484
-
- Chapter
- Export citation
Index
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 547-554
-
- Chapter
- Export citation
1 - Basic Concepts
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 1-49
-
- Chapter
- Export citation
Appendix C - A Computational Toolkit
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 504-515
-
- Chapter
- Export citation