THE SYNTHESIS OF DIGITAL MACHINES WITH PROVABLE EPISTEMIC PROPERTIES

This publication has 4 references indexed in Scilit:

• Formal theories of knowledge in AI and robotics
  New Generation Computing, 1985
• Knowledge, common knowledge and related puzzles (Extended Summary)
  Published by Association for Computing Machinery (ACM) ,1984
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
  Mathematical Logic Quarterly, 1963