On combinatorial proofs for modal logic

DOI10.1007/978-3-030-29026-9_13MaRDI QIDQ2180519zbMATH OpenOpenAlexFDO

Authors Matteo Acclavio, Lutz Straßburger

Publication date 14 May 2020

Full work available at URL https://hal.inria.fr/hal-02390400/file/CPKfinal.pdf

zbMATH Keywords

modal logiccombinatorial proofsskew fibrationrelation websS4-tesseract

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Recommendations

• Towards a combinatorial proof theory
• From syntactic proofs to combinatorial proofs
• A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
• scientific article; zbMATH DE number 7204450
• A systematic proof theory for several modal logics

Cited in

(8)

• Proofs without syntax
• From syntactic proofs to combinatorial proofs
• Combinatorial proofs for constructive modal logic
• Towards a combinatorial proof theory
• A simple combinatorial proof for the small model property of two-variable logic
• Combination of convex theories: modularity, deduction completeness, and explanation
• Combinatorial proofs and decomposition theorems for first-order logic
• Exponentially handsome proof nets and their normalization

This page was built for publication: On combinatorial proofs for modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2180519)