scientific article; zbMATH DE number 6863660
From MaRDI portal
Publication:4636050
zbMATH Open1400.03048MaRDI QIDQ4636050FDOQ4636050
Authors: Sonia Marin, Marco Volpe, Dale Miller
Publication date: 23 April 2018
Title of this publication is not available (Why is that?)
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
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)
Cited In (11)
- From QBFs to \textsf{MALL} and back via focussing
- From axioms to synthetic inference rules via focusing
- Focused proof-search in the logic of bunched implications
- A general proof certification framework for modal logic
- Proof checking and logic programming
- Cyclic hypersequent system for transitive closure logic
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- A complete modal proof system for HAL: the Herbrand agent language
- Certification of prefixed tableau proofs for modal logic
- Focused labeled proof systems for modal logic
- Cyclic proofs, hypersequents, and 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)