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)

• 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)