Realization theorem for epistemic logic with justification

zbMATH Open1254.03023MaRDI QIDQ4898096FDOQ4898096

Authors: Meghdad Ghari 

Publication date: 29 December 2012

Recommendations

• Cut elimination and realization for epistemic logics with justification
• Realizations and LP
• Realizations and LP
• Quasi-realization
• S4LP and Local Realizability

zbMATH Keywords

cut-free sequent calculusmodal epistemic logic S4S4LP

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Combined logics (03B62)

Cited In (11)

• Practical extraction of evidence terms from common-knowledge reasoning
• A syntactic realization theorem for justification logics
• A new epistemic characterization of \(\varepsilon\)-proper rationalizability
• Introducing Justification into Epistemic Logic
• Quasi-realization
• Non-circular proofs and proof realization in modal logic
• S4LP and Local Realizability
• Realizations and LP
• Tableaux and Hypersequents for Justification Logic
• Cut elimination and realization for epistemic logics with justification
• Distributed knowledge justification logics

This page was built for publication: Realization theorem for epistemic logic with justification

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