M
Melvin Fitting
Researcher at City University of New York
Publications - 150
Citations - 7925
Melvin Fitting is an academic researcher from City University of New York. The author has contributed to research in topics: Modal logic & Normal modal logic. The author has an hindex of 36, co-authored 150 publications receiving 7682 citations. Previous affiliations of Melvin Fitting include New York University & Lehman College.
Papers
More filters
Book
First-Order Logic and Automated Theorem Proving
Melvin Fitting,David Gries +1 more
TL;DR: This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style and is intended for those interested in computer science and mathematics at the beginning graduate level.
Book
Proof Methods for Modal and Intuitionistic Logics
TL;DR: In this paper, the authors present a survey of analytical modal tableaus and consistent properties of these modalities, including logical consequence, compactness, interpolation, and other topics.
Journal ArticleDOI
A kripke-kleene semantics for logic programs**
TL;DR: The use of conventional classical logic is misleading for characterizing the behavior of logic programs because a logic program, when queried, will do one of three things: succeed with the query, fail with it, or not respond because it has fallen into infinite backtracking.
Book
First-Order Modal Logic
TL;DR: In this article, Propositional Modal Logic and First-Order Axiom Systems have been proposed for the first-order tableau proof system, which is based on the notion of equality.
Journal ArticleDOI
Bilattices and the semantics of logic programming
TL;DR: Bilattices are a family of truth-value spaces that allow elegantly for missing or conflicting information, and a fixed-point semantics is developed for logic programming, allowing any bilattice as the space of truth values.