A nonstandard approach to the logical omniscience problem
- 1 December 1995
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 79 (2) , 203-240
- https://doi.org/10.1016/0004-3702(94)00060-3
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- What is an inference rule?The Journal of Symbolic Logic, 1992
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- A four-valued semantics for terminological logicsArtificial Intelligence, 1989
- Belief, awareness, and limited reasoningArtificial Intelligence, 1987
- The Computational Complexity of Provability in Systems of Modal Propositional LogicSIAM Journal on Computing, 1977
- Intuitive semantics for first-degree entailments and ?coupled trees?Philosophical Studies, 1976
- Impossible possible worlds vindicatedJournal of Philosophical Logic, 1975
- The Semantics of First Degree EntailmentNoûs, 1972
- Intensional logics and logical truthJournal of Philosophical Logic, 1972
- On Some Completeness Theorems in Modal LogicMathematical Logic Quarterly, 1966