1. Melvin Fitting. Types Tableaus and Godels God. Kluwer, 2002.
   Keywords: modal logic, agent programming languages, honours reading. [bibtex-entry]



2. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal logic. Cambridge University Press, New York, 2001.
   Note: 00054667 Patrick Blackburn, Maarten de Rijke, Yde Venema. Includes bibliographical references and index.
   Keywords: modal logic, honours reading. [abstract] [bibtex-entry]



3. 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]



4. Graham Priest. An introduction to non-classical logic. Cambridge University Press, Cambridge, 2001.
   Note: 00023609 GBA1-19206 Graham Priest. Includes bibliographical references and index.
   Keywords: modal logic, model theory, honours reading. [bibtex-entry]



5. David Harel, Dexter Kozen, and Jerzy Tiuryn. Dynamic Logic. MIT Press, 2000.
   Keywords: dynamic logic, modal logic, honours reading. [abstract] [bibtex-entry]



6. G. E. Mints. A short introduction to modal logic, CSLI lecture notes ; no. 30.. Center for the Study of Language and Information, Stanford, CA, 1992.
   Note: 92002924 Grigori Mints. Includes bibliographical references.
   Keywords: modal logic, proof theory, model theory, honours reading. [bibtex-entry]



7. Lincoln A. Wallen. Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics, MIT Press series in artificial intelligence.. Cambridge, Mass., : M.I.T. Press, 1990.
   Keywords: modal logic, proof theory, model theory, honours reading. [abstract] [bibtex-entry]



8. Andre Thayse. From modal logic to deductive databases. John Wiley & Sons, 1989.
   Keywords: modal logic, databases, honours reading. [bibtex-entry]



9. Lincoln A. Wallen. Automated Deduction in Nonclassical Logics: efficient matrix proof methods for modal and intuionistic logics. The MIT Press, 1989.
   Keywords: modal logic, proof theory, model theory, honours reading. [abstract] [bibtex-entry]



10. Joseph Y. Halpern, International Business Machines Corporation., American Association for Artificial Intelligence., United States. Office of Naval Research., and Association for Computing Machinery., editors. Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California. M. Kaufmann Publishers, Los Altos, Calif., 1986.
    Note: Edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery. Includes bibliographies and index.
    Keywords: modal logic, model theory, honours reading. [bibtex-entry]



11. Melvin Fitting. Proof methods for modal and intuitionistic logics, Synthese library ; v. 169.. D. Reidel ; Sold and distributed in the U.S.A. and Canada by Kluwer Boston, Dordrecht, Holland ; Boston, U.S.A. Hingham, MA, 1983.
    Note: Melvin Fitting. Includes index. Bibliography: p. 526-539.
    Keywords: modal logic, proof theory, model theory, honours reading. [bibtex-entry]



12. 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]



13. 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. 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]



2. 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]



3. Sebastian Sardina, Giuseppe De Giacomo, Yves Lesperance, and Hector J. Levesque. On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Annals of Mathematics & Artificial Intelligence, 41(2-4):259--299, 2004.
   Keywords: agent programming languages, modal logic, honours reading, situation calculus, GOLOG. [abstract] [bibtex-entry]



4. Yves Lesperance. On the Epistemic Feasibility of Plans in Multiagent Systems Specifications. IGPL, 11(2):161--178, 2003.
   Keywords: agent programming languages, modal logic, honours reading. [abstract] [bibtex-entry]



5. J. Y. Halpern, Y. Moses, and O. Waarts. A characterization of eventual Byzantine agreement. SIAM JOURNAL ON COMPUTING, 31(3):838--865, 2002.
   Keywords: multiagent coordination, honours reading, modal logic. [bibtex-entry]



6. M. Kaneko, T. Nagashima, N-Y Suzuki, and Y. Tanaka. A map of common knowledge logics. Studia Logica, 71(1):57--86, 2002.
   Keywords: modal logic, honours reading. [abstract] [bibtex-entry]



7. C. Areces, H. de Nivelle, and M. de Rijke. Resolution in Modal, Description and Hybrid Logic. Journal of Logic and Computation, 11(5):717--736, 2001.
   Keywords: hybrid logic, modal logic, proof theory, logic programming, agent programming languages, honours reading. [abstract] [bibtex-entry]



8. Robert Bull and Krister Segerberg. Basic Modal Logic. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. 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: modal logic, honours reading, model theory, kripke structures. [abstract] [download paper ] [bibtex-entry]



9. John P. Burgess. Basic Tense Logic. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. 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: modal logic, honours reading, model theory. [abstract] [download paper ] [bibtex-entry]



10. Nino B. Cocchiarella. Philosophical perspectives on quantification in tense and modal logic. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. 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: modal logic, honours reading, model theory. [abstract] [download paper ] [bibtex-entry]



11. JAmes W. Garson. Quantification in Modal Logic. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. 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: modal logic, honours reading, model theory. [abstract] [download paper ] [bibtex-entry]



12. Richard H. Thomason. Combinations of tense and modality. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. 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: modal logic, honours reading, model theory. [abstract] [download paper ] [bibtex-entry]



13. Johan van Benthem. Correspondence theory. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, volume 2, pages 1--88. 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: modal logic, honours reading, model theory. [abstract] [download paper ] [bibtex-entry]



14. Yves Lesperance. Situation Calculus. In Frank C. Keil and Robert A. Wilson, editors,The MIT encyclopedia of the cognitive sciences, pages 771--772. MIT Press, Cambridge, Mass., 1999.
    Note: 99011115 GB99-44540 edited by Robert A. Wilson and Frank C. Keil. A Bradford book. Includes bibliographical references and indexes.
    Keywords: honours reading, situation calculus, modal logic, model theory. [bibtex-entry]



15. 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]



16. R. A. Bazzi and G. Neiger. The Complexity of Almost-Optimal Simultaneous Coordination. Algorithmica, 17:308--321, 1997.
    Keywords: multiagent coordination, modal logic, honours reading. [bibtex-entry]



17. Marcos A. Castilho, Luis Farinas del Cerro, Olivier Gasquet, and Andreas Herzig. Modal Tableaux with Propagation Rules and Structural Rules. Fundamenta Informaticae, 32(3-4):281--297, 1997.
    Keywords: modal logic, model theory, honours reading. [bibtex-entry]



18. 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]



19. H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59--84, 1997.
    Keywords: honours reading, situation calculus, modal logic, model theory, GOLOG. [bibtex-entry]



20. Joseph Y. Halpern and Yoram Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3):319--379, 1992.
    Keywords: computational complexity, model theory, modal logic, honours reading. [abstract] [bibtex-entry]



21. James Garson. Quantification in Modal Logic. In Dov M. Gabbay and Franz Guenthner, editors,Handbook of philosophical logic, pages 4 v.. D. Reidel ; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, Dordrecht ; Boston Hingham, MA, 1984.
    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, philosophy, model theory, honours reading. [bibtex-entry]



22. 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]



23. J. McCarthy. Circumscription-a form of non-monotonic reasoning. Artificial Intelligence, 13(1-2):27--39, 1980.
    Note: Netherlands.
    Keywords: honours reading, situation calculus, modal logic, model theory, generalisation, nonmonotonic reasoning. [abstract] [bibtex-entry]



24. 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]



25. 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. Tim French. Bisimulation Quantified Modal Logics: Decidability. In Advances in Modal Logic, pages 147--166, 2006.
   Keywords: modal logic, model theory, honours reading, computational complexity. [bibtex-entry]



2. Tim French. Bisimulation Quantified Logics: Undecidability. In FSTTCS, pages 396--407, 2005.
   Keywords: modal logic, model theory, honours reading, computational complexity. [bibtex-entry]



3. Gerhard Lakemeyer and Hector J. Levesque. Semantics for a useful fragment of the situation calculus. In IJCAI-05, Edinburgh, Scotland, pages 490--496, 2005.
   Keywords: modal logic, agent programming languages, honours reading, hybrid logic, situation calculus. [abstract] [bibtex-entry]



4. 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]



5. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. The CIFF Proof Procedure for Abductive Logic Programming with Constraints. In José Júlio Alferes and João Leite, editors, Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,, Lisbon, Portugal, pages 266--278, 2004. Springer Verlag.
   Keywords: modal logic, logic programming, honours reading, agent programming languages, inductive logic programming. [abstract] [bibtex-entry]



6. Maarten Marien, David Gilis, and Marc Denecker. On the Relation Between ID-Logic and Answer Set Programming. In José Júlio Alferes and João Leite, editors, Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,, Lisbon, Portugal, pages 108--120, 2004. Springer Verlag.
   Keywords: modal logic, logic programming, honours reading, agent programming languages. [abstract] [bibtex-entry]



7. Linh Anh Nguyen. The Modal Logic Programming System MProlog. In José Júlio Alferes and João Leite, editors, Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,, Lisbon, Portugal, pages 266--278, 2004. Springer Verlag.
   Keywords: modal logic, logic programming, honours reading, agent programming languages. [bibtex-entry]



8. Patrick Blackburn, Jaap Kamps, and Maarten Marx. Situation Calculus as Hybrid Logic: First Steps. In 10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving; in Lecture Notes In Computer Science; Vol. 2258, pages 253--260, 2001. Springer-Verlag London, UK.
   Keywords: situation calculus, agent programming languages, modal logic, model theory, honours reading. [bibtex-entry]



9. Melvin Fitting. Higher-Order Modal Logic - A Sketch. FTP (LNCS Selection) 1998: 8. In Automated Deduction in Classical and Non-Classical Logics, Springer Lecture Notes in Artificial Intelligence Vol. 1761, pages 23--3, 1998. Springer Verlag.
   Keywords: modal logic, agent programming languages, honours reading. [bibtex-entry]



10. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. A Formal Embedding of AgentSpeak(L) in 3APL. In Australian Joint Conference on Artificial Intelligence, pages 155--166, 1998.
    Keywords: modal logic, agent programming languages, honours reading. [bibtex-entry]



11. Michael Fisher and Richard Owens. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings. In Lecture notes in computer science ; 897. Lecture notes in artificial intelligence., Berlin ; New York, pages 180, 1995. Springer.
    Keywords: modal logic, honours reading, temporal logic. [bibtex-entry]



12. Mehmet A. Orgun and Wanli Ma. An Overview of Temporal and Modal Logic Programming. In First International Conference on Temporal Logic; appears in Lecture Notes in omputer Science; Vol. 827, pages 445--479, 1994. Springer-Verlag London, UK.
    Keywords: modal logic, honours reading. [bibtex-entry]



13. 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. Linh Anh Nguyen. The Modal Logic Programming System MProlog: Theory, Design, and Implementation. Technical report, 2005.
   Keywords: modal logic, logic programming, honours reading, agent programming languages. [bibtex-entry]



2. 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]

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.