Belief, awareness, and limited reasoning

This publication has 10 references indexed in Scilit:

• Formal theories of knowledge in AI and robotics
  New Generation Computing, 1985
• The complexity of propositional linear temporal logics
  Journal of the ACM, 1985
• The propositional dynamic logic of deterministic, well-structured programs
  Theoretical Computer Science, 1983
• A method for obtaining digital signatures and public-key cryptosystems
  Communications of the ACM, 1978
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
  SIAM Journal on Computing, 1977
• Impossible possible worlds vindicated
  Journal of Philosophical Logic, 1975
• A logic of believing, knowing, and inferring
  Synthese, 1974
• On Some Completeness Theorems in Modal Logic
  Mathematical Logic Quarterly, 1966
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
  Mathematical Logic Quarterly, 1963
• The unreasonable effectiveness of mathematics in the natural sciences. Richard courant lecture in mathematical sciences delivered at New York University, May 11, 1959
  Communications on Pure and Applied Mathematics, 1960