A resolution-based proof method for temporal logics of knowledge and belief
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 178-192
- https://doi.org/10.1007/3-540-61313-7_72
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A graph-based approach to resolution in temporal logicPublished by Springer Nature ,2005
- Reasoning About KnowledgePublished by MIT Press ,1995
- What can machines know?Journal of the ACM, 1992
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- TABLEAUX: A general theorem prover for modal logicsJournal of Automated Reasoning, 1991
- The complexity of reasoning about knowledge and time. I. Lower boundsJournal of Computer and System Sciences, 1989
- Knowledge, belief and timeTheoretical Computer Science, 1988
- Using Reasoning About Knowledge to Analyze Distributed SystemsAnnual Review of Computer Science, 1987
- A Structure-preserving Clause Form TranslationJournal of Symbolic Computation, 1986
- Modal LogicPublished by Cambridge University Press (CUP) ,1980