Knowledge, Time, and Logical Omniscience

DOI10.1007/978-3-642-02261-6_31zbMath1246.03040OpenAlexW1582512544MaRDI QIDQ3638298

Ren-June Wang

Publication date: 2 July 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02261-6_31

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 (3)

Temporalizing Modal Epistemic Logic ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Non-circular proofs and proof realization in modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of proofs, semantically
• Belief, awareness, and limited reasoning
• Knowledge, belief and time
• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• Explicit Provability and Constructive Semantics
• Evidence Reconstruction of Epistemic Modal Logic S5
• THE LOGIC OF JUSTIFICATION
• Logical Omniscience Via Proof Complexity

This page was built for publication: Knowledge, Time, and Logical Omniscience