Reasoning about knowledge and belief: a survey
- 1 September 1988
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 4 (3), 223-243
- https://doi.org/10.1111/j.1467-8640.1988.tb00278.x
Abstract
No abstract availableKeywords
This publication has 46 references indexed in Scilit:
- Imputations and Explications: Representational problems in treatments of prepositional attitudesCognitive Science, 1986
- A syntactic theory of belief and actionArtificial Intelligence, 1986
- Languages with self-reference I: FoundationsArtificial Intelligence, 1985
- A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domainsArtificial Intelligence, 1984
- Intensional concepts in propositional semantic networksCognitive Science, 1982
- Logic for EquivocatorsNoûs, 1982
- A Logic of KnowledgeMathematical Logic Quarterly, 1981
- Outline of a Theory of TruthThe Journal of Philosophy, 1975
- Tautological entailmentsPhilosophical Studies, 1962
- A note on the EntscheidungsproblemThe Journal of Symbolic Logic, 1936