1. Dov M. Gabbay and Franz Guenthner. Handbook of philosophical logic . Kluwer Academic Publishers, Dordrecht ; Boston, 2nd edition, 2001.
   Note: 2001029838 GBA467666 edited by D.M. Gabbay and F. Guenthner. Includes bibliographical references and index.
   Keywords: logic, modal logic, model theory, kripke structures, honours reading, epistemic logic. [abstract] [download paper ] [bibtex-entry]



2. Ronald Fagin. Reasoning about knowledge. MIT Press, Cambridge, Mass., 1995.
   Note: 94036477 94036477 Ronald Fagin ... [et al.]. Includes bibliographical references (p. 429-448) and indexes. 1. Introduction and Overview -- 2. A Model for Knowledge -- 3. Completeness and Complexity -- 4. Knowledge in Multi-Agent Systems -- 5. Protocols and Programs -- 6. Common Knowledge and Agreement -- 7. Knowledge-Based Programming -- 8. Evolving Knowledge -- 9. Logical Omniscience -- 10. Knowledge and Computation -- 11. Common Knowledge Revisited.
   Keywords: epistemic logic, Bayesian Theory, agents, model theory, honours reading, kripke structures. [bibtex-entry]



3. J. J. CH Meyer and W. van der Hoek. Epistemic Logic for Artificial Intelligence and Computer Science. Cambridge University Press, 1995.
   Keywords: epistemic logic, agents, honours reading, model theory. [abstract] [bibtex-entry]



4. Dov M. Gabbay, Christopher John Hogger, and J. A. Robinson. Handbook of logic in artificial intelligence and logic programming. Clarendon Press ; Oxford University Press, Oxford Oxford ; New York, 1993.
   Note: 92023358 //r98 edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson. Includes bibliographical references and indexes. v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning -- v. 5. Logic programming.
   Keywords: logic programming, artificial intelligence, epistemic logic, honours reading, proof theory, nonmonotonic reasoning. [bibtex-entry]



5. Dov M. Gabbay and Franz Guenthner, editors. Handbook of philosophical logic, Synthese library ; v. 164-167.. D. Reidel ; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, Dordrecht ; Boston Hingham, MA, 1983.
   Note: Edited by D. Gabbay and F. Guenthner. Includes bibliographies and indexes. v. 1. Elements of classical logic -- v. 2. Extensions of classical logic -- v. 3. Alternatives in classical logic -- v. 4. Topics in the philosophy of language.
   Keywords: modal logic, epistemic logic, honours reading. [bibtex-entry]



6. Jaakko Hintikka. Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca, N. Y., 1962.
   Keywords: modal logic, epistemic logic, honours reading. [bibtex-entry]

1. J. van Benthem, J. van Eijck, and B. Kooi. Logics of communication and change. Information and Computation, 204:1620--1662, 2006.
   Keywords: situation calculus, dynamic logic, honours reading, epistemic logic, propositional dynamic logic. [bibtex-entry]



2. Ernest Davis. Knowledge and communication: A first-order theory. Artificial Intelligence, 166(1-2):1--256, 2005.
   Keywords: Epistemic logic, agent programming languages, honours reading, modal logic. [bibtex-entry]



3. Joseph Y. Halpern and Daphne Koller. Representation Dependence in Probabilistic Inference. Journal of Artificial Intelligence Research, 21:319--356, 2004.
   Keywords: Bayesian theory, Epistemic logic, machine learning, honours reading. [bibtex-entry]



4. Oliver Kutz, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. eta-connections of abstract description systems. Artificial Intelligence, 156(1):1--73, 2004.
   Note: TY - JOUR.
   Keywords: epistemic logic, agent programming languages, honours reading, modal logic. [download paper ] [bibtex-entry]



5. Johan van Benthem. Games in Dynamic-Epistemic Logic. Bulletin of Economic Research, 53(4):219--48, 2001.
   Keywords: epistemic logic, game theory, algorithms, honours reading. [abstract] [bibtex-entry]



6. Joseph Y. Halpern and Richard A. Shore. Reasoning about Common Knowledge with Infinitely Many Agents. In Logic in Computer Science, pages 384--393. 1999.
   Keywords: epistemic logic, honours reading. [bibtex-entry]



7. Gil Neiger and Rida A. Bazzi. Using knowledge to optimally achieve coordination in distributed systems. Theoretical Computer Science, 220(1):31--65, 1999.
   Keywords: multiagent coordination, honours reading, modal logic, epistemic logic. [bibtex-entry]



8. R. Ramanujam. View-Based Explicit Knowledge. Annals of Pure and Applied Logic, 96(1-3):343--368, 1999.
   Keywords: epistemic logic, honours reading. [bibtex-entry]



9. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Knowledge-based programs. Distributed Computing, 10(4):199--225, 1997.
   Note: Publisher: Springer-Verlag, Germany.
   Keywords: epistemic logic, agent programming languages, modal logic, honours reading. [abstract] [bibtex-entry]



10. J. Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM (JACM), 37(3):549--587, 1990.
    Keywords: epistemic logic, agent programming languages, model theory, honours reading. [bibtex-entry]



11. Johan van Benthem. Correspondence Theory. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 4, pages 162--167. D. Reidel ; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, Dordrecht ; Boston Hingham, MA, 1983.
    Note: Edited by D. Gabbay and F. Guenthner. Includes bibliographies and indexes. v. 1. Elements of classical logic -- v. 2. Extensions of classical logic -- v. 3. Alternatives in classical logic -- v. 4. Topics in the philosophy of language.
    Keywords: modal logic, epistemic logic, honours reading. [bibtex-entry]



12. Jaakko Hintikka. Impossible, Possible Worlds Vindicated. The Journal of Philosophical Logic, 4(3):475--484, 1975.
    Keywords: modal logic, epistemic logic, model theory, honours reading. [bibtex-entry]



13. K. Segerberg. Modal logics with linear alternative relations. Theoria, 36:301--322, 1970.
    Keywords: model theory, modal logic, epistemic logic, honours reading. [bibtex-entry]

1. H. P. van Ditmarsch, van der Hoek. W., and B. P. Kooi. Dynamic Epistemic Logic & Knowledge Puzzles. In Uta Priss, Simon Polovina, and Richard Hill, editors, Proceedings of the 15th International Conference on Conceptual Structures (ICCS 2007), volume 4604 of Lecture Notes in Computer Science, pages 45--58, 2007. Springer Verlag.
   Keywords: epistemic logic, agent programming languages, honours reading. [bibtex-entry]



2. Tal Mizrahi and Yoram Moses. Coninuous consensus via common knowledge. In Tenth conference on Theoretical Aspects of Rationality and Knowledge (TARK X), National University of Singapore, 2005. ACM Digital Library.
   Keywords: epistemic logic, agent programming languages, honours reading, modal logic. [abstract] [bibtex-entry]



3. H. Van Dyke Parunak, Sven Brueckner, and Robert Savit. Universality in Multi-Agent Systems. In International Conference on Autonomous Agents and Multi Agent Systems (AAMAS), New York, 2004.
   Keywords: agents, computational complexity, epistemic logic, honours reading. [bibtex-entry]



4. Mehdi Dastani, Frank Dignum, and Joh-Jules Ch. Meyer. Autonomy and Agent Deliberation. In First International Workshop on Computational Autonomy - Potential, Risks, Solutions, held in conjunction with AAMAS 2003, pages 23--35, 2003.
   Keywords: epistemic logic, dynamic logic, agent programming languages, honours reading. [bibtex-entry]



5. J. Y. Halpern, Y. Moses, and M. Y. Vardi. Algorithmic knowledge. In Theoretical Aspects of Reasoning About Knowledge. Proceedings of the Fifth Conference (TARK 1994)., pages 255--66, 1994. Morgan Kaufmann Publishers.
   Note: Fagin R San Francisco, CA, USA. Proceedings of Fifth Conference on Theoretical Aspects of Reasoning about Knowledge (TARK V). Pacific Grove, CA, USA. 13-16 March 1994.
   Keywords: agents, honours reading, epistemic logic, model theory. [abstract] [bibtex-entry]



6. Yoram Moses and Orit Kislev. Knowledge-oriented programming. In Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, Ithaca, New York, United States, pages 261--270, 1993.
   Keywords: epistemic logic, agent programming languages, modal logic, honours reading. [bibtex-entry]

1. H. P. van Ditmarsch. Knowledge Games. IILC Dissertation Series DS-2000-06, 2000.
   Keywords: epistemic logic, agent programming languages, honours reading, games. [download paper ] [bibtex-entry]

1. D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. MANY-DIMENSIONAL MODAL LOGICS: THEORY AND APPLICATIONS. Unpublished book January 2003, Department of Computer Science, King's College, 2003.
   Note: Unpublished book.
   Keywords: model theory, modal logic, epistemic logic, honours reading. [download paper ] [bibtex-entry]



2. H. P. van Ditmarsch. the Russian cards problem: a case study in cryptogrphy with public announcements. Technical report October 2002, 2002.
   Keywords: epistemic logic, agent programming languages, honours reading, games, cryptography. [bibtex-entry]



3. Barteld P. Kooi. Probability in Dynamic Epistemic Logic. Technical report 13/09/2000, Department of COmputer Science, University of Groningen, September 2000.
   Keywords: epistemic logic, model theory, honours reading, Bayesian Theory. [bibtex-entry]

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.