| First-order logic and automated theorem proving M Fitting Springer Science & Business Media, 2012 | 2017 | 2012 |
| Proof methods for modal and intuitionistic logics M Fitting Springer Science & Business Media, 2013 | 1185 | 2013 |
| First-order modal logic M Fitting, RL Mendelsohn Springer Nature, 2023 | 1005 | 2023 |
| A Kripke-Kleene semantics for logic programs M Fitting The Journal of Logic Programming 2 (4), 295-312, 1985 | 865 | 1985 |
| Intuitionistic logic model theory and forcing MC Fitting Yeshiva University, 1968 | 617 | 1968 |
| Bilattices and the semantics of logic programming M Fitting The Journal of Logic Programming 11 (2), 91-116, 1991 | 598 | 1991 |
| Many-valued modal logics MC Fitting Fundamenta informaticae 15 (3-4), 235-254, 1991 | 358 | 1991 |
| The logic of proofs, semantically M Fitting Annals of Pure and Applied Logic 132 (1), 1-25, 2005 | 340 | 2005 |
| Fixpoint semantics for logic programming a survey M Fitting Theoretical computer science 278 (1-2), 25-51, 2002 | 292 | 2002 |
| Many-Vawed Modal Logics II M Fitting Fundamenta Informaticae 17 (1-2), 55-73, 1992 | 274 | 1992 |
| Basic modal logic M Fitting Handbook of logic in artificial intelligence and logic programming (vol. 1 …, 1993 | 246 | 1993 |
| Kleene’s three valued logics and their children M Fitting Fundamenta informaticae 20 (1, 2, 3), 113-131, 1994 | 239 | 1994 |
| Kleene's logic, generalized M Fitting Journal of Logic and Computation 1 (6), 797-810, 1991 | 211 | 1991 |
| Tableau methods of proof for modal logics. M Fitting Notre Dame Journal of Formal Logic 13 (2), 237-247, 1972 | 190 | 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, 2002 | 169 | 2002 |
| Bilattices in logic programming M Fitting City University of New York, Lehman College, Department of Mathematics and …, 1990 | 164 | 1990 |
| The family of stable models M Fitting The Journal of Logic Programming 17 (2-4), 197-225, 1993 | 154 | 1993 |
| Bilattices and the theory of truth M Fitting Journal of Philosophical Logic 18, 225-256, 1989 | 149 | 1989 |
| Bilattices are nice things M Fitting Self-reference, 53-77, 2006 | 147 | 2006 |
