×

zbMATH — the first resource for mathematics

Fitting, Melvin Chris

Compute Distance To:
Author ID: fitting.melvin-c Recent zbMATH articles by "Fitting, Melvin Chris"
Published as: Fitting, M.; Fitting, M. C.; Fitting, Melvin; Fitting, Melvin C.
Homepage: http://www.melvinfitting.org/
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 110 Publications since 1969, including 15 Books

Publications by Year

Citations contained in zbMATH

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

Cited by 1,034 Authors

26 Fitting, Melvin Chris
14 Kuznets, Roman
13 Wansing, Heinrich Theodor
11 Shramko, Yaroslav V.
10 Avron, Arnon
9 Arieli, Ofer
9 Benzmüller, Christoph Ewald
9 Demri, Stéphane P.
9 Petrukhin, Yaroslav Igorevich
8 Artemov, Sergei
8 Denecker, Marc
7 Peltier, Nicolas
7 Straccia, Umberto
6 Beckert, Bernhard
6 Bogaerts, Bart
6 De Cock, Martine
6 Dubois, Didier
6 Gabbay, Dov M.
6 Indrzejczak, Andrzej
6 Kamide, Norihiro
6 Leszczyńska-Jasion, Dorota
6 Liau, Churn-Jung
6 Massacci, Fabio
6 Pym, David J.
6 Rivieccio, Umberto
6 Subrahmanian, V. S.
6 Szałas, Andrzej
6 Yu, Junhua
5 Baratella, Stefano
5 Baumgartner, Peter
5 Braüner, Torben
5 Demey, Lorenz
5 Hähnle, Reiner
5 Hitzler, Pascal
5 Kurokawa, Hidenori
5 Marek, V. Wiktor
5 Martins, Manuel António
5 Nerode, Anil
5 Ono, Hiroakira
5 Rümmer, Philipp
5 Schockaert, Steven
5 Seda, Anthony Karel
5 Studer, Thomas
5 Truszczyński, Mirosław
5 Vennekens, Joost
5 Wintein, Stefan
4 Benevides, Mario R. F.
4 Blackburn, Patrick
4 Ciucci, Davide
4 Delahaye, Jean-Paul
4 Dyckhoff, Roy
4 Ésik, Zoltán
4 Giordani, Alessandro
4 Kreitz, Christoph
4 Madeira, Alexandre
4 Maruyama, Yoshihiro
4 Milnikel, Robert Saxon
4 Movsisyan, Yuri Movses
4 Muskens, Reinhard A.
4 Pacuit, Eric
4 Ramanayake, Revantha
4 Rodríguez, Ricardo Oscar
4 Rondogiannis, Panos
4 Rönnedal, Daniel
4 Schmidt, Renate A.
4 Shangin, Vasily
4 Smessaert, Hans
4 Vermeir, Dirk
4 Wijesekera, Duminda
4 Willard, Dan E.
4 Woltzenlogel Paleo, Bruno
4 Yamasaki, Susumu
3 Akama, Seiki
3 Areces, Carlos
3 Baaz, Matthias
3 Balbiani, Philippe
3 Belardinelli, Francesco
3 Bidoit, Nicole
3 Bobillo, Fernando
3 Bochman, Alexander
3 Bruynooghe, Maurice
3 Bucheli, Samuel
3 Cerrato, Claudio
3 Cintula, Petr
3 Cornelis, Chris
3 Davidova, Diana S.
3 Dean, Walter
3 Degtyarev, Anatoli Ivanovich
3 Donini, Francesco M.
3 Fan, Tuan-Fang
3 Ferguson, Thomas Macaulay
3 Font, Josep Maria
3 Gargov, George K.
3 Gerla, Giangiacomo
3 Giunchiglia, Fausto
3 Godo, Lluís
3 Governatori, Guido
3 Hájek, Petr
3 Hasan, Osman
3 Hölldobler, Steffen
...and 934 more Authors
all top 5

Cited in 89 Serials

93 Studia Logica
72 Theoretical Computer Science
51 Annals of Pure and Applied Logic
40 Journal of Philosophical Logic
40 Journal of Applied Non-Classical Logics
37 Journal of Automated Reasoning
30 Artificial Intelligence
25 The Journal of Symbolic Logic
21 Annals of Mathematics and Artificial Intelligence
21 Journal of Applied Logic
20 Fuzzy Sets and Systems
18 Information and Computation
17 International Journal of Approximate Reasoning
16 Synthese
15 Notre Dame Journal of Formal Logic
15 Logica Universalis
13 Journal of Logic, Language and Information
12 Journal of Symbolic Computation
12 Logic and Logical Philosophy
12 The Review of Symbolic Logic
10 Archive for Mathematical Logic
10 The Bulletin of Symbolic Logic
9 Theory and Practice of Logic Programming
7 Bulletin of the Section of Logic
6 New Generation Computing
6 Formal Aspects of Computing
6 The Journal of Logic and Algebraic Programming
5 Algebra Universalis
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
4 Information Sciences
4 Journal of Differential Equations
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
4 Logical Methods in Computer Science
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 Erkenntnis
2 International Journal of Theoretical Physics
2 Information Processing Letters
2 Algebra and Logic
2 Cybernetics and Systems Analysis
2 Formal Methods in System Design
2 Journal of Mathematical Sciences (New York)
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 Journal of Logical and Algebraic Methods in Programming
1 Acta Informatica
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 The Journal of Mathematical Sociology
1 Journal of Pure and Applied Algebra
1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
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 Sbornik: Mathematics
1 Mathematical Communications
1 Topoi
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 European Journal of Mathematics

Citations by Year

Wikidata Timeline

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