Knowledge, Time, and Logical Omniscience

DOI10.1007/978-3-642-02261-6_31MaRDI QIDQ3638298zbMATH OpenOpenAlexFDO

Authors 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

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
• scientific article; zbMATH DE number 549983
• Belief, awareness, and limited reasoning
• Linear temporal justification logics with past and future time modalities
• Knowledge, belief and time

Cites work

• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• Belief, awareness, and limited reasoning
• Evidence Reconstruction of Epistemic Modal Logic S5
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 4145876 (Why is no real title available?)
• scientific article; zbMATH DE number 3821682 (Why is no real title available?)
• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 43239 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Knowledge, belief and time
• Logical Omniscience Via Proof Complexity
• The logic of justification
• The logic of proofs, semantically

Cited in

(5)

• Non-circular proofs and proof realization in modal logic
• Knowledge, time, and the problem of logical omniscience
• Temporalizing modal epistemic logic
• The logic of justified belief, explicit knowledge, and conclusive evidence
• Linear temporal justification logics with past and future time modalities

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

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