An Embedding of Classical Logic in S4. - Melvin Fitting (J. Symb. Log., 1970)

A tableau proof method admitting the empty domain. - Melvin Fitting (Notre Dame J. Formal Log., 1971)

Tableau methods of proof for modal logics. - Melvin Fitting (Notre Dame J. Formal Log., 1972)

ε-calculus based axiom systems for some propositional modal logics. - Melvin Fitting (Notre Dame J. Formal Log., 1972)

Model Existence Theorems for Modal and Intuitionistic Logics. - Melvin Fitting (J. Symb. Log., 1973)

A modal logic ε-calculus. - Melvin Fitting (Notre Dame J. Formal Log., 1975)

A tableau system for propositional S5. - Melvin Fitting (Notre Dame J. Formal Log., 1977)

Elementary Formal Systems for Hyperarithmetical Relations. - Melvin Fitting (Math. Log. Q., 1978)

Linear Reasoning in Modal Logic. - Melvin Fitting (J. Symb. Log., 1984)

A Deterministic Prolog Fixpoint Semantics. - Melvin Fitting (J. Log. Program., 1985)

A Kripke-Kleene Semantics for Logic Programs. - Melvin Fitting (J. Log. Program., 1985)

Logic programming semantics using a compact data structure. - Melvin Fitting (ISMIS, 1986)

Notes on the mathematical aspects of Kripke's theory of truth. - Melvin Fitting (Notre Dame J. Formal Log., 1986)

Partial Models and Logic Programming. - Melvin Fitting (Theor. Comput. Sci., 1986)

Resolution for Intuitionistic Logic. - Melvin Fitting (ISMIS, 1987)

Enumeration Operators and Modular Logic Programming. - Melvin Fitting (J. Log. Program., 1987)

Stratified and Three-valued Logic Programming Semantics. - Melvin Fitting; Marion Ben-Jacob (ICLP/SLP, 1988)

First-Order Modal Tableaux. - Melvin Fitting (J. Autom. Reason., 1988)

Pseudo-Boolean valued prolog. - Melvin Fitting (Stud Logica, 1988)

Negation As Refutation - Melvin Fitting (LICS, 1989)

Bilattices and the theory of truth. - Melvin Fitting (J. Philos. Log., 1989)

Bilattices in Logic Prograrnming. - Melvin Fitting (ISMVL, 1990)

Destructive Modal Resolution. - Melvin Fitting (J. Log. Comput., 1990)

First-Order Logic and Automated Theorem Proving - Melvin Fitting (Springer, 1990)

Modal Logic Should Say More Than It Does. - Melvin Fitting (Computational Logic - Essays in Honor of Alan Robinson, 1991)

Well-Founded Semantics, Generalized. - Melvin Fitting (ISLP, 1991)

Many-valued modal logics. - Melvin Fitting (Fundam. Informaticae, 1991)

Bilattices and the Semantics of Logic Programming. - Melvin Fitting (J. Log. Program., 1991)

Kleene's Logic, Generalized. - Melvin Fitting (J. Log. Comput., 1991)

Many-Valued Semantics for Logic Programming. - Melvin Fitting (JICSLP, 1992)

Many-Valued Non-Monotonic Modal Logics. - Melvin Fitting (LFCS, 1992)

Many-Valued Model Logics II. - Melvin Fitting (Fundam. Informaticae, 1992)

Editorial. - Melvin Fitting (J. Log. Comput., 1992)

The Pure Logic of Necessitation. - Melvin Fitting; V. Wiktor Marek; Miroslaw Truszczynski (J. Log. Comput., 1992)

Metric Methods in the Semantics of Logic Programs. - Melvin Fitting (ILPS, 1993)

The Family of Stable Models. - Melvin Fitting (J. Log. Program., 1993)

Kleene's Three Valued Logics and Their Children. - Melvin Fitting (Fundam. Informaticae, 1994)

Tableaux for Logic Programming. - Melvin Fitting (J. Autom. Reason., 1994)

Metric Methods Three Examples and a Theorem. - Melvin Fitting (J. Log. Program., 1994)

Annotated Revision Specification Programs. - Melvin Fitting (LPNMR, 1995)

Tableaus for many-valued modal logic. - Melvin Fitting (Stud Logica, 1995)

First-Order Logic and Automated Theorem Proving, Second Edition. - Melvin Fitting (Springer, 1996)

A Program to Compute Gödel-Löb Fixpoints. - Melvin Fitting (Bull. EATCS, 1996)

A Modal Herbrand Theorem. - Melvin Fitting (Fundam. Informaticae, 1996)

A Theory of Truth that Prefers Falsehood. - Melvin Fitting (J. Philos. Log., 1997)

Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. - Melvin Fitting (AISC, 1998)

Higher-Order Modal Logic - A Sketch. - Melvin Fitting (FTP (LNCS Selection), 1998)

leanTAP Revisited. - Melvin Fitting (J. Log. Comput., 1998)

A Simple Propositional S5 Tableau System. - Melvin Fitting (Ann. Pure Appl. Log., 1999)

On Quantified Modal Logic. - Melvin Fitting (Fundam. Informaticae, 1999)

Barcan Both Ways. - Melvin Fitting (J. Appl. Non Class. Logics, 1999)

Belief, Names, and Modes of Presentation. - Ruili Ye; Melvin Fitting (Advances in Modal Logic, 2000)

Databases and Higher Types. - Melvin Fitting (Computational Logic, 2000)

Modality and Databases. - Melvin Fitting (TABLEAUX, 2000)

Term-Modal Logics. - Melvin Fitting; Lars Thalmann; Andrei Voronkov (Stud Logica, 2001)

Bisimulations and Boolean Vectors. - Melvin Fitting (Advances in Modal Logic, 2002)

Interpolation for First Order S5. - Melvin Fitting (J. Symb. Log., 2002)

Modal Logics Between Propositional and First-order. - Melvin Fitting (J. Log. Comput., 2002)

Fixpoint semantics for logic programming a survey. - Melvin Fitting (Theor. Comput. Sci., 2002)

First-order intensional logic. - Melvin Fitting (Ann. Pure Appl. Log., 2004)

A Mistake on My Part. - Melvin Fitting (We Will Show Them! (1), 2005)

The logic of proofs, semantically. - Melvin Fitting (Ann. Pure Appl. Log., 2005)

A Quantified Logic of Evidence. - Melvin Fitting (WoLLIC, 2005)

FOIL Axiomatized. - Melvin Fitting (Stud Logica, 2006)

Modal proof theory. - Melvin Fitting (Handbook of Modal Logic, 2007)

Correction to FOIL Axiomatized Studia Logica , 84: 1-22, 2006. - Melvin Fitting (Stud Logica, 2007)

S4LPand Local Realizability. - Melvin Fitting (CSR, 2008)

Explicit Logics of Knowledge and Conservativity. - Melvin Fitting (ISAIM, 2008)

Justification logics, logics of knowledge, and conservativity. - Melvin Fitting (Ann. Math. Artif. Intell., 2008)

Reasoning with Justifications. - Melvin Fitting (Towards Mathematical Philosophy, 2009)

Realizations and LP. - Melvin Fitting (Ann. Pure Appl. Log., 2009)

How True It Is = Who Says It's True. - Melvin Fitting (Stud Logica, 2009)

Justification logics and hybrid logics. - Melvin Fitting (J. Appl. Log., 2010)

Nested Sequents and Prefixed Tableaus. - Melvin Fitting (TABLEAUX (Workshops, Tutorials, and Short Papers), 2011)

Reasoning About Games. - Melvin Fitting (Stud Logica, 2011)

Prefixed tableaus and nested sequents. - Melvin Fitting (Ann. Pure Appl. Log., 2012)

Torben Braüner, Hybrid Logic and its Proof-Theory, Applied Logic Series Volume 37, Springer, 2011, pp. XIII+231. ISBN: 978-94-007-0001-7 (hardcover) EURO 99, 95, ISBN: 978-94-007-0002-4 (eBook) EURO 99, 99. - Melvin Fitting (Stud Logica, 2012)

Possible world semantics for first-order logic of proofs. - Melvin Fitting (Ann. Pure Appl. Log., 2014)

Editorial. - Anil Nerode; Melvin Fitting (Ann. Pure Appl. Log., 2014)

The life and work of Sergei Artemov. - Anil Nerode; Melvin Fitting (Ann. Pure Appl. Log., 2014)

Preface. - Berndt Müller; Melvin Fitting (Fundam. Informaticae, 2014)

Nested Sequents for Intuitionistic Logics. - Melvin Fitting (Notre Dame J. Formal Log., 2014)

Quasi-Realization. - Melvin Fitting (TbiLLC, 2015)

Modal interpolation via nested sequents. - Melvin Fitting; Roman Kuznets (Ann. Pure Appl. Log., 2015)

Cut-Free Proof Systems for Geach Logics. - Melvin Fitting (FLAP, 2015)

Modal logics, justification logics, and realization. - Melvin Fitting (Ann. Pure Appl. Log., 2016)

Realization using the model existence theorem. - Melvin Fitting (J. Log. Comput., 2016)

On Modalities and Quantifiers. - Melvin Fitting (Fundam. Informaticae, 2017)

Paraconsistent Logic, Evidence, and Justification. - Melvin Fitting (Stud Logica, 2017)

What Are Justification Logics? - Melvin Fitting (Fundam. Informaticae, 2019)

About 'Binding Modalities'. - Melvin Fitting (AiML, 2020)

Bilattice Basics. - Melvin Fitting (FLAP, 2020)

First-order justification logic with constant domain semantics. - Melvin Fitting; Felipe de Souza Salvatore (J. Log. Comput., 2020)

A Family of Strict/Tolerant Logics. - Melvin Fitting (J. Philos. Log., 2021)

SAUL KRIPKE (1940-2022). - Sergei Artemov; John P. Burgess; Melvin Fitting; Anandi Hattiangadi (Bull. Symb. Log., 2024)