A Note on Constructive Interpolation for the Multi-Modal Logic K
Open Access
- 24 November 2020
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 354, 3-16
- https://doi.org/10.1016/j.entcs.2020.10.002
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Common knowledge does not have the Beth propertyInformation Processing Letters, 2009
- Uniform Interpolation and Propositional Quantifiers in Modal LogicsStudia Logica, 2007
- Retraction note for “PDL has interpolation”The Journal of Symbolic Logic, 2004
- PDL has interpolationThe Journal of Symbolic Logic, 2002
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-TarskiThe Journal of Symbolic Logic, 2000
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- Amalgamation and interpolation in normal modal logicsStudia Logica, 1991
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebrasAlgebra and Logic, 1979
- The relative efficiency of propositional proof systemsThe Journal of Symbolic Logic, 1979
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theoryThe Journal of Symbolic Logic, 1957