Pages that link to "Item:Q798647"
From MaRDI portal
The following pages link to Modal tableau calculi and interpolation (Q798647):
Displaying 32 items.
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching (Q352943) (← links)
- Interpolation in infinitely layered extensions of provability logic (Q584241) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Provability logic without Craig's interpolation property (Q1263572) (← links)
- Cut-free sequent and tableau systems for propositional Diodorean modal logics (Q1337606) (← links)
- The fixed point property in modal logic (Q1409307) (← links)
- Remarks on Gregory's ``actually'' operator (Q1610620) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- Dugundji's theorem revisited (Q2254571) (← links)
- A loop-free decision procedure for modal propositional logics K4, S4 and S5 (Q2271187) (← links)
- How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic (Q2276939) (← links)
- An analog of Beth's theorem in normal extensions of the modal logic K4 (Q2366342) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- Cut-free tableau calculi for some propositional normal modal logics (Q2563456) (← links)
- Admissibility of Cut in Coalgebraic Logics (Q2873670) (← links)
- Converse-PDL with regular inclusion axioms: a framework for MAS logics (Q2901207) (← links)
- Constructive interpolation in hybrid logic (Q3160549) (← links)
- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs (Q3602955) (← links)
- Properties of independently axiomatizable bimodal logics (Q3984418) (← links)
- An empirical analysis of modal theorem provers (Q4443417) (← links)
- Uniform and non uniform strategies for tableaux calculi for modal logics (Q4835516) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)
- Splittings and the finite model property (Q5287685) (← links)
- One-variable fragments of first-order logics (Q6636687) (← links)
