A resolution-based proof method for temporal logics of knowledge and belief

DOI10.1007/3-540-61313-7_72zbMath1422.03020OpenAlexW1536696821MaRDI QIDQ4632296

No author found.

Publication date: 29 April 2019

Published in: Practical Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61313-7_72

zbMATH Keywords

modal logicnormal formtemporal logicresolution methodreachable state

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Uses Software

• TABLEAUX

Cites Work

• A structure-preserving clause form translation
• Knowledge, belief and time
• The complexity of reasoning about knowledge and time. I: Lower bounds
• TABLEAUX: A general theorem prover for modal logics
• A guide to completeness and complexity for modal logics of knowledge and belief
• What can machines know?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A resolution-based proof method for temporal logics of knowledge and belief