scientific article; zbMATH DE number 6863660

MaRDI QIDQ4636050zbMATH OpenFDO

Authors Sonia Marin, Marco Volpe, Dale Miller

Publication date 23 April 2018

zbMATH Keywords

focusinglabeled proof systemsmodal logicsequent calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• An empirical analysis of modal theorem provers
• A general proof certification framework for modal logic
• Modular focused proof systems for intuitionistic modal logics
• An extended framework for specifying and reasoning about proof systems
• A modal provability logic of explicit and implicit proofs
• scientific article; zbMATH DE number 970633
• Focused labeled proof systems for modal logic
• A framework for proof systems
• scientific article; zbMATH DE number 4164168
• Modal Theorem Proving: An Equational Viewpoint

Cited in

(12)

• A complete modal proof system for HAL: the Herbrand agent language
• Cyclic proofs, hypersequents, and transitive closure logic
• From axioms to synthetic inference rules via focusing
• From QBFs to \textsf{MALL} and back via focussing
• Focused proof-search in the logic of bunched implications
• Proof checking and logic programming
• Focused labeled proof systems for modal logic
• Certification of prefixed tableau proofs for modal logic
• A general proof certification framework for modal logic
• Cyclic hypersequent system for transitive closure logic
• UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
• Nested sequents or tree-hypersequents -- a survey

This page was built for publication:

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