| First-order logic and automated theorem proving M Fitting Springer Science & Business Media, 2012 | 2045 | 2012 |
| Proof methods for modal and intuitionistic logics M Fitting Springer Science & Business Media, 2013 | 1211 | 2013 |
| First-order modal logic M Fitting, RL Mendelsohn, RA Girle Kluwer Academic, 1998 | 1043 | 1998 |
| A Kripke-Kleene semantics for logic programs M Fitting The Journal of Logic Programming 2 (4), 295-312, 1985 | 881 | 1985 |
| Intuitionistic logic model theory and forcing MC Fitting Yeshiva University, 1968 | 639 | 1968 |
| Bilattices and the semantics of logic programming M Fitting The Journal of Logic Programming 11 (2), 91-116, 1991 | 607 | 1991 |
| Many-valued modal logics MC Fitting Fundamenta informaticae 15 (3-4), 235-254, 1991 | 374 | 1991 |
| The logic of proofs, semantically M Fitting Annals of Pure and Applied Logic 132 (1), 1-25, 2005 | 349 | 2005 |
| Fixpoint semantics for logic programming a survey M Fitting Theoretical computer science 278 (1-2), 25-51, 2002 | 302 | 2002 |
| Many-Vawed Modal Logics II M Fitting Fundamenta Informaticae 17 (1-2), 55-73, 1992 | 284 | 1992 |
| Basic modal logic M Fitting Handbook of logic in artificial intelligence and logic programming, 368-448, 1993 | 252 | 1993 |
| Kleene’s three valued logics and their children M Fitting Fundamenta informaticae 20 (1, 2, 3), 113-131, 1994 | 248 | 1994 |
| Kleene's logic, generalized M Fitting Journal of Logic and Computation 1 (6), 797-810, 1991 | 215 | 1991 |
| Tableau methods of proof for modal logics. M Fitting Notre Dame Journal of Formal Logic 13 (2), 237-247, 1972 | 198 | 1972 |
| First-order modal tableaux M Fitting Journal of Automated Reasoning 4, 191-213, 1988 | 183 | 1988 |
| Types, tableaus, and Gödel’s god M Fitting Springer Science & Business Media, 2012 | 174 | 2012 |
| Bilattices in logic programming M Fitting City University of New York, Lehman College, Department of Mathematics and …, 1990 | 165 | 1990 |
| The family of stable models M Fitting The Journal of Logic Programming 17 (2-4), 197-225, 1993 | 159 | 1993 |
| Bilattices and the theory of truth M Fitting Journal of Philosophical Logic 18, 225-256, 1989 | 153 | 1989 |
| Bilattices are nice things M Fitting Self-reference, 53-77, 2006 | 152 | 2006 |
