Edit Profile (opens in new tab) Fitting, Melvin Chris Co-Author Distance Author ID: fitting.melvin-c Published as: Fitting, Melvin; Fitting, M.; Fitting, Melvin C.; Fitting, M. C. more...less Homepage: http://www.melvinfitting.org/ External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 114 Publications since 1969, including 13 Books 5 Contributions as Editor Co-Authors: 17 Co-Authors with 16 Joint Publications 417 Co-Co-Authors all top 5 Co-Authors 103 single-authored 2 Thalmann, Lars 2 Voronkov, Andrei 1 Artemov, Sergei 1 Ben-Jacob, Marion 1 Fitting, Greer 1 Georgatos, Konstantinos 1 Kuznets, Roman 1 Marek, V. Wiktor 1 Mendelsohn, Richard L. 1 Müller, Berndt 1 Nerode, Anil 1 Orłowska, Ewa S. 1 Rayman, Brian 1 Salvatore, Felipe 1 Smullyan, Raymond Merrill 1 Truszczyński, Mirosław 1 Ye, Ruili all top 5 Serials 11 Annals of Pure and Applied Logic 8 Studia Logica 7 Notre Dame Journal of Formal Logic 7 Journal of Logic and Computation 6 Annales Societatis Mathematicae Polonae. Series IV 6 The Journal of Logic Programming 4 The Journal of Symbolic Logic 4 Fundamenta Informaticae 3 Journal of Philosophical Logic 3 Theoria 2 Theoretical Computer Science 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 The Australasian Journal of Logic 2 Oxford Logic Guides 2 Synthese Library 1 Synthese 1 Journal of Automated Reasoning 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Applied Logic 1 Cambridge Tracts in Mathematics 1 Graduate Texts in Computer Science 1 Studies in Logic and the Foundations of Mathematics 1 Studies in Fuzziness and Soft Computing 1 Trends in Logic – Studia Logica Library 1 Studies in Logic (London) 1 Texts in Mathematics 1 Cadernos de Lógica e Computação 1 Outstanding Contributions to Logic 1 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications all top 5 Fields 103 Mathematical logic and foundations (03-XX) 29 Computer science (68-XX) 6 General and overarching topics; collections (00-XX) 4 History and biography (01-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 88 Publications have been cited 1,663 times in 1,183 Documents Cited by ▼ Year ▼ Proof methods for modal and intuitionistic logics. Zbl 0523.03013 Fitting, Melvin 156 1983 First-order modal logic. Zbl 1025.03001 Fitting, Melvin; Mendelsohn, Richard L. 119 1998 A Kripke-Kleene semantics for logic programs. Zbl 0589.68011 Fitting, Melvin 111 1985 Bilattices and the semantics of logic programming. Zbl 0757.68028 Fitting, Melvin 102 1991 The logic of proofs, semantically. Zbl 1066.03059 Fitting, Melvin 90 2005 First-order logic and automated theorem proving. 2nd ed. Zbl 0848.68101 Fitting, Melvin 88 1996 Intuitionistic logic, model theory and forcing. Zbl 0188.32003 Fitting, M. C. 81 1969 First-order logic and automated theorem proving. Zbl 0692.68002 Fitting, Melvin 79 1990 Many-valued modal logics. Zbl 0745.03018 Fitting, Melvin C. 68 1991 Fixpoint semantics for logic programming a survey. Zbl 1002.68023 Fitting, Melvin 61 2002 Many-valued modal logics. II. Zbl 0772.03006 Fitting, Melvin 59 1992 Kleene’s three valued logics and their children. Zbl 0804.03016 Fitting, Melvin 51 1994 Kleene’s logic, generalized. Zbl 0744.03025 Fitting, Melvin 41 1991 Bilattices are nice things. Zbl 1157.03308 Fitting, Melvin 37 2006 Justification logic. Reasoning with reasons. Zbl 1479.03001 Artemov, Sergei; Fitting, Melvin 28 2019 Tableau methods of proof for modal logics. Zbl 0184.28102 Fitting, Melvin 27 1972 Bilattices and the theory of truth. Zbl 0678.03028 Fitting, Melvin 26 1989 The family of stable models. Zbl 0798.68096 Fitting, Melvin 23 1993 Prefixed tableaus and nested sequents. Zbl 1241.03021 Fitting, Melvin 23 2012 Types, tableaus, and Gödel’s God. Zbl 1038.03001 Fitting, Melvin 22 2002 First-order modal tableaux. Zbl 0648.03004 Fitting, Melvin 21 1988 Term-modal logics. Zbl 0992.03026 Fitting, Melvin; Thalmann, Lars; Voronkov, Andrei 18 2001 Logic programming on a topological bilattice. Zbl 0647.68096 Fitting, Melvin 17 1988 Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003 Fitting, Melvin 16 1986 Nested sequents for intuitionistic logics. Zbl 1327.03006 Fitting, Melvin 14 2014 First-order intensional logic. Zbl 1061.03024 Fitting, Melvin 14 2004 Set theory and the continuum problem. Zbl 0888.03032 Smullyan, Raymond M.; Fitting, Melvin 13 1996 Partial models and logic programming. Zbl 0629.68090 Fitting, Melvin 11 1986 Tableaus for many-valued modal logic. Zbl 0837.03017 Fitting, Melvin 11 1995 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 10 2015 Many-valued non-monotonic modal logics. Zbl 0978.03518 Fitting, M. 9 1992 Realizations and LP. Zbl 1221.03020 Fitting, Melvin 9 2009 A quantified logic of evidence. Zbl 1133.03008 Fitting, Melvin 9 2008 Interpolation for first order S5. Zbl 1009.03013 Fitting, Melvin 8 2002 Modal logics between propositional and first-order. Zbl 1017.03008 Fitting, Melvin 8 2002 Reasoning with justifications. Zbl 1166.03006 Fitting, Melvin 8 2009 Fundamentals of generalized recursion theory. Zbl 0597.03028 Fitting, Melvin 7 1981 Negation as refutation. Zbl 0716.68024 Fitting, Melvin 7 1989 Metric methods: Three examples and a theorem. Zbl 0823.68017 Fitting, Melvin 7 1994 Modal logics, justification logics, and realization. Zbl 1400.03040 Fitting, Melvin 7 2016 Paraconsistent logic, evidence, and justification. Zbl 1417.03192 Fitting, Melvin 6 2017 A simple propositional \(\text{S}5\) tableau system. Zbl 0972.03017 Fitting, Melvin 6 1999 Model existence theorems for modal and intuitionistic logics. Zbl 0286.02060 Fitting, Melvin 6 1974 Destructive modal resolution. Zbl 0724.03011 Fitting, Melvin 6 1990 A theory of truth that prefers falsehood. Zbl 0880.03003 Fitting, Melvin 6 1997 The pure logic of necessitation. Zbl 0819.03011 Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław 6 1992 Barcan both ways. Zbl 0993.03016 Fitting, Melvin 5 1999 A deterministic PROLOG fixpoint semantics. Zbl 0592.68021 Fitting, Melvin 5 1985 Bisimulations and Boolean vectors. Zbl 1083.03025 Fitting, Melvin 5 2003 Logics with several modal operators. Zbl 0188.31801 Fitting, M. 5 1969 Possible world semantics for first-order logic of proofs. Zbl 1345.03036 Fitting, Melvin 5 2014 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 Subformula results in some propositional modal logics. Zbl 0397.03011 Fitting, Melvin 3 1978 Enumeration operators and modular logic programming. Zbl 0608.68005 Fitting, Melvin 3 1987 leanTAP revisited. Zbl 0909.03013 Fitting, Melvin 3 1998 Intensional logic – beyond first order. Zbl 1048.03014 Fitting, Melvin 3 2003 Realization using the model existence theorem. Zbl 1403.03030 Fitting, Melvin 3 2016 Incompleteness in the land of sets. Zbl 1152.03003 Fitting, Melvin 3 2007 Foreword: A tribute to Professor Helena Rasiowa. Zbl 0922.01035 Fitting, Melvin 2 1999 Herbrand’s theorem for a modal logic. Zbl 0947.03024 Fitting, Melvin 2 1999 A tableau system for propositional S5. Zbl 0314.02039 Fitting, Melvin 2 1977 Modality and databases. Zbl 0963.03028 Fitting, Melvin 2 2000 Introduction. Zbl 0972.03542 Fitting, Melvin 2 1999 A modal Herbrand theorem. Zbl 0863.68102 Fitting, Melvin 2 1996 Computability theory, semantics, and logic programming. Zbl 0613.68019 Fitting, Melvin 2 1987 Pseudo-Boolean valued Prolog. Zbl 0667.68110 Fitting, Melvin 2 1988 A tableau proof method admitting the empty domain. Zbl 0177.01102 Fitting, Melvin 2 1971 Beyond two: Theory and applications of multiple-valued logic. Zbl 1015.00007 2 2003 Selected topics from contemporary logics. Zbl 1505.03005 2 2021 A family of strict/tolerant logics. Zbl 1496.03099 Fitting, Melvin 2 2021 Realizations and LP. Zbl 1132.03325 Fitting, Melvin 2 2007 Justification logics and hybrid logics. Zbl 1215.03032 Fitting, Melvin 2 2010 FOIL axiomatized. Zbl 1114.03014 Fitting, Melvin 2 2006 Annotated revision specification programs. Zbl 1496.68333 Fitting, Melvin 2 1995 On height and happiness. Zbl 1437.03086 Fitting, Melvin 2 2017 The strict/tolerant idea and bilattices. Zbl 1496.03101 Fitting, Melvin 2 2021 On quantified modal logic. Zbl 0936.03019 Fitting, Melvin 1 1999 Higher-order modal logic – a sketch. Zbl 0955.03030 Fitting, Melvin 1 2000 Databases and higher types. Zbl 0983.68055 Fitting, Melvin 1 2000 Raymond Smullyan on self reference. Zbl 1381.03002 1 2017 First-order alethic modal logic. Zbl 1111.03303 Fitting, Melvin 1 2002 A mistake on my part. Zbl 1279.03007 Fitting, Melvin 1 2005 Quasi-realization. Zbl 1428.03047 Fitting, Melvin 1 2017 Proving completeness for nested sequent calculi. Zbl 1261.03085 Fitting, Melvin 1 2011 Strict/tolerant logics built using generalized weak Kleene logics. Zbl 1496.03100 Fitting, Melvin 1 2021 Selected topics from contemporary logics. Zbl 1505.03005 2 2021 A family of strict/tolerant logics. Zbl 1496.03099 Fitting, Melvin 2 2021 The strict/tolerant idea and bilattices. Zbl 1496.03101 Fitting, Melvin 2 2021 Strict/tolerant logics built using generalized weak Kleene logics. Zbl 1496.03100 Fitting, Melvin 1 2021 Justification logic. Reasoning with reasons. Zbl 1479.03001 Artemov, Sergei; Fitting, Melvin 28 2019 Paraconsistent logic, evidence, and justification. Zbl 1417.03192 Fitting, Melvin 6 2017 On height and happiness. Zbl 1437.03086 Fitting, Melvin 2 2017 Raymond Smullyan on self reference. Zbl 1381.03002 1 2017 Quasi-realization. Zbl 1428.03047 Fitting, Melvin 1 2017 Modal logics, justification logics, and realization. Zbl 1400.03040 Fitting, Melvin 7 2016 Realization using the model existence theorem. Zbl 1403.03030 Fitting, Melvin 3 2016 Modal interpolation via nested sequents. Zbl 1369.03103 Fitting, Melvin; Kuznets, Roman 10 2015 Nested sequents for intuitionistic logics. Zbl 1327.03006 Fitting, Melvin 14 2014 Possible world semantics for first-order logic of proofs. Zbl 1345.03036 Fitting, Melvin 5 2014 Prefixed tableaus and nested sequents. Zbl 1241.03021 Fitting, Melvin 23 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 8 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 9 2008 Incompleteness in the land of sets. Zbl 1152.03003 Fitting, Melvin 3 2007 Realizations and LP. Zbl 1132.03325 Fitting, Melvin 2 2007 Bilattices are nice things. Zbl 1157.03308 Fitting, Melvin 37 2006 FOIL axiomatized. Zbl 1114.03014 Fitting, Melvin 2 2006 The logic of proofs, semantically. Zbl 1066.03059 Fitting, Melvin 90 2005 A mistake on my part. Zbl 1279.03007 Fitting, Melvin 1 2005 First-order intensional logic. Zbl 1061.03024 Fitting, Melvin 14 2004 Bisimulations and Boolean vectors. Zbl 1083.03025 Fitting, Melvin 5 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 61 2002 Types, tableaus, and Gödel’s God. Zbl 1038.03001 Fitting, Melvin 22 2002 Interpolation for first order S5. Zbl 1009.03013 Fitting, Melvin 8 2002 Modal logics between propositional and first-order. Zbl 1017.03008 Fitting, Melvin 8 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 18 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 6 1999 Barcan both ways. Zbl 0993.03016 Fitting, Melvin 5 1999 Foreword: A tribute to Professor Helena Rasiowa. Zbl 0922.01035 Fitting, Melvin 2 1999 Herbrand’s theorem for a modal logic. Zbl 0947.03024 Fitting, Melvin 2 1999 Introduction. Zbl 0972.03542 Fitting, Melvin 2 1999 On quantified modal logic. Zbl 0936.03019 Fitting, Melvin 1 1999 First-order modal logic. Zbl 1025.03001 Fitting, Melvin; Mendelsohn, Richard L. 119 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 88 1996 Set theory and the continuum problem. Zbl 0888.03032 Smullyan, Raymond M.; Fitting, Melvin 13 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 Annotated revision specification programs. Zbl 1496.68333 Fitting, Melvin 2 1995 Kleene’s three valued logics and their children. Zbl 0804.03016 Fitting, Melvin 51 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 23 1993 Many-valued modal logics. II. Zbl 0772.03006 Fitting, Melvin 59 1992 Many-valued non-monotonic modal logics. Zbl 0978.03518 Fitting, M. 9 1992 The pure logic of necessitation. Zbl 0819.03011 Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław 6 1992 Bilattices and the semantics of logic programming. Zbl 0757.68028 Fitting, Melvin 102 1991 Many-valued modal logics. Zbl 0745.03018 Fitting, Melvin C. 68 1991 Kleene’s logic, generalized. Zbl 0744.03025 Fitting, Melvin 41 1991 First-order logic and automated theorem proving. Zbl 0692.68002 Fitting, Melvin 79 1990 Destructive modal resolution. Zbl 0724.03011 Fitting, Melvin 6 1990 Bilattices and the theory of truth. Zbl 0678.03028 Fitting, Melvin 26 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 17 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 16 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 111 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 156 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 3 1978 A tableau system for propositional S5. Zbl 0314.02039 Fitting, Melvin 2 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 27 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. 81 1969 Logics with several modal operators. Zbl 0188.31801 Fitting, M. 5 1969 all cited Publications top 5 cited Publications all top 5 Cited by 1,284 Authors 30 Fitting, Melvin Chris 15 Kuznets, Roman 15 Studer, Thomas 14 Wansing, Heinrich Theodor 12 Artemov, Sergei 12 Petrukhin, Yaroslav Igorevich 11 Avron, Arnon 11 Shramko, Yaroslav V. 10 Arieli, Ofer 10 Benzmüller, Christoph Ewald 10 Denecker, Marc 10 Indrzejczak, Andrzej 10 Martins, Manuel António 9 Demri, Stéphane P. 9 Rümmer, Philipp 8 Blanchette, Jasmin Christian 8 Kamide, Norihiro 8 Peltier, Nicolas 8 Rodríguez, Ricardo Oscar 8 Straccia, Umberto 7 Hähnle, Reiner 7 Leszczyńska-Jasion, Dorota 7 Rivieccio, Umberto 7 Subrahmanian, V. S. 7 Szałas, Andrzej 7 Wang, Yanjing 6 Beckert, Bernhard 6 Benevides, Mario R. F. 6 Blackburn, Patrick 6 Bogaerts, Bart 6 De Cock, Martine 6 Demey, Lorenz 6 Dubois, Didier 6 Gabbay, Dov M. 6 Giordani, Alessandro 6 Hustadt, Ullrich 6 Liau, Churn-Jung 6 Madeira, Alexandre 6 Massacci, Fabio 6 Ognjanović, Zoran 6 Pym, David J. 6 Sedlár, Igor 6 Vukmirović, Petar 6 Yu, Junhua 5 Baratella, Stefano 5 Baumgartner, Peter 5 Bentkamp, Alexander 5 Braüner, Torben 5 Dixon, Clare 5 Dyckhoff, Roy 5 Ésik, Zoltán 5 Godo, Lluís 5 Hitzler, Pascal 5 Kurokawa, Hidenori 5 Ma, Minghui 5 Marek, V. Wiktor 5 Nerode, Anil 5 Ono, Hiroakira 5 Pacuit, Eric 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 Achilleos, Antonis 4 Areces, Carlos 4 Backeman, Peter 4 Bochman, Alexander 4 Bruynooghe, Maurice 4 Carnielli, Walter Alexandre 4 Castro, Pablo F. 4 Chlebowski, Szymon 4 Ciabattoni, Agata 4 Ciucci, Davide 4 Delahaye, Jean-Paul 4 Esteva, Francesc 4 Ferguson, Thomas Macaulay 4 Koutras, Costas D. 4 Kreitz, Christoph 4 Maruyama, Yoshihiro 4 Milnikel, Robert Saxon 4 Movsisyan, Yuri Movses 4 Muskens, Reinhard A. 4 Nalon, Cláudia 4 Negri, Sara 4 Noguera, Carles 4 Padmanabha, Anantha 4 Ramanujam, R. 4 Renne, Bryan 4 Rodrigues, Abilio 4 Schmidt, Renate A. 4 Smessaert, Hans 4 Smolka, Gert 4 Tourret, Sophie 4 Vermeir, Dirk 4 Waldmann, Uwe 4 Wijesekera, Duminda ...and 1,184 more Authors all top 5 Cited in 98 Serials 107 Studia Logica 71 Theoretical Computer Science 54 Journal of Philosophical Logic 53 Annals of Pure and Applied Logic 45 Journal of Applied Non-Classical Logics 44 Journal of Automated Reasoning 32 Artificial Intelligence 27 The Journal of Symbolic Logic 27 Synthese 24 Annals of Mathematics and Artificial Intelligence 23 Fuzzy Sets and Systems 22 Logica Universalis 20 Logic and Logical Philosophy 19 International Journal of Approximate Reasoning 18 Journal of Logic, Language and Information 18 Journal of Applied Logic 18 The Review of Symbolic Logic 17 Information and Computation 17 Theory and Practice of Logic Programming 16 Notre Dame Journal of Formal Logic 12 Journal of Symbolic Computation 11 Bulletin of the Section of Logic 11 Archive for Mathematical Logic 10 The Bulletin of Symbolic Logic 9 Logical Methods in Computer Science 9 Journal of Logical and Algebraic Methods in Programming 6 Algebra Universalis 6 New Generation Computing 6 Formal Aspects of Computing 6 Mathematical Logic Quarterly (MLQ) 6 The Journal of Logic and Algebraic Programming 6 ACM Transactions on Computational Logic 5 Information Sciences 5 Journal of Computer and System Sciences 5 International Journal of Computer Mathematics 5 Theory of Computing Systems 5 Soft Computing 5 Erkenntnis 4 Publications of the Research Institute for Mathematical Sciences, Kyoto University 4 History and Philosophy of Logic 4 International Journal of Intelligent Systems 4 MSCS. Mathematical Structures in Computer Science 3 Information Processing Letters 3 Lithuanian Mathematical Journal 3 Journal of Computer Science and Technology 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 Journal of Mathematical Psychology 2 Cybernetics and Systems Analysis 2 Applied Categorical Structures 2 Journal of Mathematical Sciences (New York) 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 European Journal of Mathematics 2 Logicheskie Issledovaniya 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 The Journal of Mathematical Sociology 1 Journal of Pure and Applied Algebra 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Quaestiones Mathematicae 1 Rendiconti del Seminario Matematico della Università di Padova 1 Transactions of the American Mathematical Society 1 Cybernetics 1 Machine Learning 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 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 Sibirskie Èlektronnye Matematicheskie Izvestiya 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 Chelyabinskiĭ Fiziko-Matematicheskiĭ Zhurnal all top 5 Cited in 27 Fields 913 Mathematical logic and foundations (03-XX) 542 Computer science (68-XX) 60 Order, lattices, ordered algebraic structures (06-XX) 26 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 18 History and biography (01-XX) 17 General algebraic systems (08-XX) 14 General and overarching topics; collections (00-XX) 12 Category theory; homological algebra (18-XX) 9 General topology (54-XX) 5 Biology and other natural sciences (92-XX) 4 Information and communication theory, circuits (94-XX) 3 Associative rings and algebras (16-XX) 3 Operations research, mathematical programming (90-XX) 2 Combinatorics (05-XX) 2 Group theory and generalizations (20-XX) 2 Convex and discrete geometry (52-XX) 2 Quantum theory (81-XX) 2 Systems theory; control (93-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Ordinary differential equations (34-XX) 1 Integral equations (45-XX) 1 Operator theory (47-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Statistics (62-XX) 1 Relativity and gravitational theory (83-XX) 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.