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



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

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.