World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
35
Citations
11235
World Ranking
11431
National Ranking
4696

Overview

Melvin Fitting is affiliated with City University of New York in the United States. Their research spans multiple fields with a primary focus on computer science, as well as psychology and arts and humanities. The main subfields of their work include artificial intelligence, computational theory and mathematics, experimental and cognitive psychology, philosophy, and language and linguistics.

Their publications contribute extensively to topics such as logic, reasoning, and knowledge; advanced algebra and logic; logic, programming, and type systems; semantic web and ontologies; philosophy and theoretical science; rough sets and fuzzy logic; and classical philosophy and thought.

Melvin Fitting's recent papers include:

  • A Family of Strict/Tolerant Logics (2020), Journal of Philosophical Logic
  • First-order justification logic with constant domain semantics (2020), Journal of Logic and Computation
  • Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics (2021), The Australasian Journal of Logic
  • Simple Tableaus for Simple Logics (2024), Notre Dame Journal of Formal Logic
  • Strict/Tolerant Family Continued: Quantifiers and Modalities (2021), The Australasian Journal of Logic

Frequent coauthors include Richard L. Mendelsohn, Felipe Salvatore, Sergei Artëmov, John P. Burgess, and Anandi Hattiangadi.

Publication venues where Melvin Fitting's work has appeared multiple times are:

  • The Australasian Journal of Logic
  • Journal of Logic and Computation
  • Journal of Philosophical Logic
  • Notre Dame Journal of Formal Logic
  • Bulletin of Symbolic Logic

Best Publications

  • First-Order Logic and Automated Theorem Proving

    Melvin Fitting;David Gries

  • Proof Methods for Modal and Intuitionistic Logics

    Melvin Chris Fitting

  • First-Order Modal Logic

    Melvin Fitting;Richard L. Mendelsohn

  • A kripke-kleene semantics for logic programs**

    Melvin Fitting

  • Bilattices and the semantics of logic programming

    Melvin Fitting

  • Intuitionistic logic, model theory and forcing

    Melvin Chris Fitting

  • Many-valued modal logics

    Melvin C. Fitting

  • The logic of proofs, semantically

    Melvin Fitting

  • First-Order Logic and Automated Theorem Proving

    Unknown

  • First-order logic and automated theorem proving (2nd ed.)

    Melvin Fitting

  • Fixpoint Semantics for Logic Programming A Survey

    Melvin Fitting;Melvin Fitting

  • Many-valued modal logics II

    Melvin Fitting

  • Kleene's three valued logics and their children

    Melvin Fitting

  • Basic modal logic

    Melvin Fitting

  • Kleene's Logic, Generalized

    Melvin Fitting

  • First-order modal tableaux

    Melvin Fitting;Melvin Fitting

  • Tableau methods of proof for modal logics.

    Melvin Fitting

  • Types, Tableaus, and Gödel's God

    Melvin Fitting

  • Bilattices in logic programming

    M. Fitting

  • The family of stable models

    Melvin Fitting

  • Bilattices and the theory of truth

    Melvin Fitting

  • Logic Programming on a Topological Bilattice1

    Melvin Fitting;Melvin Fitting

Frequent Co-Authors

Andrei Voronkov
Andrei Voronkov University of Manchester
Janusz Kacprzyk
Janusz Kacprzyk Systems Research Institute
David Gries
David Gries Cornell University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

If you’re considering Computer Science, you may also want to explore related online degrees that can broaden your skills and career options. Fields like electrical engineering have considerable overlap with computer science. See the best online electrical engineering programs USA for top recommendations that can complement your tech skill set.

For those seeking quick entry into the workforce, check out easy licenses and certifications to get. Many of these credentials are in high demand and can boost your job prospects without the time commitment of a full degree.

Interested in advancing your education rapidly? Look into the fastest masters degree online paths, which allow you to gain new expertise and credentials in under two years.

Finally, when planning your long-term career development, focus on the most in demand masters degrees. These programs open doors to high-growth roles in technology, management, and engineering.

Best Scientists Citing Melvin Fitting

Trending Scientists

Recently Published Articles