Realization for justification logics via nested sequents: modularity through embedding

DOI10.1016/J.APAL.2012.02.002MaRDI QIDQ435202zbMATH OpenOpenAlexFDO

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

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)

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?

Cites work

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

Cited in

(13)

• Tableaux and interpolation for propositional justification logics
• A syntactic realization theorem for justification logics
• Modal logics, justification logics, and realization
• Non-circular proofs and proof realization in modal logic
• Realization using the model existence theorem
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• Labeled sequent calculus for justification logics
• Modal interpolation via nested sequents
• On non-self-referential fragments of modal logics
• Distributed knowledge justification logics
• On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
• Realization theorems for justification logics: full modularity
• 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)