A syntactic realization theorem for justification logics

zbMATH Open1254.03029MaRDI QIDQ2904046FDOQ2904046

Authors: Kai Brünnler, Remo Goetschi, Roman Kuznets 

Publication date: 5 August 2012

Recommendations

• Realization for justification logics via nested sequents: modularity through embedding
• Realization theorems for justification logics: full modularity
• Realization using the model existence theorem
• Modal logics, justification logics, and realization
• Realization theorem for epistemic logic with justification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (13)

• Proof internalization in generalized Frege systems for classical logic
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• Tableaux and interpolation for propositional justification logics
• Modal logics, justification logics, and realization
• Prehistoric graph in modal derivations and self-referentiality
• Realization using the model existence theorem
• Labeled sequent calculus for justification logics
• Realization for justification logics via nested sequents: modularity through embedding
• A completeness result for implicit justification stit logic
• A realization theorem for the Gödel-Löb provability logic
• On non-self-referential fragments of modal logics
• On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs
• Realization theorems for justification logics: full modularity

This page was built for publication: A syntactic realization theorem for justification logics

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