Temporalizing Modal Epistemic Logic

DOI10.1007/978-3-642-35722-0_26zbMath1437.03078OpenAlexW17490269MaRDI QIDQ3455859

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

modal logicepistemic logicjustification logicagent theorytimed modal epistemic logicrealization theoremnreasoning timetemporalization theorem

Mathematics Subject Classification ID

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

Related Items (1)

Logical omniscience as infeasibility

Cites Work

• Unnamed Item
• The logic of proofs, semantically
• Belief, awareness, and limited reasoning
• Intention is choice with commitment
• Explicit Provability and Constructive Semantics
• How to (plan to) meet a deadline between now and then
• Knowledge, Time, and the Problem of Logical Omniscience
• THE LOGIC OF JUSTIFICATION
• Knowledge, Time, and Logical Omniscience
• Reasoning about rational, but not logically omniscient, agents

This page was built for publication: Temporalizing Modal Epistemic Logic