Personal Profile

First Name: 

Melvin

Last Name: 

Fitting

Title: 

Professor

Host Campus: 

Lehman College

Homepage: 

http://comet.lehman.cuny.edu/fitting/

Research Profile

Research Interests: 

Applications of Logic to Computer Science; Artificial Intelligence.

Publications: 

Fitting, M., "Bisimulations and Boolean Vectors" Advances in Modal Logic, Vol 4, pp97, 2003
Fitting, M., "Intensional Logic -- Beyond First Order" Trends in Logic: 50 Years of Studia Logica, pp87, 2003
Fitting, M., Orlowska, E., "Beyond Two: Theory and Applications of Multiple-Valued Logic" Springer, 2003 (Book)
Fitting, M., "First-order Intensional Logic" Annals of Pure and Applied Logic, Vol 127, pp171, 2004
Fitting, M., "Modal Proof Theory" The Handbook of Modal Logic, 2005 (Book)

Education Profile

Highest Degree: 

Ph.D.

Institution Granting Highest Degree: 

Yeshiva University

History

Member for

44 weeks 6 days