Books & Papers
Availability of Books
Book and Paper Errata
Other Web Pages
Prose and Poetry
!!!Handbook of Modal Logic!!!
The Four Color Theorem
Photographs

Computational Logic
A 70th Birthday Celebration Honoring Melvin Fitting
Video of the Conference

ESSLLI 2012: Slides for a talk given in Opole, Poland, August 2012.

Herbrand Award speech: This was delivered in Manchester at the CADE/IJCAR conference, June 26, 2012. [The parts in square brackets were extemporaneous additions to the written text.]

New items:

  • Prolog program to compute realizers for S4 theorems in the Justification Logic LP
  • Technical Report presenting the algorithm followed by the Prolog program, with commentary on the program itself.

E-Mail: melvin.fitting@lehman.cuny.edu

Addresses

Department of Mathematics and Computer Science (Emeritus)
Lehman College
Bronx, NY

Departments of Computer Science, Philosophy, and Mathematics (Emeritus)
The Graduate School and University Center
365 Fifth Avenue
New York, NY 10016-4309

Graduate Center room 4411
(phone 212 817-8206)

See pictues of the Graduate Center and Lehman