Knowledge, Time, and the Problem of Logical Omniscience

DOI10.3233/FI-2011-389zbMath1247.03025OpenAlexW1755487133MaRDI QIDQ3100170

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

zbMATH Keywords

epistemic logiclogical omniscienceS4 logictime and knowledge

Mathematics Subject Classification ID

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

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

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