A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief

DOI10.1080/11663081.1998.10510944zbMath0926.03011MaRDI QIDQ4236067

No author found.

Publication date: 23 November 1999

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1998.10510944

zbMATH Keywords

temporal logic; logic of knowledge; logic of belief; tableaux proof method

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

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

68T30: Knowledge representation

03B35: Mechanization of proofs and logical operations

03B44: Temporal logic

Related Items

Logics for Temporal Information Systems in Rough Set Theory, Clausal resolution in a logic of rational agency, Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability, A sequent calculus for logic of knowledge and past time: completeness and decidability, Using temporal logics of knowledge for specification and verification -- a case study, A general tableau method for propositional interval temporal logics: theory and implementation, Knowledge and approximations: a formal study under the perspective of information systems and rough set theory, Temporal Logics of Knowledge and their Applications in Security, Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic, Tableaux for logics of time and knowledge with interactions relating to synchrony, Taming the Complexity of Temporal Epistemic Reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof methods for modal and intuitionistic logics
• Knowledge, belief and time
• The complexity of reasoning about knowledge and time. I: Lower bounds
• A guide to completeness and complexity for modal logics of knowledge and belief
• What can machines know?