Logics of knowledge, games and dynamic logic
- 1 January 1984
- book chapter
- Published by Springer Nature
- p. 202-222
- https://doi.org/10.1007/3-540-13883-8_74
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Knowledge and common knowledge in a distributed environmentPublished by Association for Computing Machinery (ACM) ,1984
- Knowledge, common knowledge and related puzzles (Extended Summary)Published by Association for Computing Machinery (ACM) ,1984
- Propositional game logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- An elementary proof of the completeness of PDLTheoretical Computer Science, 1981
- A Logic of KnowledgeMathematical Logic Quarterly, 1981
- Non-monotonic logic IArtificial Intelligence, 1980
- Models of program logicsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- The completeness of propositional dynamic logicPublished by Springer Nature ,1978
- On Closed World Data BasesPublished by Springer Nature ,1978