Melvin Fitting
Melvin Fitting
Verified email at lehman.cuny.edu - Homepage
Title
Cited by
Cited by
Year
The stable model semantics for logic programming
M Fitting
The Journal of Symbolic Logic 57 (1), 274-277, 1992
49041992
First-order logic and automated theorem proving
M Fitting
Springer Science & Business Media, 2012
18492012
Proof methods for modal and intuitionistic logics
M Fitting
Springer Science & Business Media, 2013
11042013
First-order modal logic
M Fitting, RL Mendelsohn
Springer Science & Business Media, 2012
8572012
A Kripke-Kleene semantics for logic programs
M Fitting
J. Log. Program. 2 (4), 295-312, 1985
8231985
Bilattices and the semantics of logic programming
M Fitting
The Journal of Logic Programming 11 (2), 91-116, 1991
5541991
Intuitionistic logic model theory and forcing
MC Fitting
Yeshiva University, 1968
5491968
The logic of proofs, semantically
M Fitting
Annals of Pure and Applied Logic 132 (1), 1-25, 2005
3132005
Many-valued modal logics
M Fitting
Fundam. Inform. 15 (3-4), 235-254, 1991
3091991
Fixpoint semantics for logic programming a survey
M Fitting
Theoretical computer science 278 (1-2), 25-51, 2002
2642002
Many-Valued Model Logics II.
M Fitting
Fundam. Inform. 17 (1-2), 55-73, 1992
2401992
Basic modal logic
M Fitting
Logical foundations, 1993
2301993
Kleene’s three valued logics and their children
M Fitting
Fundamenta informaticae 20 (1, 2, 3), 113-131, 1994
2121994
First-order modal tableaux
M Fitting
Journal of Automated Reasoning 4 (2), 191-213, 1988
1871988
Kleene's logic, generalized
M Fitting
Journal of Logic and Computation 1 (6), 797-810, 1991
1831991
Tableau methods of proof for modal logics.
M Fitting
Notre Dame Journal of Formal Logic 13 (2), 237-247, 1972
1571972
Types, tableaus, and Gödel’s god
M Fitting
Springer Science & Business Media, 2002
1522002
Bilattices in logic programming
M Fitting
City University of New York, Lehman College, Department of Mathematics and …, 1990
1511990
The family of stable models
M Fitting
The Journal of Logic Programming 17 (2-4), 197-225, 1993
1431993
Bilattices and the theory of truth
M Fitting
Journal of Philosophical Logic 18 (3), 225-256, 1989
1381989
The system can't perform the operation now. Try again later.
Articles 1–20