scientific article; zbMATH DE number 6863660

zbMath1400.03048MaRDI QIDQ4636050

Marco Volpe, Sonia Marin, Dale A. Miller

Publication date: 23 April 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicfocusingsequent calculilabeled proof systems

Mathematics Subject Classification ID

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

Related Items (8)

From axioms to synthetic inference rules via focusing ⋮ Proof checking and logic programming ⋮ Cyclic hypersequent system for transitive closure logic ⋮ Unnamed Item ⋮ From QBFs to \textsf{MALL} and back via focussing ⋮ Focused proof-search in the logic of bunched implications ⋮ A general proof certification framework for modal logic ⋮ Cyclic proofs, hypersequents, and transitive closure logic

This page was built for publication: