Realization theorem for epistemic logic with justification

MaRDI QIDQ4898096zbMATH OpenFDO

Authors Meghdad Ghari

Publication date 29 December 2012

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)

Recommendations

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

Cited in

(11)

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

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)