Failure of interpolation in combined modal logics

Notre Dame Journal of Formal Logic

Volumn 39, Issue 2, 1998, Pages 253-274

  Marx, Maarten ^a   Areces, Carlos ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b Institute for Logic   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33847251167     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1039293067     Document Type: Article

References (22)

1. Chang, C., and H. Keisler, Model Theory, North-Holland, Amsterdam, 1973.
2. Comer, S., “Classes without the amalgamation property,” Pacific Journal of Mathematics, vol. 28 (1969), pp. 309-18.
3. Craig, W., “Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory,” The Journal of Symbolic Logic, vol. 22 (1957), pp. 269-85.
4. Czelakowski, J., “Logical matrices and the amalgamation property,” Studia Logica, vol. 41 (1982), pp. 329-41.
5. Fine, K., “An ascending chain of S4 logics,” Theoria, vol. 40 (1974), pp. 110-16.
6. Gabbay, D., “Fibred semantics and the weaving of logics, Part 1: Modal and intuitionistic logics,” The Journal of Symbolic Logic, vol. 61 (1996), pp. 1057-120.
7. Gabbay, D., and V. Shehtman, “Products of modal logics, Part 1,” Logic Journal of the IGPL, vol. 6 (1998), pp. 73-146.
8. Gabbay, D., I. Hodkinson, and M. Reynolds, Temporal Logic, vol. 1, Mathematical Foundations and Computational Aspects, Oxford Science Publications, Oxford, 1994.
9. Garbov, G., “Two completeness theorems in the logic for data analysis,” Institute of Computer Science, TR 581, Polish Academy of Sciences, Warsaw, 1986.
10. Gargov, V., S. Passy, and T. Tinchev, “Modal environment for Boolean speculations,” pp. 253-63 in Mathematical Logic and Its Applications, edited by D. Scordev, Plenum Press, New York, 1987.
11. Goranko, V., “Modal definability in enriched languages,” Notre Dame Journal of Formal Logic, vol. 31 (1990), pp. 81-105.
12. Humberstone, I. L., “Inaccessible worlds,” Notre Dame Journal of Formal Logic, vol. 24 (1983), pp. 346-52.
13. Maibaum, T., and M. Sadler, “Axiomatising specification theory,” pp. 171-77 in Third Abstract Data Type Workshop, Fachbereich Informatik 25, edited by H. Kreowski, Springer Verlag, 1984.
14. Maksimova, L., “Interpolation theorems in modal logics: sufficient conditions,” Algebra i Logika, vol. 2 (1980), pp. 194-213.
15. Marx, M., “Interpolation in (fibered) modal logic,” pp. 4-8 in Proceedings of AMAST 1998, edited by A. Haeberer, Amazonia, Manaus, 1999.
16. Marx, M., and Y. Venema, Multi-dimensional Modal Logic, Applied Logic Series, Kluwer Academic Publishers, Dordrecht, 1997.
17. Pawlak, Z., “Information systems theoretical foundations,” Information Systems, vol. 6 (1981), pp. 205-18.
18. Renardel de Lavalette, G., “Modularisation, parametrisation, and interpolation,” Journal of Information Processing and Cybernetics EIK, vol. 25 (1989), pp. 283-92.
19. Sain, I., “Beth’s and Craig’s properties via epimorphisms and amalgamation in algebraic logic,” pp. 209-26 in Algebraic Logic and Universal Algebra in Computer Science, vol. 425 of Lecture Notes in Computer Science, edited by C. H. Bergman, R. D. Maddux, and D. L. Pigozzi, Springer-Verlag, Berlin, 1990.
20. van Benthem, J. Modal Logic and Classical Logic, Bibliopolis, Naples, 1983.
21. van Benthem, J., and I. L. Humberstone, “Halldén-completeness by gluing of Kripke frames,” Notre Dame Journal of Formal Logic, vol. 24 (1983), pp. 426-30.
22. Venema, Y., Many-Dimensional Modal Logic, Ph.D. Thesis, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, 1992.