Taming the Complexity of Temporal Epistemic Reasoning

DOI10.1007/978-3-642-04222-5_12zbMath1193.03052OpenAlexW2155586249WikidataQ98283662 ScholiaQ98283662MaRDI QIDQ3655200

No author found.

Publication date: 7 January 2010

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04222-5_12

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Temporal logic (03B44) Combined logics (03B62)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic epistemic logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• Many-dimensional modal logics: theory and applications
• Using temporal logics of knowledge for specification and verification -- a case study
• Temporal Logics of Knowledge and their Applications in Security
• Knowledge and common knowledge in a distributed environment
• Temporal Logic with Capacity Constraints
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• Systems for Knowledge and Belief
• What can machines know?
• A machine program for theorem-proving

This page was built for publication: Taming the Complexity of Temporal Epistemic Reasoning