Melvin Fitting

发表

Kleene's Three Valued Logics and Their Children

Melvin Fitting, M. Fitting, 1994, Fundam. Informaticae.

Melvin Fitting, 2009, Stud Logica.

Computability theory, semantics, and logic programming

Melvin Fitting, M. Fitting, 1987 .

Thomason Richmond H.. Philosophy and formal semantics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Leblanc Hugues, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London

Melvin Fitting, 1977 .

Correction to FOILAxiomatized Studia Logica, 84:1–22, 2006

Melvin Fitting, 2007, Stud Logica.

Interpolation for first order S5

Melvin Fitting, M. Fitting, 2002, Journal of Symbolic Logic.

Modal Logic Syntax And Semantics

Melvin Fitting, 2002 .

Modal proof theory

Melvin Fitting, M. Fitting, 2007, Handbook of Modal Logic.

Model existence theorems for modal and intuitionistic logics

Melvin Fitting, M. Fitting, 1973, Journal of Symbolic Logic.

Reasoning About Games

Melvin Fitting, M. Fitting, 2011, Stud Logica.

Notes on the mathematical aspects of Kripke's theory of truth

Melvin Fitting, M. Fitting, 1986, Notre Dame J. Formal Log..

Tableau methods of proof for modal logics

Melvin Fitting, M. Fitting, 1972, Notre Dame J. Formal Log..

Bilattices and the theory of truth

Melvin Fitting, M. Fitting, 1989, J. Philos. Log..

Meyer Robert K.. Intuitionism, entailment, negation. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Leblanc Hugues, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London 19

Melvin Fitting, 1977 .

Axiom Systems and Natural Deduction

Melvin Fitting, 1983 .

Justification Logic: Reasoning with Reasons

Sergei N. Artëmov, Melvin Fitting, 2019 .

Ε-calculus Based Axiom Systems for Some Propositional Modal Logics

Melvin Fitting, 1972, Notre Dame J. Formal Log..

A quantified logic of evidence

Melvin Fitting, 2008, Ann. Pure Appl. Log..

Modal interpolation via nested sequents

Melvin Fitting, Roman Kuznets, M. Fitting, 2015, Ann. Pure Appl. Log..

Modal Logics Between Propositional and First-order

Melvin Fitting, M. Fitting, 2002, J. Log. Comput..

Bertrand Russell, Herbrand's Theorem, and the Assignment Statement

Melvin Fitting, M. Fitting, 1998, AISC.

A Kripke-Kleene Semantics for Logic Programs

Melvin Fitting, M. Fitting, 1985, J. Log. Program..

Belnap Nuel D. Jr. Restricted quantification and conditional assertion. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Leblanc Hugues, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amst

Melvin Fitting, 1977 .

First-order intensional logic

Melvin Fitting, M. Fitting, 2004, Ann. Pure Appl. Log..

TR-2010002: Reasoning About Games

Melvin Fitting, M. Fitting, 2010 .

An ε-calculus system for first-order S4

Melvin Fitting, M. Fitting, 1972 .

Bilattice Basics

Melvin Fitting, 2020, FLAP.

A Program to Compute Gödel-Löb Fixpoints

Melvin Fitting, M. Fitting, 1996, Bull. EATCS.

TR-2014004: Justification Logics and Realization

Melvin Fitting, M. Fitting, 2014 .

Review: J. Michael Dunn, A Truth Value Semantics for Modal Logic

Melvin Fitting, M. Fitting, 1977 .

FOIL Axiomatized

Melvin Fitting, M. Fitting, 2006, Stud Logica.

On Modalities and Quantifiers

Melvin Fitting, 2017, Fundam. Informaticae.

Linear Reasoning in Modal Logic

Melvin Fitting, 1984, J. Symb. Log..

Fixedpoint semantics for logic programming

Melvin Fitting, M. Fitting, 2002 .

Enumeration Operators and Modular Logic Programming

Melvin Fitting, 1987, J. Log. Program..

Review: Michael Gelfond, Vladimir Lifschitz, Robert A. Kowalski, Kenneth A. Bowen, The Stable Model Semantics for Logic Programming; Kit Fine, Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen, The Justification of Negation as Failure

Melvin Fitting, 1992 .

Justification logics and hybrid logics

Melvin Fitting, M. Fitting, 2010, J. Appl. Log..

Term-Modal Logics

Andrei Voronkov, Melvin Fitting, Lars Thalmann, 2000, TABLEAUX.

Higher-Order Modal Logic - A Sketch

Melvin Fitting, M. Fitting, 1998, FTP.

TR-2011010: Possible World Semantics for First Order LP

Melvin Fitting, 2011 .

Prefixed tableaus and nested sequents

Melvin Fitting, M. Fitting, 2012, Ann. Pure Appl. Log..

An axiomatic approach to computers

Melvin Fitting, 2008 .

First-Order Logic

Melvin Fitting, 1990 .

S4LPand Local Realizability

Melvin Fitting, 2008, CSR.

Preface

Melvin Fitting, Berndt Müller, 2014, Fundam. Informaticae.

First-Order Axiom Systems

Richard L. Mendelsohn, Melvin Fitting, 1998 .

Barcan Both Ways

Melvin Fitting, M. Fitting, 1999, J. Appl. Non Class. Logics.

Tableau Proof Systems

Richard L. Mendelsohn, Melvin Fitting, 1998 .

Kleene's Logic, Generalized

Melvin Fitting, M. Fitting, 1991, J. Log. Comput..

On Height and Happiness

Melvin Fitting, M. Fitting, 2017 .

Review: Nuel D. Belnap, Dorothy L. Grover, Quantifying in and out of' Quotes; Dorothy L. Grover, Propositional Quantification and Quotation Contexts

Melvin Fitting, 1977 .

The Pure Logic of Necessitation

Victor W. Marek, Miroslaw Truszczynski, Melvin Fitting, 1992, J. Log. Comput..

A Logic of Explicit Knowledge

Melvin Fitting, M. Fitting, 2004 .

Explicit Logics of Knowledge and Conservativity

Melvin Fitting, 2008, ISAIM.

Nested Sequents for Intuitionistic Logics

Melvin Fitting, 2014, Notre Dame J. Formal Log..

A Symmetric Approach to Axiomatizing Quantifiers and Modalities

Melvin Fitting, 1984 .

Resolution for Intuitionistic Logic

Melvin Fitting, M. Fitting, 1987, ISMIS.

First-Order Logic and Automated Theorem Proving

Melvin Fitting, 1990, Texts and Monographs in Computer Science.

Cut-Free Proof Systems for Geach Logics

Melvin Fitting, M. Fitting, 2015, FLAP.

Tableaus for many-valued modal logic

Melvin Fitting, M. Fitting, 1995, Stud Logica.

Review: Jaakko Hintikka, Surface Semantics: Definition and its Motivation

Melvin Fitting, 1977 .

An Embedding of Classical Logic in S4

Melvin Fitting, 1970, J. Symb. Log..

Justification logics, logics of knowledge, and conservativity

Melvin Fitting, M. Fitting, 2008, Annals of Mathematics and Artificial Intelligence.

Intensional Logic— Beyond First Order

Melvin Fitting, M. Fitting, 2003 .

Classical Logic—Semantics

Melvin Fitting, 2002 .

Many-valued modal logics II

Melvin Fitting, M. Fitting, 1992 .

The Family of Stable Models

Melvin Fitting, M. Fitting, 1993, J. Log. Program..

Modal logics, justification logics, and realization

Melvin Fitting, M. Fitting, 2016, Ann. Pure Appl. Log..

Realization using the model existence theorem

Melvin Fitting, M. Fitting, 2016, J. Log. Comput..

Pseudo-Boolean valued prolog

Melvin Fitting, M. Fitting, 1988, Stud Logica.

Logics With Several Modal Operators

Melvin Fitting, M. Fitting, 2008 .

TR-2007006: Realizing Substitution Instances of Modal Theorems

Melvin Fitting, 2007 .

Many-valued modal logics

Melvin Fitting, M. Fitting, 1991, Fundam. Informaticae.

Fixpoint Semantics for Logic Programming a Survey

Melvin Fitting, M. Fitting, 2001, Theor. Comput. Sci..

Annotated Revision Specification Programs

Melvin Fitting, 1995, LPNMR.

Further First-Order Features

Melvin Fitting, 1996 .

Other Propositional Proof Procedures

Melvin Fitting, 1996 .

A Mistake on My Part

Melvin Fitting, 2005, We Will Show Them!.

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, 2012, Stud Logica.

Proof theory of modal logic , edited by Wansing Heinrich, Applied logic series, vol. 2, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, x + 317 pp.

Melvin Fitting, 1999 .

TR-2003012: A Semantics for the Logic of Proofs

Melvin Fitting, 2003 .

Realizations and LP

Melvin Fitting, 2009, Ann. Pure Appl. Log..

Many-Valued Non-Monotonic Modal Logics

Melvin Fitting, M. Fitting, 1992, LFCS.

Many-Valued Semantics for Logic Programming

Melvin Fitting, 1992, JICSLP.

Well-Founded Semantics, Generalized

Melvin Fitting, 1991, ISLP.

Bilattices in logic programming

Melvin Fitting, M. Fitting, 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.

A modal logic ε-calculus

Melvin Fitting, M. Fitting, 1975, Notre Dame J. Formal Log..

A tableau proof method admitting the empty domain

Melvin Fitting, M. Fitting, 1971, Notre Dame J. Formal Log..

leanTAP Revisited

Melvin Fitting, 1998, J. Log. Comput..

Non-Normal Logics

Melvin Fitting, 1983 .

Possible world semantics for first-order logic of proofs

Melvin Fitting, 2014, Ann. Pure Appl. Log..

Terms and Predicate Abstraction

Richard L. Mendelsohn, Melvin Fitting, 1998 .

Prefixed Tableau Systems

Melvin Fitting, 1983 .

A Simple Propositional S5 Tableau System

Melvin Fitting, 1999, Ann. Pure Appl. Log..

A Modal Herbrand Theorem

Melvin Fitting, M. Fitting, 1996, Fundam. Informaticae.

Many-Valued Model Logics II

Melvin Fitting, 1992, Fundam. Informaticae.

Partial Models and Logic Programming

Melvin Fitting, 1986, Theor. Comput. Sci..

Editorial

Anil Nerode, Melvin Fitting, A. Nerode, 2014, Ann. Pure Appl. Log..

Tableaux for logic programming

Melvin Fitting, 2004, Journal of Automated Reasoning.

Destructive Modal Resolution

Melvin Fitting, M. Fitting, 1990, J. Log. Comput..

First‐Order Alethic Modal Logic

Melvin Fitting, M. Fitting, 2007 .

A Theory of Truth that Prefers Falsehood

Melvin Fitting, M. Fitting, 1997, J. Philos. Log..

Quasi-Realization

Melvin Fitting, 2015, TbiLLC.

Bilattices and the Semantics of Logic Programming

Melvin Fitting, M. Fitting, 1991, J. Log. Program..

On Quantified Modal Logic

Melvin Fitting, M. Fitting, 1999, Fundam. Informaticae.

Quantified Modal Logic

Richard L. Mendelsohn, Melvin Fitting, 1998 .

The logic of proofs, semantically

Melvin Fitting, M. Fitting, 2005, Ann. Pure Appl. Log..

Basic modal logic

Melvin Fitting, M. Fitting, 1993 .

Incompleteness in the Land of Sets

Melvin Fitting, 2007 .

Term-Modal Logics

Melvin Fitting, Lars Thalmann, Andrei Voronkov, 2000, Stud Logica.

A quantified logic of evidence

Melvin Fitting, M. Fitting, 2008, Ann. Pure Appl. Log..

Stratified and Three-valued Logic Programming Semantics

Melvin Fitting, Marion Ben-Jacob, 1988, ICLP/SLP.

Metric Methods in the Semantics of Logic Programs

Melvin Fitting, 1993, ILPS.

The life and work of Sergei Artemov

Anil Nerode, Melvin Fitting, 2014, Ann. Pure Appl. Log..

Realizations and LP

Melvin Fitting, 2007, LFCS.

Modal Logics A Summary of the Well-Behaved

Melvin Fitting, M. Fitting, 1999 .

Reasoning with Justifications

Melvin Fitting, M. Fitting, 2009, Towards Mathematical Philosophy.

Elementary Formal Systems for Hyperarithmetical Relations

Melvin Fitting, 1978, Math. Log. Q..

Classical Logic—Syntax

Melvin Fitting, 2002 .

Metric Methods Three Examples and a Theorem

Melvin Fitting, M. Fitting, 1994, J. Log. Program..

Review: Richmond H. Thomason, Philosophy and Formal Semantics

Melvin Fitting, 1977 .

Paraconsistent Logic, Evidence, and Justification

Melvin Fitting, M. Fitting, 2017, Stud Logica.

TR-2007015: Justification Logics and Conservative Extensions

Melvin Fitting, 2007 .

Classical Logic—Basic Tableaus

Melvin Fitting, 2002 .

Modality and Databases

Melvin Fitting, 2000, TABLEAUX.

First-Order Proof Procedures

Melvin Fitting, 1996 .

Belief, Names, and Modes of Presentation

Melvin Fitting, Ruili Ye, 2000, Advances in Modal Logic.

Modal Logic Should Say More Than It Does

Melvin Fitting, M. Fitting, 1991, Computational Logic - Essays in Honor of Alan Robinson.

Databases and Higher Types

Melvin Fitting, M. Fitting, 2000, Computational Logic.

First-Order Logic and Automated Theorem Proving

Melvin Fitting, M. Fitting, 1990, Graduate Texts in Computer Science.

First-order modal tableaux

Melvin Fitting, 2004, Journal of Automated Reasoning.

Hintikka Jaakko. Surface semantics: definition and its motivation. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics , edited by Leblanc Hugues, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterda

Melvin Fitting, 1977 .

Negation as refutation

Melvin Fitting, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

First-order justification logic with constant domain semantics pdf

Melvin Fitting, Felipe Salvatore, 2020, J. Log. Comput..

Semantic Tableaux and Resolution

Melvin Fitting, 1996 .

Tableaus for Logic Programming

Melvin Fitting, 1999 .

Tableaus and Dual Tableaus

Melvin Fitting, 2018 .

Bisimulations and Boolean Vectors

Melvin Fitting, M. Fitting, 2002, Advances in Modal Logic.

What Are Justification Logics?

Melvin Fitting, M. Fitting, 2019, Fundam. Informaticae.

TR-2013005: Realization Implemented

Melvin Fitting, 2013 .

A Deterministic Prolog Fixpoint Semantics

Melvin Fitting, 1985, J. Log. Program..

Review: Dana S. Scott, Background to Formalization

Melvin Fitting, 1977 .

A tableau system for propositional S5

Melvin Fitting, 1977, Notre Dame J. Formal Log..

The Strict/Tolerant Idea and Bilattices

Melvin Fitting, 2021, Outstanding Contributions to Logic.

A Family of Strict/Tolerant Logics

Melvin Fitting, M. Fitting, 2020, J. Philos. Log..

Fully declarative programming with logic mathematical foundations

Melvin Fitting, Jan Andrzej Plaza, 1990 .

The Realization Theorem for S5 A Simple, Constructive Proof

Melvin Fitting, 2011 .

Soundness And Completeness

Melvin Fitting, 2002 .

Realizing Substitution Instances of Modal Theorems

Melvin Fitting, 2007 .

A Modal Logic Analog of Smullyan's Fundamental Theorem

Melvin Fitting, M. Fitting, 1973 .

Beyond two: theory and applications of multiple-valued logic

Janusz Kacprzyk, Ewa Orlowska, Melvin Fitting, 2003 .

A semantic proof of the realizability of modal logic in the logic of proofs

Melvin Fitting, 2003 .

Quantified Lp

Melvin Fitting, 2004 .

Justification Logics and Conservative Extensions

Melvin Fitting, 2007 .

Pythagoras' Theorem for Areas—Revisited

Melvin Fitting, 2001 .

Possible World Semantics for First Order LP ∗

Melvin Fitting, 2011 .

A Replacement Theorem For LP

Melvin Fitting, 2006 .

Bilattices Are Nice Things

Melvin Fitting, M. Fitting, 2002 .

The Semantics of Entailment.

Richard Routley, Melvin Fitting, Robert K. Meyer, 1977 .