scientific article; zbMATH DE number 6863660

MaRDI QIDQ4636050zbMATH OpenFDO

Authors Sonia Marin, Marco Volpe, Dale Miller

Publication date 23 April 2018

zbMATH Keywords

modal logicsequent calculifocusinglabeled proof systems

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
• Publication:3490986
• Modal Theorem Proving: An Equational Viewpoint

Cited in

(11)

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

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)