Interpolation in modal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1548, Issue , 1998, Pages 154-163

  Marx, Maarten ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Fibering; Interpolation; Modal logic (of knowledge and belief)

Indexed keywords

ALGEBRA; FORMAL LOGIC; INTERPOLATION; RECONFIGURABLE HARDWARE; SOFTWARE ENGINEERING;

BISIMULATIONS; CONSISTENCY PROPERTY; FIBERING; INTERPOLATION PROPERTIES; MODAL LOGIC; ROBINSON;

COMPUTER CIRCUITS;

EID: 51349126332     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49253-4_13     Document Type: Conference Paper

References (21)

1. Andréka, H., Németi, I., and Sain, I. (1994). Craig property of a logic and decomposability of theories. In Dekker, P. and Stokhof, M., editors, Proceedings of the 9th Amsterdam Colloquium, pages 87-92, Universiteit van Ams-terdam. Institute for Logic, Language and Computation, University of Amsterdam
2. Bergstra, J., Heering, J., and Klint, P. (1990). Module algebra. Journal of the Association for Computing Machinery, 37:335-372
3. de Rijke, M. (1993). Extending Modal Logic. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, Universiteit van Amsterdam. ILLC Dissertation Series 1993-4
4. Ehrig, H. and Mahr, B. (1985). Fundamentals of Algebraic Spec-ifications, 1:Equations and Initial Semantics. Springer Verlag, Berlin
5. Gabbay, D. (forthcoming). Fibring Logics. Oxford University Press
6. Halpern, J. and Moses, Y. (1985). A guide to the modal logic of knowledge and belief. In Proceedings IJCAI-85, pages 480-490, Los Angeles, CA
7. Hintikka, J. (1962). Knowledge and Belief. Cornell University Press, Ithaca, NY
8. Hoek, W. (1993). Systems for knowledge and belief. J. Logic Computat., 3(2):173-195
9. Hughes, G. and Creswell, M. (1984). A Companion to Modal Logic. Methuen
10. Maibaum, T. and Sadler, M. (1984). Axiomatising specification theory. In Kreowski, H., editor, 3rd Abstract Data Type Workshop, Fachbere-ich Informatik 25, pages 171-177. Springer Verlag
11. Maibaum, T., Veloso, P., and Sadler, M. (1984). Logical specification and implementation. In Joseph, M. and Shyamasundar, R., editors, Foundations of Software Technology and Theoretical Computer Science, LCNS 186, pages 13-30. Spinger Verlag
12. Maksimova, L. (1991). Amalgamation and interpolation in normal modal logics. Studia Logica, L(3/4):457-471
13. Marx, M. (1995). Algebraic Relativization and Arrow Logic. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam. ILLC Dissertation Series 1995-3
14. Marx, M. and Areces, C. (1997). Failure of interpolation in combined modal logics. Technical Report CS-RR-326, University of Warwick, De-partment of Computer Science. submitted for publication
15. Meyer, J.-J., Hoek, W., and Vreeswijk, C. (1991). Epistemic logic for computer science: A tutorial, Parts I and II. EATCS Bulletin, 44:242-270. (Part II is in Vol. 45, 256-287)
16. Németi, I. (1985). Cylindric-relativised set algebras have strong amal-gamation. Journal of Symbolic Logic, 50(3):689-700
17. Renardel de Lavalette, G. (1989). Modularisation, parametrisation and interpolation. J. Inf. Process. Cybern. EIK, 25(5/6):283-292
18. Rodenburg, P. (1992). Interpolation in equational logic. P9201, Programming Research Group, University of Amsterdam
19. Sahlqvist, H. (1975). Completeness and correspondence in the first and second order semantics for modal logic. In Kanger, S., editor, Proc. of the Third Scandinavian Logic Symposium Uppsala 1973, Amsterdam. North-Holland
20. van Benthem, J. (1983). Modal Logic and Classical Logic. Bibliopolis, Naples
21. van Benthem, J. (1996). Modal foundations for predicate logic. In Orlowska, E., editor, Memorial Volume for Elena Rasiowa, Studia Logica Library. Kluwer Academic Publishers, Dordrecht.