Interpolation in Modal Logic

The interpolation property and Robinson's consistency property are important tools for applying logic to software engineering. We provide a uniform technique for proving the Interpolation Property, using the notion of bisimulation. For modal logics, this leads to simple, easy-to-check conditions on the logic which imply interpolation. We apply this result to fibering of modal logics and to modal logics of knowledge and belief.

[1]  István Németi,et al.  Cylindric-relativised set algebras have strong amalgamation , 1985, Journal of Symbolic Logic.

[2]  Joseph Y. Halpern,et al.  A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.

[3]  Henrik Sahlqvist.  Completeness and Correspondence in the First and Second Order Semantics for Modal Logic , 1975 .

[4]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[5]  Carlos Areces,et al.  Failure of interpolation , 1997 .

[6]  T. S. E. Maibaum,et al.  Axiomatizing Specification Theory , 1984, ADT.

[7]  M. de Rijke.  Extending modal logic , 1993 .

[8]  Maarten Marx,et al.  Failure of Interpolation in Combined Modal Logics , 1997, Notre Dame J. Formal Log..

[9]  N. Malcolm.  On Knowledge and Belief , 1954 .

[10]  T. Broadbent,et al.  Module Algebra , 1970, Nature.

[11]  Wiebe van der Hoek,et al.  Systems for Knowledge and Belief , 1993, J. Log. Comput..

[12]  maarten marx.  Algebraic Relativization and Arrow Logic , 1995 .

[13]  J.F.A.K. van Benthem,et al.  Modal logic and classical logic , 1983 .

[14]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[15]  T. S. E. Maibaum,et al.  Logical Specification and Implementation , 1984, FSTTCS.

[16]  Gerard R. Renardel de Lavalette.  Modularisation, Parametrisation, Interpolation , 1989, J. Inf. Process. Cybern..

[17]  Johan van Benthem,et al.  Modal Foundations for Predicate Logic , 1997, Log. J. IGPL.

[18]  Larisa Maksimova,et al.  Amalgamation and interpolation in normal modal logics , 1991, Stud Logica.

[19]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .