Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5
From MaRDI portal
Publication:5955621
DOI10.1023/A:1013834410884zbMath0990.03012MaRDI QIDQ5955621
Publication date: 26 May 2002
Published in: Studia Logica (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07) Interpolation, preservation, definability (03C40)
Related Items
A note on constructive interpolation for the multi-modal logic \(K_m\) ⋮ ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching ⋮ Focus-style proofs for the two-way alternation-free \(\mu \)-calculus ⋮ A Tableau Calculus for Regular Grammar Logics with Converse ⋮ Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ ExpTime tableau decision procedures for regular grammar logics with converse
This page was built for publication: Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5