zbMATH — the first resource for mathematics

Failure of interpolation in combined modal logics. (English) Zbl 0968.03025
Summary: We investigate transfer of interpolation in such combinations of modal logics which lead to interaction of the modalities. Combining logics by taking products often blocks transfer of interpolation. The same holds for combinations by taking unions, a generalization of Humberstone’s inaccessibility logic. Viewing first-order logic as a product of modal logics, we derive a strong counterexample for failure of interpolation in the finite-variable fragments of first-order logic. We provide a simple condition stated only in terms of frames and bisimulations which implies failure of interpolation. Its use is exemplified in a wide range of cases.

03B45 Modal logic (including the logic of norms)
03C40 Interpolation, preservation, definability
Full Text: DOI
[1] Chang, C., and H. Keisler, Model Theory , North-Holland, Amsterdam, 1973. · Zbl 0276.02032
[2] Comer, S., “Classes without the amalgamation property,” Pacific Journal of Mathematics , vol. 28 (1969), pp. 309–18. · Zbl 0175.01401
[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. JSTOR: · Zbl 0079.24502
[4] Czelakowski, J., “Logical matrices and the amalgamation property,” Studia Logica , vol. 41 (1982), pp. 329–41. · Zbl 0549.03014
[5] Fine, K., “An ascending chain of S4 logics ,” Theoria , vol. 40 (1974), pp. 110–16. · Zbl 0307.02013
[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. JSTOR: · Zbl 0872.03007
[7] Gabbay, D., and V. Shehtman, “Products of modal logics, Part 1,” Logic Journal of the IGPL , vol. 6 (1998), pp. 73–146. · Zbl 0902.03008
[8] Gabbay, D., I. Hodkinson, and M. Reynolds, Temporal Logic , vol. 1, Mathematical Foundations and Computational Aspects, Oxford Science Publications, Oxford, 1994. · Zbl 0921.03023
[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. · Zbl 0701.03008
[11] Goranko, V., “Modal definability in enriched languages,” Notre Dame Journal of Formal Logic , vol. 31 (1990), pp. 81–105. · Zbl 0706.03016
[12] Humberstone, I. L., “Inaccessible worlds,” Notre Dame Journal of Formal Logic , vol. 24 (1983), pp. 346–52. · Zbl 0511.03007
[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. · Zbl 0585.68045
[14] Maksimova, L., “Interpolation theorems in modal logics: sufficient conditions,” Algebra i Logika , vol. 2 (1980), pp. 194–213. · Zbl 0469.03011
[15] Marx, M., “Interpolation in (fibered) modal logic,” pp. 4–8 in Proceedings of AMAST 1998 , edited by A. Haeberer, Amazonia, Manaus, 1999. · Zbl 0926.03021
[16] Marx, M., and Y. Venema, Multi-dimensional Modal Logic , Applied Logic Series, Kluwer Academic Publishers, Dordrecht, 1997. · Zbl 0942.03029
[17] Pawlak, Z., “Information systems theoretical foundations,” Information Systems , vol. 6 (1981), pp. 205–18. · Zbl 0462.68078
[18] Renardel de Lavalette, G., “Modularisation, parametrisation, and interpolation,” Journal of Information Processing and Cybernetics EIK , vol. 25 (1989), pp. 283–92. · Zbl 0679.68016
[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. · Zbl 0793.03076
[20] van Benthem, J. Modal Logic and Classical Logic , Bibliopolis, Naples, 1983. · Zbl 0639.03014
[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. · Zbl 0517.03004
[22] Venema, Y., Many-Dimensional Modal Logic , Ph.D. Thesis, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, 1992. · Zbl 0785.03007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.