A note on constructive interpolation for the multi-modal logic \(K_m\)
From MaRDI portal
Publication:2133432
DOI10.1016/j.entcs.2020.10.002OpenAlexW3108815624WikidataQ113317270 ScholiaQ113317270MaRDI QIDQ2133432
José-de-Jesús Lavalle-Martínez, Everardo Bárcenas, Guillermo Molero-Castillo, Alejandro Velázquez-Mena
Publication date: 29 April 2022
Full work available at URL: https://doi.org/10.1016/j.entcs.2020.10.002
Craig interpolationBeth definabilitytree-hypersequentsmulti-modal logic \(K_m\)Robinson joint consistency
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modal interpolation via nested sequents
- Temporal logics with ``the next operator do not have interpolation or the Beth property
- Uniform interpolation and propositional quantifiers in modal logics
- Common knowledge does not have the Beth property
- Interpolation in non-classical logics
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
- Amalgamation and interpolation in normal modal logics
- A guide to completeness and complexity for modal logics of knowledge and belief
- Tools and techniques in modal logic
- Beth Definability in Expressive Description Logics
- Interpolation and Model Checking
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- The relative efficiency of propositional proof systems
- PDL has interpolation
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- Retraction note for “PDL has interpolation”
- Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5
This page was built for publication: A note on constructive interpolation for the multi-modal logic \(K_m\)