Studia LogicaAn International Journal for Symbolic Logic Short Title: Stud. Log. Publisher: Springer Netherlands, Dordrecht; Polish Academy of Sciences, Institute of Philosophy and Sociology, Warsaw ISSN: 0039-3215; 1572-8730/e Online: http://link.springer.com/journal/volumesAndIssues/11225 Comments: Indexed cover-to-cover Documents Indexed: 2,342 Publications (since 1934) References Indexed: 1,852 Publications with 34,524 References. all top 5 Latest Issues 110, No. 6 (2022) 110, No. 5 (2022) 110, No. 4 (2022) 110, No. 3 (2022) 110, No. 2 (2022) 110, No. 1 (2022) 109, No. 6 (2021) 109, No. 5 (2021) 109, No. 4 (2021) 109, No. 3 (2021) 109, No. 2 (2021) 109, No. 1 (2021) 108, No. 6 (2020) 108, No. 5 (2020) 108, No. 4 (2020) 108, No. 3 (2020) 108, No. 2 (2020) 108, No. 1 (2020) 107, No. 6 (2019) 107, No. 5 (2019) 107, No. 4 (2019) 107, No. 3 (2019) 107, No. 2 (2019) 107, No. 1 (2019) 106, No. 6 (2018) 106, No. 5 (2018) 106, No. 4 (2018) 106, No. 3 (2018) 106, No. 2 (2018) 106, No. 1 (2018) 105, No. 6 (2017) 105, No. 5 (2017) 105, No. 4 (2017) 105, No. 3 (2017) 105, No. 2 (2017) 105, No. 1 (2017) 104, No. 6 (2016) 104, No. 5 (2016) 104, No. 4 (2016) 104, No. 3 (2016) 104, No. 2 (2016) 104, No. 1 (2016) 103, No. 6 (2015) 103, No. 5 (2015) 103, No. 4 (2015) 103, No. 3 (2015) 103, No. 2 (2015) 103, No. 1 (2015) 102, No. 6 (2014) 102, No. 5 (2014) 102, No. 4 (2014) 102, No. 3 (2014) 102, No. 2 (2014) 102, No. 1 (2014) 101, No. 6 (2013) 101, No. 5 (2013) 101, No. 4 (2013) 101, No. 3 (2013) 101, No. 2 (2013) 101, No. 1 (2013) 100, No. 6 (2012) 100, No. 5 (2012) 100, No. 4 (2012) 100, No. 3 (2012) 100, No. 1-2 (2012) 99, No. 1-3 (2011) 98, No. 3 (2011) 98, No. 1-2 (2011) 97, No. 3 (2011) 97, No. 2 (2011) 97, No. 1 (2011) 96, No. 3 (2010) 96, No. 2 (2010) 96, No. 1 (2010) 95, No. 3 (2010) 95, No. 1-2 (2010) 94, No. 3 (2010) 94, No. 2 (2010) 94, No. 1 (2010) 93, No. 2-3 (2009) 93, No. 1 (2009) 92, No. 3 (2009) 92, No. 2 (2009) 92, No. 1 (2009) 91, No. 3 (2009) 91, No. 2 (2009) 91, No. 1 (2009) 90, No. 3 (2008) 90, No. 2 (2008) 90, No. 1 (2008) 89, No. 3 (2008) 89, No. 2 (2008) 89, No. 1 (2008) 88, No. 3 (2008) 88, No. 2 (2008) 88, No. 1 (2008) 87, No. 2-3 (2007) 87, No. 1 (2007) 86, No. 3 (2007) 86, No. 2 (2007) ...and 165 more Volumes all top 5 Authors 30 Gabbay, Dov M. 21 Czelakowski, Janusz 21 Montagna, Franco 20 Wansing, Heinrich Theodor 19 van Benthem, Johan F. A. K. 18 Dziobiak, Wiesław 17 Słupecki, Jerzy 16 Jansana, Ramon 15 Borkowski, Ludwik 15 Orłowska, Ewa S. 14 Rasiowa, Helena 13 Cignoli, Roberto 13 Font, Josep Maria 13 Hansson, Sven Ove 13 Kotas, Jerzy 13 Tokarz, Marek 12 Bezhanishvili, Guram 12 Goldblatt, Robert Ian 12 Ono, Hiroakira 12 Sylvan, Richard 11 Mundici, Daniele 11 Paoli, Francesco 11 Suszko, Roman 10 Avron, Arnon 10 Bezhanishvili, Nick 10 Blok, Willem Johannes 10 Hájek, Petr 10 Kamide, Norihiro 10 Odintsov, Sergei P. 10 Pieczkowski, August 10 Pogorzelski, Witold A. 10 Raftery, James G. 10 Shramko, Yaroslav V. 10 Torrens Torrell, Antoni 9 Buszkowski, Wojciech 9 Giuntini, Roberto 9 Ma, Minghui 9 Malinowski, Grzegorz 9 Pigozzi, Don Leonard 9 Segerberg, Krister 9 Skvortsov, Dmitrij 9 Vakarelov, Dimiter 9 van der Hoek, Wiebe 9 Wolter, Frank 8 Došen, Kosta 8 Fang, Jie 8 Fitting, Melvin Chris 8 Jankowski, Andrzej Wojciech 8 Kubinski, Tadeusz 8 Maksimova, Larisa L’vovna 8 Priest, Graham 8 Prucnal, Tadeusz 8 Suzuki, Nobu-Yuki 8 Wasilewska, Anita 8 Wojcicki, Ryszard 7 Bloom, Stephen L. 7 Da Costa, Newton Carneiro Affonso 7 Dalla Chiara, Maria Luisa 7 Dunn, Jon Michael 7 Jenei, Sándor 7 Ledda, Antonio 7 Makinson, David Clement 7 Meyer, Robert Kenneth 7 Rautenberg, Wolfgang 7 Wronski, Andrzej 7 Zakharyaschev, Michael Viktorovich 6 Batens, Diderik 6 Belnap, Nuel D. jun. 6 Brady, Ross Thomas 6 Bryll, Grzegorz 6 Cornejo, Juan Manuel 6 Cresswell, Maxwell John 6 de Jongh, Dick H. J. 6 Díaz Varela, José Patricio 6 Dishkant, Herman 6 Francez, Nissim 6 Grzegorczyk, Andrzej 6 Gumanski, Leon 6 Jaskowski, Stanislaw 6 Komori, Yuichi 6 Lewin, Renato A. 6 Pietruszczak, Andrzej 6 Priestley, Hilary A. 6 Seki, Takahiro 6 Surma, Stanislaw J. 6 Weaver, George E. 6 Zygmunt, Jan 5 Ajdukiewicz, Kazimierz 5 Blyth, Thomas Scott 5 Castiglioni, José Luis 5 Chlebowski, Szymon 5 Corsi, Giovanna 5 Davey, Brian A. 5 Demri, Stéphane P. 5 Di Nola, Antonio 5 Dyckhoff, Roy 5 Galatos, Nikolaos 5 Gerla, Giangiacomo 5 Goranko, Valentin F. 5 Hodkinson, Ian Martin ...and 1,551 more Authors all top 5 Fields 2,125 Mathematical logic and foundations (03-XX) 286 Order, lattices, ordered algebraic structures (06-XX) 228 Computer science (68-XX) 126 General algebraic systems (08-XX) 94 General and overarching topics; collections (00-XX) 71 History and biography (01-XX) 45 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 42 Category theory; homological algebra (18-XX) 31 Quantum theory (81-XX) 26 General topology (54-XX) 20 Probability theory and stochastic processes (60-XX) 18 Group theory and generalizations (20-XX) 12 Combinatorics (05-XX) 9 Geometry (51-XX) 8 Information and communication theory, circuits (94-XX) 5 Statistics (62-XX) 5 Relativity and gravitational theory (83-XX) 4 Measure and integration (28-XX) 4 Functional analysis (46-XX) 3 Number theory (11-XX) 3 Systems theory; control (93-XX) 2 Field theory and polynomials (12-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Topological groups, Lie groups (22-XX) 2 Real functions (26-XX) 2 Biology and other natural sciences (92-XX) 2 Mathematics education (97-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,630 Publications have been cited 10,777 times in 5,890 Documents Cited by ▼ Year ▼ Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016Mundici, Daniele 153 1995 A survey of abstract algebraic logic. Zbl 1057.03058Font, J. M.; Jansana, R.; Pigozzi, D. 109 2003 A proof of standard completeness for Esteva and Godo’s logic MTL. Zbl 0997.03027Jenei, Sándor; Montagna, Franco 104 2002 States on pseudo MV-algebras. Zbl 0999.06011Dvurečenskij, Anatolij 76 2001 Dependence and independence. Zbl 1272.03125Grädel, Erich; Väänänen, Jouko 75 2013 Protoalgebraic logics. Zbl 0622.03020Blok, W. J.; Pigozzi, Don 66 1986 Partiality and its dual. Zbl 0988.03012Dunn, J. Michael 65 2000 Notes on \(\eta\)-lattices and constructive logic with strong negation. Zbl 0385.03055Vakarelov, D. 63 1977 Positive modal logic. Zbl 0831.03007Dunn, J. Michael 62 1995 Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Zbl 1034.03013van der Hoek, Wiebe; Wooldridge, Michael 60 2003 Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups. Zbl 0812.06010Di Nola, Antonio; Lettieri, Ada 59 1994 Belief contraction without recovery. Zbl 0748.03008Hansson, Sven Ove 58 1991 A logical account of formal argumentation. Zbl 1188.03011Caminada, Martin W. A.; Gabbay, Dov M. 53 2009 Matrix approach in methodology of sentential calculi. Zbl 0336.02012Wojcicki, Ryszard 51 1973 On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Zbl 1011.03015Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco 50 2002 Minimally inconsistent LP. Zbl 0748.03017Priest, Graham 49 1991 On the logic of theory change: safe contraction. Zbl 0605.03002Alchourrón, Carlos E.; Makinson, David 49 1985 Intuitionistic logic with strong negation. Zbl 0366.02015Gurevich, Yuri 48 1977 Distributive lattices with a dual homomorphic operation. Zbl 0425.06008Urquhart, Alasdair 48 1979 Basic hoops: an algebraic study of continuous t-norms. Zbl 1127.03049Aglianò, P.; Ferreirim, I. M. A.; Montagna, F. 47 2007 Equivalential logics. I. Zbl 0476.03032Czelakowski, Janusz 44 1981 Algebraization of quantifier logics, an introductory overview. Zbl 0772.03033Németi, István 38 1991 Dynamic logics of evidence-based beliefs. Zbl 1241.03013van Benthem, J.; Pacuit, E. 36 2011 On an intuitionistic modal logic. Zbl 0963.03033Bierman, G. M.; de Paiva, V. C. V. 36 2000 An overview of tableau algorithms for description logics. Zbl 0991.03012Baader, Franz; Sattler, Ulrike 35 2001 Generalized Kripke frames. Zbl 1115.03013Gehrke, Mai 35 2006 A compact representation of proofs. Zbl 0644.03033Miller, Dale A. 35 1987 Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\). Zbl 1115.06006Cignoli, Roberto; Torrens Torrell, Antoni 34 2006 A propositional logic with explicit fixed points. Zbl 0469.03012Visser, Albert 34 1981 Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. Zbl 1105.03021Galatos, Nikolaos; Ono, Hiroakira 33 2006 The origin of relation algebras in the development and axiomatization of the calculus of relations. Zbl 0754.03042Maddux, Roger D. 33 1991 Models for normal intuitionistic modal logics. Zbl 0634.03014Božić, Milan; Došen, Kosta 33 1984 Cut-free sequent calculi for some tense logics. Zbl 0813.03012Kashima, Ryo 32 1994 Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case. Zbl 0867.68100Benferhat, Salem; Dubois, Didier; Prade, Henri 32 1997 Propositional calculus for contradictory deductive systems. Zbl 0244.02004Jaskowski, Stanislaw 32 1969 Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.). Zbl 0355.02021Magari, Roberto 30 1976 Time and modality in the logic of agency. Zbl 0788.03002Chellas, Brian F. 30 1992 Varieties of monadic Heyting algebras. I. Zbl 0964.06008Bezhanishvili, Guram 30 1998 On maximal intermediate logics with the disjunction property. Zbl 0635.03019Maksimova, Larisa L. 30 1986 Computably enumerable equivalence relations. Zbl 0981.03046Gao, Su; Gerdes, Peter 29 2001 Nelson algebras through Heyting ones. I. Zbl 0714.06004Sendlewski, Andrzej 29 1990 Contrary-to-duty obligations. Zbl 0873.03025Prakken, Henry; Sergot, Marek 29 1996 Five faces of minimality. Zbl 0790.03026Makinson, David 29 1993 The Russian cards problem. Zbl 1033.03008van Ditmarsch, Hans 29 2003 The Fregean axiom and Polish mathematical logic in the \(1920^s\). Zbl 0404.03004Suszko, Roman 28 1978 On the canonicity of Sahlqvist identities. Zbl 0810.03050Jónsson, Bjarni 28 1994 Ideal paraconsistent logics. Zbl 1248.03046Arieli, O.; Avron, A.; Zamansky, A. 27 2011 Equivalence of consequence operations. Zbl 1106.03059Blok, W. J.; Jónsson, Bjarni 27 2006 A model of tolerance. Zbl 1162.03012Zardini, Elia 27 2008 Classical relevant logics. I. Zbl 0316.02029Meyer, Robert K.; Routley, Richard 26 1973 40 years of FDE: an introductory overview. Zbl 1417.03027Omori, Hitoshi; Wansing, Heinrich 26 2017 MV-algebras and quantum computation. Zbl 1102.06010Ledda, Antonio; Konig, Martinvaldo; Paoli, Francesco; Giuntini, Roberto 26 2006 Pure extensions, proof rules, and hybrid axiomatics. Zbl 1115.03009Blackburn, P.; ten Cate, B. 26 2006 A formalization of the propositional calculus of H-B logic. Zbl 0289.02015Rauszer, Cecylia 25 1974 Game logic – an overview. Zbl 1040.03013Pauly, Marc; Parikh, Rohit 25 2003 Equational characterization of the subvarieties of BL generated by t-norm algebras. Zbl 1045.03048Esteva, Francesc; Godo, Lluís; Montagna, Franco 25 2004 Duality for algebras of relevant logics. Zbl 0844.03032Urquhart, Alasdair 25 1996 Standard Gödel modal logics. Zbl 1266.03030Caicedo, Xavier; Rodriguez, Ricardo O. 25 2010 Sequent-systems and groupoid models. I. Zbl 0671.03018Došen, Kosta 25 1988 Adding involution to residuated structures. Zbl 1062.03059Galatos, Nikolaos; Raftery, James G. 25 2004 Hyperintensional logic. Zbl 0307.02017Cresswell, M. J. 24 1975 Classical relevant logics. II. Zbl 0316.02030Meyer, Robert K.; Routley, Richard 24 1974 An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.). Zbl 0357.02028Sambin, Giovanni 24 1976 Kripke semantics for knowledge representation logics. Zbl 0726.03023Orłowska, Ewa 24 1990 Some results on modal axiomatization and definability for topological spaces. Zbl 1096.03016Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David 24 2005 An impossibility theorem on beliefs in games. Zbl 1114.03013Brandenburger, Adam; Keisler, H. Jerome 24 2006 On the representation of \(\mathbf{N4}\)-lattices. Zbl 1047.03050Odintsov, Sergei P. 24 2004 Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall\). Zbl 1013.03021Montagna, Franco; Ono, Hiroakira 24 2002 Dynamic algebras: Examples, constructions, applications. Zbl 0752.03033Pratt, Vaughan 24 1991 Semantics of the minimal logic of quantum mechanics. Zbl 0268.02018Dishkant, H. 24 1972 Pretabular varieties of modal algebras. Zbl 0457.03018Blok, W. J. 24 1980 Diodorean modality in Minkowski spacetime. Zbl 0457.03019Goldblatt, Robert 24 1980 A Kripke-style semantics for R-mingle using a binary accessibility relation. Zbl 0328.02010Dunn, J. Michael 23 1976 A metacompleteness theorem for contraction-free relevant logics. Zbl 0576.03014Slaney, John K. 23 1984 Graded modalities. I. Zbl 0577.03004Fattorosi-Barnaba, M.; De Caro, F. 23 1985 The quantitative/qualitative watershed for rules of uncertain inference. Zbl 1130.03022Hawthorne, James; Makinson, David 23 2007 Classical negation and expansions of Belnap-Dunn logic. Zbl 1373.03029De, Michael; Omori, Hitoshi 23 2015 Equivalential and algebraizable logics. Zbl 0864.03043Herrmann, Burghard 23 1996 Undefinability of propositional quantifiers in the modal system S4. Zbl 0831.03008Ghilardi, Silvio; Zawadowski, Marek 23 1995 Models for stronger normal intuitionistic modal logics. Zbl 0634.03015Došen, Kosta 23 1985 Some theorems on structural consequence operations. Zbl 0311.02016Bloom, Stephen L. 22 1975 On modal logic with an intuitionistic base. Zbl 0364.02015Fischer Servi, Gisele 22 1977 Selective revision. Zbl 0942.03024Fermé, Eduardo L.; Hansson, Sven Ove 22 1999 Characterizing equivalential and algebraizable logics by the Leibniz operator. Zbl 0879.03023Herrmann, Burghard 22 1997 On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis. Zbl 1417.03191Bonzio, Stefano; Gil-Férez, José; Paoli, Francesco; Peruzzi, Luisa 22 2017 Negation in the context of gaggle theory. Zbl 1097.03015Dunn, J. Michael; Zhou, Chunlai 22 2005 Generalized rough sets (preclusivity fuzzy-intuitionistic (BZ) lattices). Zbl 0864.03040Cattaneo, Gianpiero 22 1997 Algebraic logic for classical conjunction and disjunction. Zbl 0753.03027Font, Josep M.; Verdú, Ventura 22 1991 2-element matrices. Zbl 0493.03006Rautenberg, Wolfgang 22 1981 Dual intuitionistic logic and a variety of negations: the logic of scientific research. Zbl 1085.03022Shramko, Yaroslav 21 2005 Modal frame correspondences and fixed-points. Zbl 1106.03017van Benthem, Johan 21 2006 Selfextensional logics with a conjunction. Zbl 1115.03094Jansana, Ramon 21 2006 Getting started: Beginnings in the logic of action. Zbl 0786.03003Segerberg, Krister 21 1992 The proof by cases property and its variants in structural consequence relations. Zbl 1316.03040Cintula, Petr; Noguera, Carles 21 2013 Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Zbl 1189.68127Wu, Yining; Caminada, Martin; Gabbay, Dov M. 21 2009 A finite model theorem for the propositional \(\mu\)-calculus. Zbl 0667.03019Kozen, Dexter 21 1989 Theory of rejected propositions. I. Zbl 0253.02049Slupecki, Jerzy; Bryll, Grzegorz; Wybraniec-Skardowska, Urszula 21 1971 Decidability for branching time. Zbl 0467.03006Burgess, John P. 21 1980 Applications of Kripke models to Heyting-Brouwer logic. Zbl 0361.02033Rauszer, Cecylia 20 1977 Constructive logic with strong negation is a substructural logic. I. Zbl 1145.03013Spinks, Matthew; Veroff, Robert 20 2008 Three ways of being non-material. Zbl 07490467Crupi, Vincenzo; Iacona, Andrea 4 2022 The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives. Zbl 07496502Pistone, Paolo; Tranchini, Luca; Petrolo, Mattia 2 2022 Two decision procedures for da Costa’s \(C_n\) Logics based on restricted Nmatrix semantics. Zbl 07535453Coniglio, Marcelo E.; Toledo, Guilherme V. 1 2022 ZF between classicality and non-classicality. Zbl 07490471Tarafder, Sourav; Venturi, Giorgio 1 2022 A binary quantifier for definite descriptions for cut free free logics. Zbl 07490472Kürbis, Nils 1 2022 Free logics are cut-free. Zbl 07424400Indrzejczak, Andrzej 4 2021 Positive announcements. Zbl 07383333van Ditmarsch, Hans; French, Tim; Hales, James 4 2021 Non-classical models of \(\mathsf{ZF}\). Zbl 07383329Jockwich Martinez, S.; Venturi, G. 3 2021 The poset of all logics. III: Finitely presentable logics. Zbl 07383330Jansana, Ramon; Moraschini, Tommaso 3 2021 Axiomatization of crisp Gödel modal logic. Zbl 07339959Rodriguez, Ricardo Oscar; Vidal, Amanda 2 2021 The entropy-limit (conjecture) for \(\Sigma_2\)-premisses. Zbl 07339961Landes, Jürgen 2 2021 Relational representation theorems for extended contact algebras. Zbl 07424395Balbiani, Philippe; Ivanova, Tatyana 1 2021 A simple logical matrix and sequent calculus for Parry’s logic of analytic implication. Zbl 07424398Szmuc, Damian E. 1 2021 Positive monotone modal logic. Zbl 1486.03041de Groot, Jim 1 2021 Correction to: “The Hahn embedding theorem for a class of residuated semigroups”. Zbl 1484.06061Jenei, Sándor 1 2021 Cut-free sequent calculus and natural deduction for the tetravalent modal logic. Zbl 07450674Figallo, Martín 1 2021 Confluence proofs of lambda-mu-calculi by Z theorem. Zbl 07450681Honda, Yuki; Nakazawa, Koji; Fujita, Ken-etsu 1 2021 Containment logics: algebraic completeness and axiomatization. Zbl 1487.03080Bonzio, Stefano; Pra Baldi, Michele 1 2021 Inquisitive Heyting algebras. Zbl 1489.03027Punčochář, Vít 1 2021 Semi De Morgan logic properly displayed. Zbl 07339949Greco, Giuseppe; Liang, Fei; Moshier, M. Andrew; Palmigiano, Alessandra 1 2021 Pooling modalities and pointwise intersection: axiomatization and decidability. Zbl 07339950Van De Putte, Frederik; Klein, Dominik 1 2021 A conservative negation extension of positive semilattice logic without the finite model property. Zbl 07339952Weiss, Yale 1 2021 A generalized proof-theoretic approach to logical argumentation based on hypersequents. Zbl 07339954Borg, AnneMarie; Straßer, Christian; Arieli, Ofer 1 2021 An algebraic study of tense operators on Nelson algebras. Zbl 07339956Figallo, A. V.; Pelaitay, G.; Sarmiento, J. 1 2021 Kripke semantics for intuitionistic Łukasiewicz logic. Zbl 1487.03027Lewis-Smith, A.; Oliva, P.; Robinson, E. 1 2021 Correspondence, canonicity, and model theory for monotonic modal logics. Zbl 07339960Yamamoto, Kentarô 1 2021 Proof theory of paraconsistent weak Kleene logic. Zbl 1476.03031Paoli, Francesco; Pra Baldi, Michele 5 2020 Countably many weakenings of Belnap-Dunn logic. Zbl 1484.03041Ma, Minghui; Lin, Yuanlei 5 2020 Epimorphisms, definability and cardinalities. Zbl 1442.03036Moraschini, T.; Raftery, J. G.; Wannenburg, J. J. 4 2020 The Hahn embedding theorem for a class of residuated semigroups. Zbl 1484.06060Jenei, Sándor 3 2020 \(L\)-effect algebras. Zbl 1459.08003Rump, Wolfgang; Zhang, Xia 2 2020 Extended contact algebras and internal connectedness. Zbl 1484.06048Ivanova, Tatyana 2 2020 A refined interpretation of intuitionistic logic by means of atomic polymorphism. Zbl 1479.03006Espírito Santo, José; Ferreira, Gilda 2 2020 Inner-model reflection principles. Zbl 1481.03058Barton, Neil; Caicedo, Andrés Eduardo; Fuchs, Gunter; Hamkins, Joel David; Reitz, Jonas; Schindler, Ralf 2 2020 From oughts to goals: a logic for Enkrasia. Zbl 07180176Klein, Dominik; Marra, Alessandra 2 2020 Understanding Hohfeld and formalizing legal rights: the Hohfeldian conceptions and their conditional consequences. Zbl 07180177Markovich, Réka 2 2020 Notes on Leitgeb’s Ruitenburg. Zbl 1484.03011Rivello, Edoardo 2 2020 A general framework for FDE-based modal logics. Zbl 1484.03034Drobyshevich, Sergey 2 2020 Proof theory for positive logic with weak negation. Zbl 1484.03013Bílková, Marta; Colacito, Almudena 1 2020 A note on strong axiomatization of Gödel justification logic. Zbl 1461.03023Pischke, Nicholas 1 2020 Complexity of the universal theory of modal algebras. Zbl 1485.03051Shkatov, Dmitry; Van Alten, Clint J. 1 2020 Normality, non-contamination and logical depth in classical natural deduction. Zbl 1455.03013D’Agostino, Marcello; Gabbay, Dov; Modgil, Sanjay 1 2020 Simple axiomatizations for pretabular classical relevance logics. Zbl 1476.03025Fallahi, Asadollah 1 2020 Bayesian confirmation or ordinary confirmation? Zbl 1481.62005Yuan, Yongfeng 1 2020 Simplified Kripke-style semantics for some normal modal logics. Zbl 1452.03061Pietruszczak, Andrzej; Klonowski, Mateusz; Petrukhin, Yaroslav 1 2020 Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic. Zbl 1481.03010Kamide, Norihiro; Zohar, Yoni 1 2020 Rosser provability and normal modal logics. Zbl 1481.03007Kurahashi, Taishi 1 2020 Deontology of compound actions. Zbl 1452.03056Czelakowski, Janusz 1 2020 Polarity semantics for negation as a modal operator. Zbl 1486.03049Lin, Yuanlei; Ma, Minghui 1 2020 About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \). Zbl 1486.03038Balbiani, Philippe; Gencer, Çiğdem 1 2020 Logics for belief as maximally plausible possibility. Zbl 1486.03034Bonanno, Giacomo 1 2020 Integrally closed residuated lattices. Zbl 1486.03114Gil-Férez, José; Lauridsen, Frederik Möllerström; Metcalfe, George 1 2020 A canonical model for constant domain basic first-order logic. Zbl 1484.03014Middleton, Ben 1 2020 Dynamic epistemic logics of diffusion and prediction in social networks. Zbl 07075852Baltag, Alexandru; Christoff, Zoé; Rendsvig, Rasmus K.; Smets, Sonja 7 2019 The dynamics of epistemic attitudes in resource-bounded agents. Zbl 07075851Balbiani, Philippe; Fernández-Duque, David; Lorini, Emiliano 6 2019 The monodic fragment of propositional term modal logic. Zbl 1439.03046Padmanabha, Anantha; Ramanujam, R. 6 2019 Valuations: bi, tri, and tetra. Zbl 1450.03002French, Rohan; Ripley, David 5 2019 A deterministic weakening of Belnap-Dunn logic. Zbl 1494.03060Ma, Minghui; Lin, Yuanlei 5 2019 A duality for involutive bisemilattices. Zbl 1475.06001Bonzio, Stefano; Loi, Andrea; Peruzzi, Luisa 5 2019 Disjunction and existence properties in inquisitive first-order logic. Zbl 07142216Grilletti, Gianluca 4 2019 The fundamental problem of general proof theory. Zbl 07055410Prawitz, Dag 4 2019 The naturality of natural deduction. Zbl 07055417Tranchini, Luca; Pistone, Paolo; Petrolo, Mattia 4 2019 Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics. Zbl 07055418Piecha, Thomas; Schroeder-Heister, Peter 4 2019 Analyticity, balance and non-admissibility of Cut in stoic logic. Zbl 1494.03089Bobzien, Susanne; Dyckhoff, Roy 4 2019 Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter. Zbl 07100699Rybakov, Mikhail; Shkatov, Dmitry 4 2019 A propositional dynamic logic for instantial neighborhood semantics. Zbl 07100700van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian 4 2019 Truth-tracking by belief revision. Zbl 1439.03039Baltag, Alexandru; Gierasimczuk, Nina; Smets, Sonja 3 2019 Axiomatizing the logic of imagination. Zbl 07100696Giordani, Alessandro 3 2019 The balanced pseudocomplemented Ockham algebras with the strong endomorphism kernel property. Zbl 07142218Fang, Jie 2 2019 A cut-free sequent calculus for defeasible erotetic inferences. Zbl 07142219Millson, Jared 2 2019 Proof compression and NP versus PSPACE. Zbl 1477.03247Gordeev, L.; Haeusler, E. H. 2 2019 Postponement of \(\mathsf {raa}\) and Glivenko’s theorem, revisited. Zbl 07055414Guerrieri, Giulio; Naibo, Alberto 2 2019 Is there a “Hilbert thesis”? Zbl 1428.03021Kahle, Reinhard 2 2019 Inference as doxastic agency. I: The basics of justification stit logic. Zbl 07055416Olkhovikov, Grigory K.; Wansing, Heinrich 2 2019 A categorical equivalence for Stonean residuated lattices. Zbl 1494.03094Busaniche, Manuela; Cignoli, Roberto; Marcos, Miguel Andrés 2 2019 On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras. Zbl 07100694Figallo Orellano, Aldo; Pascual, Inés 2 2019 Sequent calculi for global modal consequence relations. Zbl 07100695Ma, Minghui; Chen, Jinsheng 2 2019 Back to basics: belief revision through direct selection. Zbl 1477.03040Hansson, Sven Ove 1 2019 Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs. Zbl 07142213Standefer, Shawn 1 2019 Completeness in equational hybrid propositional type theory. Zbl 07142215Manzano, Maria; Martins, Manuel; Huertas, Antonia 1 2019 Varieties of BL-algebras. III: Splitting algebras. Zbl 1442.06005Aglianó, Paolo 1 2019 Logicality, double-line rules, and modalities. Zbl 07055413Gratzl, Norbert; Orlandelli, Eugenio 1 2019 Intermediate logics admitting a structural hypersequent calculus. Zbl 1494.03069Lauridsen, Frederik M. 1 2019 Propositional epistemic logics with quantification over agents of knowledge (an alternative approach). Zbl 07100701Shtakser, Gennady 1 2019 A study in Grzegorczyk point-free topology. II: Spaces of points. Zbl 07100703Gruszczyński, Rafał; Pietruszczak, Andrzej 1 2019 Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations. Zbl 1437.03167Kurahashi, Taishi 7 2018 The structure group of a generalized orthomodular lattice. Zbl 1412.06011Rump, Wolfgang 6 2018 Arithmetical completeness theorem for modal logic \(\mathsf{K}\). Zbl 1437.03090Kurahashi, Taishi 6 2018 Convex MV-algebras: many-valued logics meet decision theory. Zbl 1475.06007Flaminio, T.; Hosni, H.; Lapenta, S. 5 2018 Varieties of BL-algebras. II. Zbl 1437.06017Aglianò, P.; Montagna, F. 5 2018 Stone-type representations and dualities for varieties of bisemilattices. Zbl 1437.06003Ledda, Antonio 5 2018 Bisimulation for conditional modalities. Zbl 1437.03083Baltag, A.; Cinà, G. 3 2018 Provably true sentences across axiomatizations of Kripke’s theory of truth. Zbl 1437.03162Nicolai, Carlo 3 2018 First-order modal logic: frame definability and a Lindström theorem. Zbl 1437.03095Zoghifard, R.; Pourmahdian, M. 3 2018 The category of node-and-choice preforms for extensive-form games. Zbl 1417.91078Streufert, Peter A. 2 2018 A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures. Zbl 1437.03049Gruszczyński, Rafał; Pietruszczak, Andrzej 2 2018 Truth, partial logic and infinitary proof systems. Zbl 1437.03160Fischer, Martin; Gratzl, Norbert 2 2018 Sequent calculi for \(\mathsf{SCI}\). Zbl 1437.03165Chlebowski, Szymon 2 2018 Proof theory for functional modal logic. Zbl 1437.03093Standefer, Shawn 2 2018 The finite model property for logics with the tangle modality. Zbl 1437.03087Goldblatt, Robert; Hodkinson, Ian 2 2018 ...and 1334 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,766 Authors 68 Dvurečenskij, Anatolij 47 Gabbay, Dov M. 44 Montagna, Franco 44 Wansing, Heinrich Theodor 43 Bezhanishvili, Guram 43 Di Nola, Antonio 38 Kamide, Norihiro 38 van Benthem, Johan F. A. K. 34 Bezhanishvili, Nick 33 Hansson, Sven Ove 32 Godo, Lluís 32 Paoli, Francesco 31 Jansana, Ramon 30 van Ditmarsch, Hans Pieter 28 Esteva, Francesc 28 Flaminio, Tommaso 26 Czelakowski, Janusz 25 Humberstone, Lloyd 25 Ledda, Antonio 25 Maksimova, Larisa L’vovna 25 Noguera, Carles 24 Fernández Duque, David 24 Moraschini, Tommaso 23 Cintula, Petr 23 Robles, Gemma 21 Andréka, Hajnal 21 Chajda, Ivan 21 Ciungu, Lavinia Corina 21 Galatos, Nikolaos 21 Giuntini, Roberto 21 Goldblatt, Robert Ian 21 Kowalski, Tomasz 21 Palmigiano, Alessandra 21 Sayed Ahmed, Tarek 20 Avron, Arnon 20 Celani, Sergio Arturo 20 Ciabattoni, Agata 20 Dunn, Jon Michael 20 Dziobiak, Wiesław 20 Mundici, Daniele 20 Németi, István 19 Gehrke, Mai 19 Ma, Minghui 19 Petrukhin, Yaroslav Igorevich 19 Priestley, Hilary A. 19 Raftery, James G. 19 Rivieccio, Umberto 19 Smets, Sonja J. L. 19 Venema, Yde 19 Wang, Yanjing 18 Baltag, Alexandru 18 Brady, Ross Thomas 18 Font, Josep Maria 18 Hodkinson, Ian Martin 18 Iemhoff, Rosalie 18 Kern-Isberner, Gabriele 18 Odintsov, Sergei P. 18 Visser, Albert 18 Voutsadakis, George 17 Hájek, Petr 17 Lenzi, Giacomo 17 Metcalfe, George 17 Orłowska, Ewa S. 17 Vakarelov, Dimiter 16 Arieli, Ofer 16 Cignoli, Roberto 16 Davey, Brian A. 16 Diaconescu, Răzvan 16 Díaz Varela, José Patricio 16 Francez, Nissim 16 Shramko, Yaroslav V. 16 Studer, Thomas 16 Torrens Torrell, Antoni 16 Tsinakis, Constantine 16 van der Hoek, Wiebe 16 Zakharyaschev, Michael Viktorovich 15 Aguzzoli, Stefano 15 Balbiani, Philippe 15 Bazhenov, Nikolaĭ Alekseevich 15 Bianchi, Matteo 15 Bimbó, Katalin 15 Cornejo, Juan Manuel 15 Martins, Manuel António 15 Pacuit, Eric 15 Pigozzi, Don Leonard 15 Priest, Graham 14 Cabrer, Leonardo Manuel 14 Caleiro, Carlos 14 Carnielli, Walter Alexandre 14 Égré, Paul 14 Frič, Roman 14 Lorini, Emiliano 14 Naumov, Pavel G. 14 Omori, Hitoshi 14 Ono, Hiroakira 14 Ripley, David 14 Wolter, Frank 14 Wooldridge, Michael J. 14 Zamansky, Anna 13 Ågotnes, Thomas ...and 3,666 more Authors all top 5 Cited in 286 Journals 941 Studia Logica 335 Journal of Philosophical Logic 213 Annals of Pure and Applied Logic 202 The Journal of Symbolic Logic 198 Synthese 176 Fuzzy Sets and Systems 162 Journal of Applied Non-Classical Logics 159 The Review of Symbolic Logic 156 Soft Computing 143 Algebra Universalis 132 Artificial Intelligence 129 Theoretical Computer Science 122 Notre Dame Journal of Formal Logic 114 International Journal of Approximate Reasoning 112 Journal of Logic, Language and Information 109 Archive for Mathematical Logic 95 Journal of Applied Logic 95 Logica Universalis 67 Logic and Logical Philosophy 65 Mathematical Logic Quarterly (MLQ) 58 The Bulletin of Symbolic Logic 55 Information and Computation 52 Annals of Mathematics and Artificial Intelligence 50 Information Sciences 48 Journal of Automated Reasoning 45 International Journal of Theoretical Physics 42 Algebra and Logic 42 History and Philosophy of Logic 39 Erkenntnis 36 Order 33 Mathematica Slovaca 31 Bulletin of the Section of Logic 31 MSCS. Mathematical Structures in Computer Science 28 Journal of Logical and Algebraic Methods in Programming 27 Journal of Pure and Applied Algebra 27 Logical Methods in Computer Science 24 International Journal of Algebra and Computation 23 Siberian Mathematical Journal 22 Journal of Algebra 20 ACM Transactions on Computational Logic 18 Mathematical Notes 17 Applied Categorical Structures 16 Czechoslovak Mathematical Journal 16 Transactions of the American Mathematical Society 14 Communications in Algebra 14 Topoi 14 Theory and Practice of Logic Programming 14 Journal of Multiple-Valued Logic and Soft Computing 14 Foundations of Physics 13 Semigroup Forum 13 The Journal of Logic and Algebraic Programming 12 Journal of Computer and System Sciences 11 International Journal of General Systems 10 Kybernetika 10 Games and Economic Behavior 10 Indagationes Mathematicae. New Series 9 Discrete Mathematics 9 Mathematical Social Sciences 9 Sibirskie Èlektronnye Matematicheskie Izvestiya 8 Asian-European Journal of Mathematics 7 Journal of Mathematical Analysis and Applications 7 Topology and its Applications 7 Foundations of Science 7 Journal of the Australian Mathematical Society 6 Glasgow Mathematical Journal 6 Rendiconti del Seminario Matematico della Università di Padova 6 Lobachevskii Journal of Mathematics 6 Journal of Algebra and its Applications 6 Frontiers of Computer Science 6 Open Mathematics 5 Information Processing Letters 5 Israel Journal of Mathematics 5 Advances in Mathematics 5 Proceedings of the American Mathematical Society 5 Journal of Symbolic Computation 5 International Journal of Intelligent Systems 5 Theory of Computing Systems 5 Acta Mathematica Sinica. English Series 5 Journal of Intelligent and Fuzzy Systems 5 Iranian Journal of Fuzzy Systems 5 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 5 Nôus 4 Bulletin of the Australian Mathematical Society 4 Computers & Mathematics with Applications 4 Lithuanian Mathematical Journal 4 Moscow University Mathematics Bulletin 4 Demonstratio Mathematica 4 Journal of Geometry 4 Rendiconti del Circolo Matemàtico di Palermo. Serie II 4 Theory and Decision 4 Tôhoku Mathematical Journal. Second Series 4 New Generation Computing 4 International Journal of Computer Mathematics 4 The Journal of Artificial Intelligence Research (JAIR) 4 Doklady Mathematics 4 Fundamenta Informaticae 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 New Mathematics and Natural Computation 4 Symmetry 4 Games ...and 186 more Journals all top 5 Cited in 46 Fields 4,753 Mathematical logic and foundations (03-XX) 1,322 Computer science (68-XX) 1,016 Order, lattices, ordered algebraic structures (06-XX) 357 General algebraic systems (08-XX) 193 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 162 Category theory; homological algebra (18-XX) 143 Quantum theory (81-XX) 117 History and biography (01-XX) 101 General topology (54-XX) 85 General and overarching topics; collections (00-XX) 82 Group theory and generalizations (20-XX) 79 Probability theory and stochastic processes (60-XX) 57 Combinatorics (05-XX) 30 Measure and integration (28-XX) 27 Functional analysis (46-XX) 27 Information and communication theory, circuits (94-XX) 26 Geometry (51-XX) 19 Convex and discrete geometry (52-XX) 18 Statistics (62-XX) 18 Relativity and gravitational theory (83-XX) 12 Number theory (11-XX) 12 Commutative algebra (13-XX) 12 Associative rings and algebras (16-XX) 12 Real functions (26-XX) 11 Topological groups, Lie groups (22-XX) 10 Systems theory; control (93-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 9 Dynamical systems and ergodic theory (37-XX) 9 Biology and other natural sciences (92-XX) 8 Operations research, mathematical programming (90-XX) 7 Operator theory (47-XX) 5 Differential geometry (53-XX) 5 Mechanics of particles and systems (70-XX) 4 Field theory and polynomials (12-XX) 4 Algebraic topology (55-XX) 4 Manifolds and cell complexes (57-XX) 3 Algebraic geometry (14-XX) 3 Difference and functional equations (39-XX) 3 Numerical analysis (65-XX) 2 Partial differential equations (35-XX) 2 Fluid mechanics (76-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Mathematics education (97-XX) 1 \(K\)-theory (19-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year