Melvin Chris Fitting
#117,246
Most Influential Person Now
Melvin Chris Fitting's AcademicInfluence.com Rankings
Melvin Chris Fittingphilosophy Degrees
Philosophy
#5148
World Rank
#7878
Historical Rank
Mathematical Logic
#19
World Rank
#31
Historical Rank
Logic
#2473
World Rank
#3471
Historical Rank

Download Badge
Philosophy
Why Is Melvin Chris Fitting Influential?
(Suggest an Edit or Addition)Melvin Chris Fitting's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- First-Order Logic and Automated Theorem Proving (1990) (1215)
- Proof Methods for Modal and Intuitionistic Logics (1983) (824)
- A Kripke-Kleene Semantics for Logic Programs (1985) (613)
- Bilattices and the Semantics of Logic Programming (1991) (455)
- Intuitionistic logic, model theory and forcing (1969) (334)
- The logic of proofs, semantically (2005) (298)
- First-Order Modal Logic (1998) (292)
- Many-valued modal logics (1991) (270)
- Fixpoint Semantics for Logic Programming a Survey (2001) (254)
- First-order logic and automated theorem proving (2nd ed.) (1996) (224)
- Many-valued modal logics II (1992) (204)
- The Semantics of Entailment. (1977) (193)
- Kleene's Three Valued Logics and Their Children (1994) (167)
- Kleene's Logic, Generalized (1991) (149)
- Bilattices in logic programming (1990) (128)
- Tableau methods of proof for modal logics (1972) (120)
- Types, Tableaus, and Gödel's God (2002) (120)
- The Family of Stable Models (1993) (116)
- Modal proof theory (2007) (107)
- Metric Methods Three Examples and a Theorem (1994) (102)
- Bilattices and the theory of truth (1989) (95)
- Bilattices Are Nice Things (2002) (76)
- Prefixed tableaus and nested sequents (2012) (76)
- Set theory and the continuum problem (1996) (75)
- Basic modal logic (1993) (74)
- Notes on the mathematical aspects of Kripke's theory of truth (1986) (60)
- First-order intensional logic (2004) (60)
- Beyond two: theory and applications of multiple-valued logic (2003) (57)
- Realizations and LP (2007) (54)
- Tableaus for many-valued modal logic (1995) (53)
- Negation as refutation (1989) (47)
- Reasoning with Justifications (2009) (40)
- Partial Models and Logic Programming (1986) (40)
- Modal logics, justification logics, and realization (2016) (40)
- Stratified and Three-valued Logic Programming Semantics (1988) (39)
- Nested Sequents for Intuitionistic Logics (2014) (38)
- A Deterministic Prolog Fixpoint Semantics (1985) (36)
- Possible world semantics for first-order logic of proofs (2014) (35)
- First-order modal tableaux (1988) (35)
- Destructive Modal Resolution (1990) (35)
- Paraconsistent Logic, Evidence, and Justification (2017) (34)
- A quantified logic of evidence (2008) (34)
- Well-Founded Semantics, Generalized (1991) (34)
- TR-2003012: A Semantics for the Logic of Proofs (2003) (31)
- Modal Logics Between Propositional and First-order (2002) (29)
- On Quantified Modal Logic (1999) (28)
- A Logic of Explicit Knowledge (2004) (27)
- Interpolation for first order S5 (2002) (25)
- Model existence theorems for modal and intuitionistic logics (1973) (25)
- Computability theory, semantics, and logic programming (1987) (25)
- Many-Valued Non-Monotonic Modal Logics (1992) (25)
- Enumeration Operators and Modular Logic Programming (1987) (24)
- The Pure Logic of Necessitation (1992) (24)
- Realization using the model existence theorem (2016) (24)
- Justification logics, logics of knowledge, and conservativity (2008) (24)
- Semantics and Tableaus for LPS4 (2004) (23)
- Modal interpolation via nested sequents (2015) (23)
- A Theory of Truth that Prefers Falsehood (1997) (23)
- A Simple Propositional S5 Tableau System (1999) (23)
- Justification logics and hybrid logics (2010) (22)
- Modal Logic Should Say More Than It Does (1991) (21)
- Cut-Free Proof Systems for Geach Logics (2015) (21)
- First-Order Logic and Automated Theorem Proving (1990) (20)
- Bisimulations and Boolean Vectors (2002) (20)
- Fundamentals of generalized recursion theory (1981) (20)
- An embedding of classical logic in S4 (1970) (19)
- The Realization Theorem for S5 A Simple, Constructive Proof (2011) (19)
- leanTAP Revisited (1998) (19)
- Incompleteness in the Land of Sets (2007) (18)
- Resolution for Intuitionistic Logic (1987) (18)
- Reasoning About Games (2011) (18)
- Modality and Databases (2000) (16)
- A Modal Herbrand Theorem (1996) (16)
- Barcan Both Ways (1999) (14)
- A modal logic ε-calculus (1975) (12)
- Stratified, weak stratified and three-valued semantics (1990) (12)
- Possible World Semantics for First Order LP ∗ (2011) (11)
- First-Order Logic (1990) (11)
- Fully declarative programming with logic mathematical foundations (1990) (11)
- FOIL Axiomatized (2006) (11)
- Many-Valued Model Logics II (1992) (10)
- Justification Logics and Conservative Extensions (2007) (10)
- Subformula results in some propositional modal logics (1978) (10)
- Fixedpoint semantics for logic programming (2002) (10)
- Logics With Several Modal Operators (2008) (10)
- A tableau system for propositional S5 (1977) (10)
- Herbrand’s Theorem for a Modal Logic (1999) (8)
- Tableaux for logic programming (1994) (7)
- A Modal Logic Analog of Smullyan's Fundamental Theorem (1973) (7)
- A Family of Strict/Tolerant Logics (2020) (7)
- Review: J. Michael Dunn, A Truth Value Semantics for Modal Logic (1977) (7)
- An ε-calculus system for first-order S4 (1972) (6)
- Intuitionistic Model Theory and the Cohen Independence Proofs (1970) (6)
- Pseudo-Boolean valued prolog (1988) (6)
- How True It Is = Who Says It’s True (2009) (6)
- A semantic proof of the realizability of modal logic in the logic of proofs (2003) (6)
- Realizing Substitution Instances of Modal Theorems (2007) (6)
- A tableau proof method admitting the empty domain (1971) (5)
- Databases and Higher Types (2000) (5)
- Explicit Logics of Knowledge and Conservativity (2008) (5)
- The Strict/Tolerant Idea and Bilattices (2021) (5)
- Necessity and Possibility (2018) (5)
- A Replacement Theorem For LP (2006) (5)
- Annotated Revision Specification Programs (1995) (5)
- Intensional Logic— Beyond First Order (2003) (5)
- Quantified Lp (2004) (4)
- Higher-Order Modal Logic - A Sketch (1998) (4)
- Belief, Names, and Modes of Presentation (2000) (4)
- On Prudent Bravery and Other Abstractions (1999) (4)
- Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics (2021) (3)
- Logic programming semantics using a compact data structure (1986) (3)
- A Mistake on My Part (2005) (3)
- Belief, names and modes of presentation: a first-order logic formalization (1999) (3)
- Bilattice Basics (2020) (3)
- Bertrand Russell, Herbrand's Theorem, and the Assignment Statement (1998) (3)
- First‐Order Alethic Modal Logic (2007) (2)
- A Program to Compute Gödel-Löb Fixpoints (1996) (2)
- S4LPand Local Realizability (2008) (2)
- A Simple Propositional S 5 Tableau System ∗ (1999) (2)
- Propositional Modal Logic (1998) (2)
- S4LP and Local Realizability (2007) (2)
- Review: Jaakko Hintikka, Surface Semantics: Definition and its Motivation (1977) (2)
- On Height and Happiness (2017) (2)
- 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 (1992) (2)
- A symmetric approach to axiomatizing quantifiers and modalities (1984) (1)
- Proving Completeness for Nested Sequent Calculi 1 (2011) (1)
- TR-2007006: Realizing Substitution Instances of Modal Theorems (2007) (1)
- Pythagoras' Theorem for Areas—Revisited (2001) (1)
- 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 (2012) (1)
- Quasi-Realization (2015) (1)
- Modal Logics A Summary of the Well-Behaved (1999) (1)
- Ε-calculus Based Axiom Systems for Some Propositional Modal Logics (1972) (1)
- Review: Dirk van Dalen, Logic and Structure; Dirk van Dalen, Logic and Structure (1986) (1)
- What Are Justification Logics? (2019) (1)
- Elementary Formal Systems for Hyperarithmetical Relations (1978) (1)
- Linear reasoning in modal logic (1984) (1)
- Nested Sequents and Prefixed Tableaus (2011) (1)
- Correction to FOILAxiomatized Studia Logica, 84:1–22, 2006 (2007) (1)
- First-order justification logic with constant domain semantics (2018) (1)
- Semantic Tableaux and Resolution (1996) (1)
- Review: Leon Henkin, Internal Semantics and Algebraic Logic (1977) (1)
- Review: Dean P. McCullough, Logical Connectives for Intuitionistic Propositional Logic (1973) (0)
- Review: George Weaver, Logical Consequence in Modal Logic: Alternative Semantic Systems for Normal Modal Logics (1977) (0)
- Modal Logic Syntax And Semantics (2002) (0)
- Prefixed Tableau Systems (1983) (0)
- Gödel’s Argument, Formally (2002) (0)
- 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. (1999) (0)
- A Family of Strict/Tolerant Logics (2020) (0)
- A MODAL LOGIC e-CALCULUS (2003) (0)
- Review: Richard Routley, Robert K. Meyer, The Semantics of Entailment (1977) (0)
- Classical Logic—Syntax (2002) (0)
- Implementing Tableaux and Resolution (1990) (0)
- TR-2010002: Reasoning About Games (2010) (0)
- TR-2007015: Justification Logics and Conservative Extensions (2007) (0)
- 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 (1977) (0)
- Other Propositional Proof Procedures (1996) (0)
- Review: Nuel D. Belnap, Dorothy L. Grover, Quantifying in and out of' Quotes; Dorothy L. Grover, Propositional Quantification and Quotation Contexts (1977) (0)
- First-Order Tableaus (1998) (0)
- Metric Methods in the Semantics of Logic Programs (1993) (0)
- Strict/Tolerant Family Continued: Quantifiers and Modalities (2021) (0)
- 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 (1977) (0)
- Tableaus for Logic Programming (1999) (0)
- Terms and Predicate Abstraction (1998) (0)
- Tableau Proof Systems (1998) (0)
- lean TAP Revisited (1997) (0)
- Paraconsistent Logic, Evidence, and Justification (2017) (0)
- The life and work of Sergei Artemov (2014) (0)
- McCullough Dean P.. Logical connectives for intuitionistic propositional logic. The journal of symbolic logic, vol. 36 (1971), pp. 15–20. (1973) (0)
- Review: Raymond M. Smullyan, A Generalization of Intuitionistic and Modal Logics (1977) (0)
- Raymond Smullyan on Self Reference (2017) (0)
- On Modalities and Quantifiers (2017) (0)
- About 'Binding Modalities' (2020) (0)
- Review: Donald Davidson, In Defense of Convention T (1977) (0)
- TR-2006002: A Replacement Theorem for LP (2006) (0)
- Tableaus and Dual Tableaus (2018) (0)
- Review: Richmond H. Thomason, Philosophy and Formal Semantics (1977) (0)
- Classical Logic—Basic Tableaus (2002) (0)
- Semantics and Tableaus for LPS 4 Melvin Fitting (2016) (0)
- TR-2007020: S4LP and Local Realizability (2007) (0)
- First-Order Axiom Systems (1998) (0)
- Preface (2014) (0)
- Review: Nuel D. Belnap, Restricted Quantification and Conditional Assertion (1977) (0)
- Analytic Modal Tableaus and Consistency Properties (1983) (0)
- TR-2011010: Possible World Semantics for First Order LP (2011) (0)
- Further First-Order Features (1996) (0)
- TR-2004016: Semantics and Tableaus for LPS4 (2004) (0)
- An axiomatic approach to computers (2008) (0)
- TR-2013005: Realization Implemented (2013) (0)
- 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 (1977) (0)
- Classical Logic—Semantics (2002) (0)
- Logical Consequence, Compactness, Interpolation, and Other Topics (1983) (0)
- 1 Bisimulations and Boolean Vectors 1 (2002) (0)
- Gödel’s Argument, Background (2002) (0)
- Handbook of Tableau Methods Introduction (2005) (0)
- First-Order Proof Procedures (1996) (0)
- The Realization Theorem for S 5 A Simple , Constructive Proof Melvin Fitting (2008) (0)
- Axiom Systems and Natural Deduction (1983) (0)
- Many-Valued Semantics for Logic Programming (1992) (0)
- Melvin Fitting Reasoning About Games (2010) (0)
- Non-Normal Logics (1983) (0)
- Possible World Semantics for First Order (2012) (0)
- TR-2004019: Quantified LP (2004) (0)
- AND MODULAR LOGIC PROGRAMMING (1987) (0)
- De Re, De Dicto, and Binding Modalities (2020) (0)
- Non-Analytic Logics (1983) (0)
- Review: Robert K. Meyer, Intuitionism, Entailment, Negation (1977) (0)
- Notes on Classical Propositional Logic (2010) (0)
- Existence and Actualist Quantification (1998) (0)
- Non‐classical logics and the independence results of set theory (2008) (0)
- TR-2014004: Justification Logics and Realization (2014) (0)
- Editorial (2014) (0)
- The Range of Realization (2019) (0)
- Soundness and completeness (2020) (0)
- Review: Dana S. Scott, Background to Formalization (1977) (0)
- A generalization of elementary formal systems (1982) (0)
- Interpolation for First Order S 5 Author ( s ) : (2007) (0)
This paper list is powered by the following services: