Pages that link to "Item:Q987853"
From MaRDI portal
The following pages link to Gentzen calculi for modal propositional logic (Q987853):
Displaying 38 items.
- Natural deduction calculi and sequent calculi for counterfactual logics (Q332082) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- Non-classical elegance for sequent calculus enthusiasts (Q519853) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- Anything goes (Q1708461) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- A cut-free sequent calculus for defeasible erotetic inferences (Q2278843) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← links)
- An analytic calculus for the intuitionistic logic of proofs (Q2330501) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Towards a proof theory for quantifier macros (Q2672659) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- A Critical Overview of the Most Recent Logics of Grounding (Q3295827) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY (Q5741620) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- A novel approach to equality (Q6142508) (← links)
- Logical multilateralism (Q6145030) (← links)