1. Donald Davidson. Inquiries into truth and interpretation. Oxford University Press, Oxford, New edition, 2001.
   Note: GBA1-X5144 Donald Davidson. Originally published: 1984. Includes index. Bibliography. Philosophical essays ; v. 2.
   Keywords: philosophy, ontologies, proof theory, honours reading. [bibtex-entry]



2. Mark d'Inverno and Michael Luck, editors. Understanding agent systems, Springer series on agent technology.. Springer, New York, 2001.
   Note: 2001031126 Mark d'Inverno. Michael Luck (eds.) Includes bibliographical references and index.
   Keywords: agents, honours reading, proof theory. [bibtex-entry]



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



4. Zhongwen Lu. Mathematical logic for computer science. World Scientific, Singapore ; River Edge, NJ, 2nd edition, 1998.
   Note: Lu Zhongwan ill. ; 23 cm.
   Keywords: proof theory, honours reading. [bibtex-entry]



5. Anil Nerode and Richard A. Shore. Logic for applications, Graduate texts in computer science.. Springer, New York, 2nd edition, 1997.
   Note: 96043297 Anil Nerode, Richard A. Shore. Includes bibliographical references (p. [409]-438) and indexes. I. Propositional Logic -- II. Predicate Logic -- III. Prolog -- IV. Modal Logic -- V. Intuitionistic Logic -- VI. Elements of Set Theory -- Appendix A. An Historical Overview -- Appendix B. A Genealogical Database. Graduate texts in computer science (Springer-Verlag New York Inc.).
   Keywords: proof theory, honours reading. [abstract] [bibtex-entry]



6. John J. Kelly. Essence of logic. Prentice Hall, London ; New York, 1996.
   Note: 96050970 John J. Kelly. Includes bibliographical references and index. 1. Truth Tables -- 2. Semantic Tableaux -- 3. Natural Deduction.
   Keywords: proof theory, honours reading. [abstract] [bibtex-entry]



7. M. Ben-Ari. Mathematical logic for computer science, Prentice-Hall International series in computer science.. Prentice-Hall International, Hempel Hempstead [England], 1993.
   Note: 92022640 M. Ben-Ari. Includes bibliographical references (p. 274-277) and index.
   Keywords: proof theory, honours reading. [bibtex-entry]



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



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



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



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



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

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



2. H. J. Levesque and R. J. Brachman. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3(2):78--93, 1987.
   Note: Canada.
   Keywords: computational complexity, proof theory, honours reading. [abstract] [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.