1. Lorenzo Magnani, Nancy J. Nersessian, and Claudio Pizzi, editors. Logical and Computational Aspects of Model-Based Reasoning, volume 25 of Applied logic series. Kluwer, 2002.
   Keywords: model theory, honours reading. [abstract] [bibtex-entry]



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



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



4. David Basin. Labelled deduction, Applied logic series ; v. 17. Kluwer Academic Publishers, Dordrecht ; Boston, 2000.
   Note: Edited by David Basin ... [et al.] ill. ; 25 cm.
   Keywords: model theory, proof theory, graph theory, honours reading. [bibtex-entry]



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



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



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



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



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. David K. Lewis. Counterfactuals. Harvard University Press, Cambridge,, 1973.
    Note: [by] David K. Lewis. Includes bibliographical references.
    Keywords: model theory, honours reading. [bibtex-entry]

1. Barbara Morawska. General E-unification with Eager Variable Elimination and a Nice Cycle Rule. Journal of Automated Reasoning, 39(1):77--106, 2007.
   Note: TY - JOUR.
   Keywords: model theory, inductive logic programming, unification, honours reading. [abstract] [download paper ] [bibtex-entry]



2. Carla Piazza and ALBERTO POLICRITI. Ackermann encoding, bisimulations and OBDDs. Theory and Practice of Logic Programming, 4:695--718, 2004.
   Keywords: graph theory, model theory, honours reading. [abstract] [bibtex-entry]



3. A. Dovier and C. Piazza. The Subgraph Bisimulation Problem. IEEE Transactions on Knowledge & Data Engineering, 15(4):1055--6, 2003.
   Note: Publisher: IEEE, USA.
   Keywords: graph theory, model theory, honours reading, graph matching. [abstract] [bibtex-entry]



4. Johan van Benthem. Extensive Games as Process Models. Journal of Logic, Language and Information, 11(3):289--313, 2002.
   Keywords: game theory, model theory, algorithms, honours reading. [bibtex-entry]



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



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



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



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



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



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



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



12. David Carmel and Shaul Markovitch. Model-based Learning of Interaction Strategies in Multiagent Systems. Journal of Experimental and Theoretical Artificial Intelligence, 10(3):309--332, 1998.
    Keywords: model theory, machine learning, inductive logic programming, honours reading. [bibtex-entry]



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



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



15. W. Peter van Gabbeek, Rob J.Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the Association for Computing Machinery, 43(3):555--600, 1996.
    Keywords: model theory, graph theory, honours reading. [bibtex-entry]



16. R. J. van Glabbeek and W. Peter Weijland. Branching time and abstraction in bisimulation semantics. J. ACM, 43(3):555--600, 1996.
    Keywords: model theory, honours reading, graph theory, graph matching. [bibtex-entry]



17. David Morley, Michael P. Georgeff, and Anand S. Rao. A Monotonic Formalism for Events and Systems of Events. Journal of Logic and Computation, 4(5):701--720, 1994.
    Keywords: agentlab, model theory, procedural reasoning. [bibtex-entry]



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



19. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42((2--3)):213--361, 1990.
    Keywords: intentionality, model theory, belief desires intentions, BDI, honours reading. [bibtex-entry]



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



21. M. Georgeff and A. Lansky. Procedural Knowledge. Proceedings of the IEEE (Special Issue on Knowledge Representation), 74:1383--1398, 1986.
    Keywords: procedural reasoning, honours reading, model theory, belief desires intentions, BDI, logistics. [bibtex-entry]



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



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. Wayne Wobcke. Modelling PRS-Like Agents Mental States.. In PRICAI 2002, pages 138--148, 2002.
   Keywords: procedural reasoning, model theory, intentionality, agentlab, models of interaction and context aware applications, belief desires intentions, BDI. [bibtex-entry]



4. Wayne Wobcke. Intention and Rationality for PRS-Like Agents.. In Australian Joint Conference on Artificial Intelligence, pages 167--178, 2002.
   Keywords: procedural reasoning, model theory, intentionality, agentlab, models of interaction and context aware applications, belief desires intentions, BDI. [bibtex-entry]



5. John Bell. Causal Counterfactuals. In Common Sense-2001, 2001.
   Keywords: counterfactuals, model theory, honours reading. [abstract] [bibtex-entry]



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



7. Michael Thielscher. Representing the Knowledge of a Robot. In KR 2000, pages 109--120, 2000.
   Keywords: agent programming languages, model theory, honours reading. [bibtex-entry]



8. M. Georgeff, B. Pell, M. Pollack, M. Tambe, and M. Wooldridge. The belief-desire-intention model of agency. In Intelligent Agents V: Agent Theories, Architectures, and Languages. 5th International Workshop, ATAL'98. Proceedings., pages 1--10, 1999. Springer-Verlag.
   Note: Muller JP Singh MP RaoAS Berlin, Germany. Intelligent Agents V: Agent Theories, Architectures, and Languages. 5th International Workshop, ATAL'98. Proceedings. Paris, France. 4-7 July 1998.
   Keywords: intentionality, model theory, honours reading, belief desires intentions, BDI. [abstract] [bibtex-entry]



9. Mark d'Inverno, David Kinny, Michael Luck, and Michael Wooldridge. A Formal Specification of dMARS. In Proceedings of the Fourth International Workship on Agent Theories, Architectures, and Languages, ATAL'97 appears in Lecture Notes in Artificial Intelligence, volume 1365, pages 155--176, 1997.
   Keywords: model theory, procedural reasoning, agentlab, belief desires intentions, BDI. [bibtex-entry]



10. Anand S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In Rudy van Hoe, editor, Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Lecture Notes in Artificial Intelligence, Volume 1038, Eindhoven, The Netherlands, pages 42--55, 1996. Springer Verlag.
    Keywords: belief desires intentions, BDI, model theory, agent specification and programming languages, honours reading, logistics. [bibtex-entry]



11. R. Parikh. Logical omniscience. In Logic and Computational Complexity. International Workshop LCC '94. Selected Papers. Springer-Verlag. 1995, pages 22--9, 1995.
    Keywords: model theory, honours reading. [abstract] [bibtex-entry]



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

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