Pages that link to "Item:Q5955621"

The following pages link to Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5 (Q5955621):

Displayed 7 items.

• ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) ‎ (← links)
• ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) ‎ (← links)
• Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) ‎ (← links)
• A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) ‎ (← links)
• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) ‎ (← links)
• A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) ‎ (← links)
• Focus-style proofs for the two-way alternation-free \(\mu \)-calculus (Q6118696) ‎ (← links)