A guide to completeness and complexity for modal logics of knowledge and belief
- 30 April 1992
- journal article
- Published by Elsevier BV in Artificial Intelligence
- Vol. 54 (3), 319-379
- https://doi.org/10.1016/0004-3702(92)90049-4
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- All I know: A study in autoepistemic logicArtificial Intelligence, 1990
- The complexity of reasoning about knowledge and time. I. Lower boundsJournal of Computer and System Sciences, 1989
- Programming simultaneous actions using common knowledgeAlgorithmica, 1988
- Reasoning about knowledge and belief: a surveyComputational Intelligence, 1988
- An Axiomatic Characterization of Common KnowledgeEconometrica, 1981
- Saul A. Kripke. Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 67–96.The Journal of Symbolic Logic, 1966
- On Some Completeness Theorems in Modal LogicMathematical Logic Quarterly, 1966
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- Modality and QuantificationTheoria, 1961
- On the characterization of modalitiesTheoria, 1957