Interpolation for extended modal languages

Journal of Symbolic Logic

Volumn 70, Issue 1, 2005, Pages 223-234

  Ten Cate, Balder ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 14944350748     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1107298517     Document Type: Article

References (15)

1. HAJNAL ANDRÉKA, JOHAN VAN BENTHEM, and ISTVÁN NÉMETI, Modal logics and bounded fragments of predicate logic, Journal of Philosophical Logic, vol. 27 (1998), no. 3. pp. 217-274.
2. CARLOS ARECES, PATRICK BLACKBURN, and MAARTEN MARX, Hybrid logics: Characterization, interpolation and complexity, this JOURNAL, vol. 66 (2001), no. 3, pp. 977-1010.
3. JON BARWISE and SOLOMON FEFERMAN, Model-theoretic logics, Springer-Verlag, 1985.
4. PATRICK BLACKBURN, MAARTEN DE RIJKE, and YDE VENEMA, Modal logic, Cambridge University Press, Cambridge, UK, 2001.
5. WILLEM CONRADIE, Definability and changing perspectives: The Beth property for three extensions of modal logic, Master's thesis, ILLC, University of Amsterdam, 2002.
6. WILLIAM CRAIG, Linear reasoning, a new form of the Herbrand-Gentzen theorem, this JOURNAL, vol. 22 (1957), pp. 250-268.
7. MAARTEN DE RIJKE, The modal logic of inequality, this JOURNAL, vol. 57 (1992), no. 2, pp. 566-584.
8. Dov GABBAY, Craig's interpolation theorem for modal logics, Conference in mathematical logic - London '70 (Wilfrid Hodges, editor), Lecture Notes in Mathematics, Springer-Verlag, 1972, pp. 111-127.
9. GEORGE GARGOV and VALENTIN GORANKO, Modal logic with names, Journal of Philosophical Logic, vol. 22 (1993), no. 6, pp. 607-636.
10. ERICH GRÄDEL, On the restraining power of guards, this JOURNAL, vol. 64 (1999), no. 4, pp. 1719-1742.
11. EVA HOOGLAND and MAARTEN MARX, Interpolation and definability in guarded fragments, Studia Logica, vol. 70 (2002), no. 3, pp. 373-409.
12. MAARTEN MARX, Relation algebra with binders, Journal of Logic and Computation, vol. 11 (2001), no. 5, pp. 691-700.
13. EDITH SPAAN, Complexity of modal logics, Ph.D. thesis, ILLC, University of Amsterdam, 1993.
14. BALDER TEN CATE, MAARTEN MARX, and PETRUCIO VIANA. Sahlqvist theory for hybrid logic, Liber Amieorum Dick de Jongh (Anne Troelstra, editor), University of Amsterdam, 2004, Available from http://staff.science.uva.nl/~bcate.
15. YDE VENEMA, Relational games, Algebraic logic (Hajnal Andréka, Donald Monk, and István Nérneti, editors), North-Holland, 1991, pp. 695-718.