Realization for justification logics via nested sequents: modularity through embedding

DOI10.1016/J.APAL.2012.02.002zbMATH Open1276.03020OpenAlexW2074011039MaRDI QIDQ435202FDOQ435202

Authors: 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

Recommendations

• Realization theorems for justification logics: full modularity
• Modal logics, justification logics, and realization
• A syntactic realization theorem for justification logics
• Realization using the model existence theorem
• What are justification logics?

zbMATH Keywords

embeddingmodal logicjustification logicnested sequentsrealization theorem

Mathematics Subject Classification ID

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

Cites Work

• Explicit provability and constructive semantics
• The logic of proofs, semantically
• Evidence Reconstruction of Epistemic Modal Logic S5
• The logic of justification
• Realizations and LP
• Justification logics, logics of knowledge, and conservativity
• A syntactic realization theorem for justification logics
• Deep sequent systems for modal logic
• Self-referential justifications in epistemic logic
• Proceedings of the 6th workshop on methods for modalities (M4M-6 2009), Copenhagen, Denmark, November 12--14, 2009
• Modular sequent systems for modal logic
• The Realization Theorem for S5 A Simple, Constructive Proof
• A system of interaction and structure
• Topological Logic

Cited In (10)

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

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

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