Pages that link to "Item:Q987853"

The following pages link to Gentzen calculi for modal propositional logic (Q987853):

Displaying 40 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)
• Subformula property for some modal logics (Q6545150) (← links)
• The logicality of equality (Q6612870) (← links)