×

Fitting, Melvin Chris

Compute Distance To:
Author ID: fitting.melvin-c Recent zbMATH articles by "Fitting, Melvin Chris"
Published as: Fitting, Melvin; Fitting, M.; Fitting, Melvin C.; Fitting, M. C.
Homepage: http://www.melvinfitting.org/
External Links: MGP · Wikidata · dblp · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

80 Publications have been cited 1,443 times in 1,026 Documents Cited by Year
Proof methods for modal and intuitionistic logics. Zbl 0523.03013
Fitting, Melvin
145
1983
A Kripke-Kleene semantics for logic programs. Zbl 0589.68011
Fitting, Melvin
104
1985
First-order modal logic. Zbl 1025.03001
Fitting, Melvin; Mendelsohn, Richard L.
98
1998
Bilattices and the semantics of logic programming. Zbl 0757.68028
Fitting, Melvin
97
1991
First-order logic and automated theorem proving. 2nd ed. Zbl 0848.68101
Fitting, Melvin
80
1996
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
72
2005
Intuitionistic logic, model theory and forcing. Zbl 0188.32003
Fitting, M. C.
71
1969
First-order logic and automated theorem proving. Zbl 0692.68002
Fitting, Melvin
65
1990
Many-valued modal logics. Zbl 0745.03018
Fitting, Melvin C.
57
1991
Fixpoint semantics for logic programming a survey. Zbl 1002.68023
Fitting, Melvin
52
2002
Many-valued modal logics. II. Zbl 0772.03006
Fitting, Melvin
49
1992
Kleene’s three valued logics and their children. Zbl 0804.03016
Fitting, Melvin
47
1994
Kleene’s logic, generalized. Zbl 0744.03025
Fitting, Melvin
36
1991
Bilattices are nice things. Zbl 1157.03308
Fitting, Melvin
32
2006
Bilattices and the theory of truth. Zbl 0678.03028
Fitting, Melvin
24
1989
The family of stable models. Zbl 0798.68096
Fitting, Melvin
21
1993
First-order modal tableaux. Zbl 0648.03004
Fitting, Melvin
21
1988
Types, tableaus, and Gödel’s God. Zbl 1038.03001
Fitting, Melvin
20
2002
Tableau methods of proof for modal logics. Zbl 0184.28102
Fitting, Melvin
20
1972
Prefixed tableaus and nested sequents. Zbl 1241.03021
Fitting, Melvin
20
2012
Logic programming on a topological bilattice. Zbl 0647.68096
Fitting, Melvin
16
1988
Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003
Fitting, Melvin
15
1986
Justification logic. Reasoning with reasons. Zbl 1479.03001
Artemov, Sergei; Fitting, Melvin
15
2019
Term-modal logics. Zbl 0992.03026
Fitting, Melvin; Thalmann, Lars; Voronkov, Andrei
13
2001
First-order intensional logic. Zbl 1061.03024
Fitting, Melvin
12
2004
Nested sequents for intuitionistic logics. Zbl 1327.03006
Fitting, Melvin
11
2014
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
11
1996
Tableaus for many-valued modal logic. Zbl 0837.03017
Fitting, Melvin
11
1995
Partial models and logic programming. Zbl 0629.68090
Fitting, Melvin
11
1986
Justification logics, logics of knowledge, and conservativity. Zbl 1173.03013
Fitting, Melvin
11
2008
Modal interpolation via nested sequents. Zbl 1369.03103
Fitting, Melvin; Kuznets, Roman
9
2015
Realizations and LP. Zbl 1221.03020
Fitting, Melvin
9
2009
Modal logics between propositional and first-order. Zbl 1017.03008
Fitting, Melvin
8
2002
Interpolation for first order S5. Zbl 1009.03013
Fitting, Melvin
7
2002
Many-valued non-monotonic modal logics. Zbl 0978.03518
Fitting, M.
7
1992
Negation as refutation. Zbl 0716.68024
Fitting, Melvin
7
1989
Metric methods: Three examples and a theorem. Zbl 0823.68017
Fitting, Melvin
7
1994
A quantified logic of evidence. Zbl 1133.03008
Fitting, Melvin
7
2008
A theory of truth that prefers falsehood. Zbl 0880.03003
Fitting, Melvin
6
1997
Reasoning with justifications. Zbl 1166.03006
Fitting, Melvin
6
2009
Destructive modal resolution. Zbl 0724.03011
Fitting, Melvin
6
1990
Fundamentals of generalized recursion theory. Zbl 0597.03028
Fitting, Melvin
6
1981
Model existence theorems for modal and intuitionistic logics. Zbl 0286.02060
Fitting, Melvin
6
1974
A deterministic PROLOG fixpoint semantics. Zbl 0592.68021
Fitting, Melvin
5
1985
A simple propositional \(\text{S}5\) tableau system. Zbl 0972.03017
Fitting, Melvin
5
1999
The pure logic of necessitation. Zbl 0819.03011
Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław
5
1992
Logics with several modal operators. Zbl 0188.31801
Fitting, M.
5
1969
Barcan both ways. Zbl 0993.03016
Fitting, Melvin
4
1999
Bisimulations and Boolean vectors. Zbl 1083.03025
Fitting, Melvin
4
2003
The realization theorem for S5 a simple, constructive proof. Zbl 1317.03024
Fitting, Melvin
4
2011
An embedding of classical logic in S4. Zbl 0219.02011
Fitting, M.
4
1971
Reasoning about games. Zbl 1248.03028
Fitting, Melvin
4
2011
Possible world semantics for first-order logic of proofs. Zbl 1345.03036
Fitting, Melvin
4
2014
Realization using the model existence theorem. Zbl 1403.03030
Fitting, Melvin
3
2016
Modal logics, justification logics, and realization. Zbl 1400.03040
Fitting, Melvin
3
2016
leanTAP revisited. Zbl 0909.03013
Fitting, Melvin
3
1998
Intensional logic – beyond first order. Zbl 1048.03014
Fitting, Melvin
3
2003
Enumeration operators and modular logic programming. Zbl 0608.68005
Fitting, Melvin
3
1987
Subformula results in some propositional modal logics. Zbl 0397.03011
Fitting, Melvin
3
1978
Herbrand’s theorem for a modal logic. Zbl 0947.03024
Fitting, Melvin
2
1999
Modality and databases. Zbl 0963.03028
Fitting, Melvin
2
2000
A modal Herbrand theorem. Zbl 0863.68102
Fitting, Melvin
2
1996
Foreword: A tribute to Professor Helena Rasiowa. Zbl 0922.01035
Fitting, Melvin
2
1999
Beyond two: Theory and applications of multiple-valued logic. Zbl 1015.00007
2
2003
Justification logics and hybrid logics. Zbl 1215.03032
Fitting, Melvin
2
2010
Pseudo-Boolean valued Prolog. Zbl 0667.68110
Fitting, Melvin
2
1988
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin
2
1987
A tableau proof method admitting the empty domain. Zbl 0177.01102
Fitting, Melvin
2
1971
Incompleteness in the land of sets. Zbl 1152.03003
Fitting, Melvin
2
2007
Paraconsistent logic, evidence, and justification. Zbl 1417.03192
Fitting, Melvin
2
2017
Realizations and LP. Zbl 1132.03325
Fitting, Melvin
2
2007
On quantified modal logic. Zbl 0936.03019
Fitting, Melvin
1
1999
Higher-order modal logic – a sketch. Zbl 0955.03030
Fitting, Melvin
1
2000
Introduction. Zbl 0972.03542
Fitting, Melvin
1
1999
First-order alethic modal logic. Zbl 1111.03303
Fitting, Melvin
1
2002
Databases and higher types. Zbl 0983.68055
Fitting, Melvin
1
2000
A tableau system for propositional S5. Zbl 0314.02039
Fitting, Melvin
1
1977
FOIL axiomatized. Zbl 1114.03014
Fitting, Melvin
1
2006
Proving completeness for nested sequent calculi. Zbl 1261.03085
Fitting, Melvin
1
2011
A family of strict/tolerant logics. Zbl 07345740
Fitting, Melvin
1
2021
A family of strict/tolerant logics. Zbl 07345740
Fitting, Melvin
1
2021
Justification logic. Reasoning with reasons. Zbl 1479.03001
Artemov, Sergei; Fitting, Melvin
15
2019
Paraconsistent logic, evidence, and justification. Zbl 1417.03192
Fitting, Melvin
2
2017
Realization using the model existence theorem. Zbl 1403.03030
Fitting, Melvin
3
2016
Modal logics, justification logics, and realization. Zbl 1400.03040
Fitting, Melvin
3
2016
Modal interpolation via nested sequents. Zbl 1369.03103
Fitting, Melvin; Kuznets, Roman
9
2015
Nested sequents for intuitionistic logics. Zbl 1327.03006
Fitting, Melvin
11
2014
Possible world semantics for first-order logic of proofs. Zbl 1345.03036
Fitting, Melvin
4
2014
Prefixed tableaus and nested sequents. Zbl 1241.03021
Fitting, Melvin
20
2012
The realization theorem for S5 a simple, constructive proof. Zbl 1317.03024
Fitting, Melvin
4
2011
Reasoning about games. Zbl 1248.03028
Fitting, Melvin
4
2011
Proving completeness for nested sequent calculi. Zbl 1261.03085
Fitting, Melvin
1
2011
Justification logics and hybrid logics. Zbl 1215.03032
Fitting, Melvin
2
2010
Realizations and LP. Zbl 1221.03020
Fitting, Melvin
9
2009
Reasoning with justifications. Zbl 1166.03006
Fitting, Melvin
6
2009
Justification logics, logics of knowledge, and conservativity. Zbl 1173.03013
Fitting, Melvin
11
2008
A quantified logic of evidence. Zbl 1133.03008
Fitting, Melvin
7
2008
Incompleteness in the land of sets. Zbl 1152.03003
Fitting, Melvin
2
2007
Realizations and LP. Zbl 1132.03325
Fitting, Melvin
2
2007
Bilattices are nice things. Zbl 1157.03308
Fitting, Melvin
32
2006
FOIL axiomatized. Zbl 1114.03014
Fitting, Melvin
1
2006
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
72
2005
First-order intensional logic. Zbl 1061.03024
Fitting, Melvin
12
2004
Bisimulations and Boolean vectors. Zbl 1083.03025
Fitting, Melvin
4
2003
Intensional logic – beyond first order. Zbl 1048.03014
Fitting, Melvin
3
2003
Beyond two: Theory and applications of multiple-valued logic. Zbl 1015.00007
2
2003
Fixpoint semantics for logic programming a survey. Zbl 1002.68023
Fitting, Melvin
52
2002
Types, tableaus, and Gödel’s God. Zbl 1038.03001
Fitting, Melvin
20
2002
Modal logics between propositional and first-order. Zbl 1017.03008
Fitting, Melvin
8
2002
Interpolation for first order S5. Zbl 1009.03013
Fitting, Melvin
7
2002
First-order alethic modal logic. Zbl 1111.03303
Fitting, Melvin
1
2002
Term-modal logics. Zbl 0992.03026
Fitting, Melvin; Thalmann, Lars; Voronkov, Andrei
13
2001
Modality and databases. Zbl 0963.03028
Fitting, Melvin
2
2000
Higher-order modal logic – a sketch. Zbl 0955.03030
Fitting, Melvin
1
2000
Databases and higher types. Zbl 0983.68055
Fitting, Melvin
1
2000
A simple propositional \(\text{S}5\) tableau system. Zbl 0972.03017
Fitting, Melvin
5
1999
Barcan both ways. Zbl 0993.03016
Fitting, Melvin
4
1999
Herbrand’s theorem for a modal logic. Zbl 0947.03024
Fitting, Melvin
2
1999
Foreword: A tribute to Professor Helena Rasiowa. Zbl 0922.01035
Fitting, Melvin
2
1999
On quantified modal logic. Zbl 0936.03019
Fitting, Melvin
1
1999
Introduction. Zbl 0972.03542
Fitting, Melvin
1
1999
First-order modal logic. Zbl 1025.03001
Fitting, Melvin; Mendelsohn, Richard L.
98
1998
leanTAP revisited. Zbl 0909.03013
Fitting, Melvin
3
1998
A theory of truth that prefers falsehood. Zbl 0880.03003
Fitting, Melvin
6
1997
First-order logic and automated theorem proving. 2nd ed. Zbl 0848.68101
Fitting, Melvin
80
1996
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
11
1996
A modal Herbrand theorem. Zbl 0863.68102
Fitting, Melvin
2
1996
Tableaus for many-valued modal logic. Zbl 0837.03017
Fitting, Melvin
11
1995
Kleene’s three valued logics and their children. Zbl 0804.03016
Fitting, Melvin
47
1994
Metric methods: Three examples and a theorem. Zbl 0823.68017
Fitting, Melvin
7
1994
The family of stable models. Zbl 0798.68096
Fitting, Melvin
21
1993
Many-valued modal logics. II. Zbl 0772.03006
Fitting, Melvin
49
1992
Many-valued non-monotonic modal logics. Zbl 0978.03518
Fitting, M.
7
1992
The pure logic of necessitation. Zbl 0819.03011
Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław
5
1992
Bilattices and the semantics of logic programming. Zbl 0757.68028
Fitting, Melvin
97
1991
Many-valued modal logics. Zbl 0745.03018
Fitting, Melvin C.
57
1991
Kleene’s logic, generalized. Zbl 0744.03025
Fitting, Melvin
36
1991
First-order logic and automated theorem proving. Zbl 0692.68002
Fitting, Melvin
65
1990
Destructive modal resolution. Zbl 0724.03011
Fitting, Melvin
6
1990
Bilattices and the theory of truth. Zbl 0678.03028
Fitting, Melvin
24
1989
Negation as refutation. Zbl 0716.68024
Fitting, Melvin
7
1989
First-order modal tableaux. Zbl 0648.03004
Fitting, Melvin
21
1988
Logic programming on a topological bilattice. Zbl 0647.68096
Fitting, Melvin
16
1988
Pseudo-Boolean valued Prolog. Zbl 0667.68110
Fitting, Melvin
2
1988
Enumeration operators and modular logic programming. Zbl 0608.68005
Fitting, Melvin
3
1987
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin
2
1987
Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003
Fitting, Melvin
15
1986
Partial models and logic programming. Zbl 0629.68090
Fitting, Melvin
11
1986
A Kripke-Kleene semantics for logic programs. Zbl 0589.68011
Fitting, Melvin
104
1985
A deterministic PROLOG fixpoint semantics. Zbl 0592.68021
Fitting, Melvin
5
1985
Proof methods for modal and intuitionistic logics. Zbl 0523.03013
Fitting, Melvin
145
1983
Fundamentals of generalized recursion theory. Zbl 0597.03028
Fitting, Melvin
6
1981
Subformula results in some propositional modal logics. Zbl 0397.03011
Fitting, Melvin
3
1978
A tableau system for propositional S5. Zbl 0314.02039
Fitting, Melvin
1
1977
Model existence theorems for modal and intuitionistic logics. Zbl 0286.02060
Fitting, Melvin
6
1974
Tableau methods of proof for modal logics. Zbl 0184.28102
Fitting, Melvin
20
1972
An embedding of classical logic in S4. Zbl 0219.02011
Fitting, M.
4
1971
A tableau proof method admitting the empty domain. Zbl 0177.01102
Fitting, Melvin
2
1971
Intuitionistic logic, model theory and forcing. Zbl 0188.32003
Fitting, M. C.
71
1969
Logics with several modal operators. Zbl 0188.31801
Fitting, M.
5
1969
all top 5

Cited by 1,121 Authors

28 Fitting, Melvin Chris
14 Kuznets, Roman
13 Wansing, Heinrich Theodor
12 Petrukhin, Yaroslav Igorevich
11 Shramko, Yaroslav V.
10 Arieli, Ofer
10 Avron, Arnon
9 Benzmüller, Christoph Ewald
9 Demri, Stéphane P.
9 Denecker, Marc
9 Indrzejczak, Andrzej
9 Studer, Thomas
8 Artemov, Sergei
8 Kamide, Norihiro
8 Martins, Manuel António
8 Rümmer, Philipp
7 Straccia, Umberto
6 Beckert, Bernhard
6 Bogaerts, Bart
6 De Cock, Martine
6 Dubois, Didier
6 Gabbay, Dov M.
6 Giordani, Alessandro
6 Leszczyńska-Jasion, Dorota
6 Liau, Churn-Jung
6 Massacci, Fabio
6 Pym, David J.
6 Rivieccio, Umberto
6 Rodríguez, Ricardo Oscar
6 Subrahmanian, V. S.
6 Szałas, Andrzej
6 Wang, Yanjing
6 Yu, Junhua
5 Baratella, Stefano
5 Baumgartner, Peter
5 Benevides, Mario R. F.
5 Blackburn, Patrick
5 Blanchette, Jasmin Christian
5 Braüner, Torben
5 Demey, Lorenz
5 Dyckhoff, Roy
5 Hähnle, Reiner
5 Hitzler, Pascal
5 Kurokawa, Hidenori
5 Ma, Minghui
5 Madeira, Alexandre
5 Marek, V. Wiktor
5 Nerode, Anil
5 Ono, Hiroakira
5 Peltier, Nicolas
5 Ramanayake, Revantha
5 Rönnedal, Daniel
5 Schockaert, Steven
5 Seda, Anthony Karel
5 Shangin, Vasily
5 Truszczyński, Mirosław
5 Vennekens, Joost
5 Wintein, Stefan
4 Areces, Carlos
4 Bentkamp, Alexander
4 Bochman, Alexander
4 Bruynooghe, Maurice
4 Ciabattoni, Agata
4 Ciucci, Davide
4 Delahaye, Jean-Paul
4 Ésik, Zoltán
4 Godo, Lluís
4 Hustadt, Ullrich
4 Kreitz, Christoph
4 Maruyama, Yoshihiro
4 Milnikel, Robert Saxon
4 Movsisyan, Yuri Movses
4 Muskens, Reinhard A.
4 Negri, Sara
4 Pacuit, Eric
4 Rondogiannis, Panos
4 Schmidt, Renate A.
4 Sedlár, Igor
4 Smessaert, Hans
4 Vermeir, Dirk
4 Waldmann, Uwe
4 Wijesekera, Duminda
4 Willard, Dan E.
4 Woltzenlogel Paleo, Bruno
4 Yamasaki, Susumu
4 Zaitsev, Dmitry V.
4 Zamansky, Anna
3 Akama, Seiki
3 Baaz, Matthias
3 Backeman, Peter
3 Balbiani, Philippe
3 Belardinelli, Francesco
3 Bibel, Wolfgang
3 Bobillo, Fernando
3 Brillout, Angelo
3 Bucheli, Samuel
3 Castro, Pablo F.
3 Cerrato, Claudio
3 Chlebowski, Szymon
3 Cintula, Petr
...and 1,021 more Authors
all top 5

Cited in 95 Serials

101 Studia Logica
71 Theoretical Computer Science
49 Annals of Pure and Applied Logic
47 Journal of Philosophical Logic
42 Journal of Applied Non-Classical Logics
40 Journal of Automated Reasoning
30 Artificial Intelligence
26 The Journal of Symbolic Logic
23 Annals of Mathematics and Artificial Intelligence
21 Fuzzy Sets and Systems
18 Synthese
18 Journal of Applied Logic
17 Information and Computation
17 International Journal of Approximate Reasoning
17 Logic and Logical Philosophy
17 Logica Universalis
17 The Review of Symbolic Logic
16 Notre Dame Journal of Formal Logic
14 Journal of Logic, Language and Information
12 Theory and Practice of Logic Programming
11 Journal of Symbolic Computation
11 Archive for Mathematical Logic
10 The Bulletin of Symbolic Logic
8 Logical Methods in Computer Science
7 Bulletin of the Section of Logic
6 Algebra Universalis
6 New Generation Computing
6 Formal Aspects of Computing
6 The Journal of Logic and Algebraic Programming
5 Journal of Computer and System Sciences
5 International Journal of Computer Mathematics
5 Mathematical Logic Quarterly (MLQ)
5 Theory of Computing Systems
5 Soft Computing
5 Erkenntnis
5 Journal of Logical and Algebraic Methods in Programming
4 Information Sciences
4 Publications of the Research Institute for Mathematical Sciences, Kyoto University
4 History and Philosophy of Logic
4 International Journal of Intelligent Systems
4 ACM Transactions on Computational Logic
3 Information Processing Letters
3 Lithuanian Mathematical Journal
3 Journal of Computer Science and Technology
3 MSCS. Mathematical Structures in Computer Science
3 RAIRO. Informatique Théorique et Applications
3 Formal Methods in System Design
2 Acta Informatica
2 International Journal of Theoretical Physics
2 Algebra and Logic
2 Cybernetics and Systems Analysis
2 Journal of Mathematical Sciences (New York)
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 European Journal of Mathematics
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Computers & Mathematics with Applications
1 Journal of the Franklin Institute
1 Mathematical Notes
1 Moscow University Mathematics Bulletin
1 Periodica Mathematica Hungarica
1 The Mathematical Intelligencer
1 Demonstratio Mathematica
1 International Journal of Game Theory
1 Journal of Differential Equations
1 Journal of Mathematical Psychology
1 The Journal of Mathematical Sociology
1 Journal of Pure and Applied Algebra
1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
1 Quaestiones Mathematicae
1 Rendiconti del Seminario Matematico della Università di Padova
1 Transactions of the American Mathematical Society
1 Cybernetics
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Foundations of Computer Science
1 Games and Economic Behavior
1 Indagationes Mathematicae. New Series
1 Applied Categorical Structures
1 The Journal of Artificial Intelligence Research (JAIR)
1 Sbornik: Mathematics
1 Mathematical Communications
1 Topoi
1 Fundamenta Informaticae
1 Miscelánea Matemática
1 Journal of Intelligent and Fuzzy Systems
1 Fixed Point Theory and Applications
1 Journal of Shanghai Jiaotong University (Science)
1 Proceedings of the Steklov Institute of Mathematics
1 Journal of Fixed Point Theory and Applications
1 International Journal of Semantic Computing
1 Science China. Information Sciences
1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
1 Symmetry
1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
1 Frontiers of Computer Science
1

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.