Temporalizing modal epistemic logic

DOI10.1007/978-3-642-35722-0_26MaRDI QIDQ3455859zbMATH OpenOpenAlexFDO

Authors Ren-June Wang

Publication date 11 December 2015

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35722-0_26

zbMATH Keywords

agent theoryepistemic logicjustification logicmodal logicrealization theoremnreasoning timetemporalization theoremtimed modal epistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45)

Recommendations

• Knowledge, time, and the problem of logical omniscience
• Linear temporal justification logics with past and future time modalities
• Taming the Complexity of Temporal Epistemic Reasoning
• Introducing Justification into Epistemic Logic
• Partial realization in dynamic justification logic

Cites work

• Belief, awareness, and limited reasoning
• Explicit provability and constructive semantics
• How to (plan to) meet a deadline between \textit{now} and \textit{then}
• scientific article; zbMATH DE number 43239 (Why is no real title available?)
• Intention is choice with commitment
• Knowledge, Time, and Logical Omniscience
• Knowledge, time, and the problem of logical omniscience
• Reasoning about rational, but not logically omniscient, agents
• The logic of justification
• The logic of proofs, semantically

Cited in

(5)

• Temporal multi-valued logic with lost worlds in the past
• Taming the Complexity of Temporal Epistemic Reasoning
• Logical omniscience as infeasibility
• scientific article; zbMATH DE number 1927555 (Why is no real title available?)
• scientific article; zbMATH DE number 1754686 (Why is no real title available?)

This page was built for publication: Temporalizing modal epistemic logic

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