Realization for justification logics via nested sequents: modularity through embedding

DOI10.1016/J.APAL.2012.02.002zbMath1276.03020OpenAlexW2074011039MaRDI QIDQ435202

Remo Goetschi, Roman Kuznets

Publication date: 11 July 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.02.002

zbMATH Keywords

modal logicembeddingjustification logicnested sequentsrealization theorem

Mathematics Subject Classification ID

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

Related Items (9)

Possibilistic Justification Logic ⋮ Realization Theorems for Justification Logics: Full Modularity ⋮ Labeled sequent calculus for justification logics ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs ⋮ Modal interpolation via nested sequents ⋮ On non-self-referential fragments of modal logics ⋮ Distributed knowledge justification logics ⋮ The Minimal System of Justification Logic with Names ⋮ Non-circular proofs and proof realization in modal logic

Cites Work

• Unnamed Item
• Realizations and LP
• The logic of proofs, semantically
• Deep sequent systems for modal logic
• Self-referential justifications in epistemic logic
• Justification logics, logics of knowledge, and conservativity
• Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12--14, 2009
• Explicit Provability and Constructive Semantics
• Evidence Reconstruction of Epistemic Modal Logic S5
• THE LOGIC OF JUSTIFICATION
• Modular Sequent Systems for Modal Logic
• The Realization Theorem for S5 A Simple, Constructive Proof
• A system of interaction and structure
• Topological Logic

This page was built for publication: Realization for justification logics via nested sequents: modularity through embedding