Knowledge, time, and the problem of logical omniscience

DOI10.3233/FI-2011-389zbMATH Open1247.03025OpenAlexW1755487133MaRDI QIDQ3100170FDOQ3100170

Authors: Ren-June Wang 

Publication date: 22 November 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2011-389

Recommendations

• Knowledge, Time, and Logical Omniscience
• Belief, awareness, and limited reasoning
• Dynamic Epistemic Logic and Logical Omniscience
• scientific article; zbMATH DE number 549983
• Knowledge, belief and time

zbMATH Keywords

epistemic logiclogical omniscienceS4 logictime and knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cited In (5)

• The logic of justified belief, explicit knowledge, and conclusive evidence
• Reasoning about knowledge of unawareness revisited
• Non-circular proofs and proof realization in modal logic
• Temporalizing modal epistemic logic
• Knowledge, Time, and Logical Omniscience

This page was built for publication: Knowledge, time, and the problem of logical omniscience

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