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,310 Publications (since 1934) References Indexed: 1,824 Publications with 33,763 References. all top 5 Latest Issues 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) 86, No. 1 (2007) 85, No. 3 (2007) 85, No. 2 (2007) 85, No. 1 (2007) ...and 161 more Volumes all top 5 Authors 30 Gabbay, Dov M. 21 Montagna, Franco 20 Czelakowski, Janusz 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 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 Malinowski, Grzegorz 9 Pigozzi, Don Leonard 9 Segerberg, Krister 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 Ma, Minghui 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 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 Skvortsov, Dmitrij 6 Surma, Stanislaw J. 6 Weaver, George E. 6 Zygmunt, Jan 5 Ajdukiewicz, Kazimierz 5 Blyth, Tom S. 5 Castiglioni, José Luis 5 Corsi, Giovanna 5 Davey, Brian A. 5 Demri, Stéphane P. 5 Di Nola, Antonio 5 Dyckhoff, Roy 5 Gerla, Giangiacomo 5 Goranko, Valentin F. 5 Hodkinson, Ian Martin 5 Humberstone, Lloyd 5 Indrzejczak, Andrzej 5 Iwanus, Boguslaw 5 Kaminsky, Michael ...and 1,526 more Authors all top 5 Fields 2,095 Mathematical logic and foundations (03-XX) 277 Order, lattices, ordered algebraic structures (06-XX) 228 Computer science (68-XX) 128 General algebraic systems (08-XX) 94 General and overarching topics; collections (00-XX) 70 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) 16 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 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 Topological groups, Lie groups (22-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,584 Publications have been cited 9,871 times in 5,544 Documents Cited by ▼ Year ▼ Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016Mundici, Daniele 144 1995 A survey of abstract algebraic logic. Zbl 1057.03058Font, J. M.; Jansana, R.; Pigozzi, D. 105 2003 A proof of standard completeness for Esteva and Godo’s logic MTL. Zbl 0997.03027Jenei, Sándor; Montagna, Franco 100 2002 States on pseudo MV-algebras. Zbl 0999.06011Dvurečenskij, Anatolij 72 2001 Protoalgebraic logics. Zbl 0622.03020Blok, W. J.; Pigozzi, Don 64 1986 Partiality and its dual. Zbl 0988.03012Dunn, J. Michael 59 2000 Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups. Zbl 0812.06010Di Nola, Antonio; Lettieri, Ada 58 1994 Dependence and independence. Zbl 1272.03125Grädel, Erich; Väänänen, Jouko 57 2013 Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Zbl 1034.03013van der Hoek, Wiebe; Wooldridge, Michael 55 2003 Belief contraction without recovery. Zbl 0748.03008Hansson, Sven Ove 55 1991 Notes on \(\eta\)-lattices and constructive logic with strong negation. Zbl 0385.03055Vakarelov, D. 54 1977 Positive modal logic. Zbl 0831.03007Dunn, J. Michael 51 1995 Matrix approach in methodology of sentential calculi. Zbl 0336.02012Wojcicki, Ryszard 50 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 49 2002 Distributive lattices with a dual homomorphic operation. Zbl 0425.06008Urquhart, Alasdair 48 1979 A logical account of formal argumentation. Zbl 1188.03011Caminada, Martin W. A.; Gabbay, Dov M. 46 2009 On the logic of theory change: safe contraction. Zbl 0605.03002Alchourrón, Carlos E.; Makinson, David 45 1985 Intuitionistic logic with strong negation. Zbl 0366.02015Gurevich, Yuri 43 1977 Minimally inconsistent LP. Zbl 0748.03017Priest, Graham 43 1991 Basic hoops: an algebraic study of continuous t-norms. Zbl 1127.03049Aglianò, P.; Ferreirim, I. M. A.; Montagna, F. 43 2007 Equivalential logics. I. Zbl 0476.03032Czelakowski, Janusz 41 1981 Algebraization of quantifier logics, an introductory overview. Zbl 0772.03033Németi, István 36 1991 An overview of tableau algorithms for description logics. Zbl 0991.03012Baader, Franz; Sattler, Ulrike 33 2001 Dynamic logics of evidence-based beliefs. Zbl 1241.03013van Benthem, J.; Pacuit, E. 33 2011 Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. Zbl 1105.03021Galatos, Nikolaos; Ono, Hiroakira 32 2006 Generalized Kripke frames. Zbl 1115.03013Gehrke, Mai 32 2006 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 31 1997 Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\). Zbl 1115.06006Cignoli, Roberto; Torrens Torrell, Antoni 30 2006 The origin of relation algebras in the development and axiomatization of the calculus of relations. Zbl 0754.03042Maddux, Roger D. 30 1991 A propositional logic with explicit fixed points. Zbl 0469.03012Visser, Albert 30 1981 On maximal intermediate logics with the disjunction property. Zbl 0635.03019Maksimova, Larisa L. 30 1986 A compact representation of proofs. Zbl 0644.03033Miller, Dale A. 30 1987 On an intuitionistic modal logic. Zbl 0963.03033Bierman, G. M.; de Paiva, V. C. V. 30 2000 Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.). Zbl 0355.02021Magari, Roberto 29 1976 Time and modality in the logic of agency. Zbl 0788.03002Chellas, Brian F. 29 1992 Propositional calculus for contradictory deductive systems. Zbl 0244.02004Jaskowski, Stanislaw 28 1969 Contrary-to-duty obligations. Zbl 0873.03025Prakken, Henry; Sergot, Marek 27 1996 The Russian cards problem. Zbl 1033.03008van Ditmarsch, Hans 27 2003 Models for normal intuitionistic modal logics. Zbl 0634.03014Božić, Milan; Došen, Kosta 27 1984 Five faces of minimality. Zbl 0790.03026Makinson, David 27 1993 On the canonicity of Sahlqvist identities. Zbl 0810.03050Jónsson, Bjarni 26 1994 The Fregean axiom and Polish mathematical logic in the \(1920^s\). Zbl 0404.03004Suszko, Roman 25 1978 MV-algebras and quantum computation. Zbl 1102.06010Ledda, Antonio; Konig, Martinvaldo; Paoli, Francesco; Giuntini, Roberto 25 2006 Sequent-systems and groupoid models. I. Zbl 0671.03018Došen, Kosta 25 1988 Cut-free sequent calculi for some tense logics. Zbl 0813.03012Kashima, Ryo 25 1994 Duality for algebras of relevant logics. Zbl 0844.03032Urquhart, Alasdair 24 1996 Equational characterization of the subvarieties of BL generated by t-norm algebras. Zbl 1045.03048Esteva, Francesc; Godo, Lluís; Montagna, Franco 24 2004 An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.). Zbl 0357.02028Sambin, Giovanni 24 1976 Pure extensions, proof rules, and hybrid axiomatics. Zbl 1115.03009Blackburn, P.; ten Cate, B. 24 2006 Nelson algebras through Heyting ones. I. Zbl 0714.06004Sendlewski, Andrzej 24 1990 Kripke semantics for knowledge representation logics. Zbl 0726.03023Orłowska, Ewa 24 1990 Dynamic algebras: Examples, constructions, applications. Zbl 0752.03033Pratt, Vaughan 24 1991 Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall\). Zbl 1013.03021Montagna, Franco; Ono, Hiroakira 23 2002 Classical relevant logics. I. Zbl 0316.02029Meyer, Robert K.; Routley, Richard 23 1973 Equivalence of consequence operations. Zbl 1106.03059Blok, W. J.; Jónsson, Bjarni 23 2006 An impossibility theorem on beliefs in games. Zbl 1114.03013Brandenburger, Adam; Keisler, H. Jerome 23 2006 Semantics of the minimal logic of quantum mechanics. Zbl 0268.02018Dishkant, H. 23 1972 Computably enumerable equivalence relations. Zbl 0981.03046Gao, Su; Gerdes, Peter 23 2001 The quantitative/qualitative watershed for rules of uncertain inference. Zbl 1130.03022Hawthorne, James; Makinson, David 23 2007 Characterizing equivalential and algebraizable logics by the Leibniz operator. Zbl 0879.03023Herrmann, Burghard 22 1997 Adding involution to residuated structures. Zbl 1062.03059Galatos, Nikolaos; Raftery, James G. 22 2004 Equivalential and algebraizable logics. Zbl 0864.03043Herrmann, Burghard 22 1996 Some theorems on structural consequence operations. Zbl 0311.02016Bloom, Stephen L. 22 1975 Classical relevant logics. II. Zbl 0316.02030Meyer, Robert K.; Routley, Richard 22 1974 A Kripke-style semantics for R-mingle using a binary accessibility relation. Zbl 0328.02010Dunn, J. Michael 22 1976 Ideal paraconsistent logics. Zbl 1248.03046Arieli, O.; Avron, A.; Zamansky, A. 22 2011 A model of tolerance. Zbl 1162.03012Zardini, Elia 22 2008 A formalization of the propositional calculus of H-B logic. Zbl 0289.02015Rauszer, Cecylia 22 1974 A metacompleteness theorem for contraction-free relevant logics. Zbl 0576.03014Slaney, John K. 22 1984 Pretabular varieties of modal algebras. Zbl 0457.03018Blok, W. J. 22 1980 Diodorean modality in Minkowski spacetime. Zbl 0457.03019Goldblatt, Robert 22 1980 Varieties of monadic Heyting algebras. I. Zbl 0964.06008Bezhanishvili, Guram 22 1998 On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis. Zbl 1417.03191Bonzio, Stefano; Gil-Férez, José; Paoli, Francesco; Peruzzi, Luisa 22 2017 Generalized rough sets (preclusivity fuzzy-intuitionistic (BZ) lattices). Zbl 0864.03040Cattaneo, Gianpiero 21 1997 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 Graded modalities. I. Zbl 0577.03004Fattorosi-Barnaba, M.; De Caro, F. 21 1985 Algebraic logic for classical conjunction and disjunction. Zbl 0753.03027Font, Josep M.; Verdú, Ventura 21 1991 Selective revision. Zbl 0942.03024Fermé, Eduardo L.; Hansson, Sven Ove 21 1999 A finite model theorem for the propositional \(\mu\)-calculus. Zbl 0667.03019Kozen, Dexter 21 1989 Standard Gödel modal logics. Zbl 1266.03030Caicedo, Xavier; Rodriguez, Ricardo O. 21 2010 Classical negation and expansions of Belnap-Dunn logic. Zbl 1373.03029De, Michael; Omori, Hitoshi 21 2015 Game logic – an overview. Zbl 1040.03013Pauly, Marc; Parikh, Rohit 20 2003 On the representation of \(\mathbf{N4}\)-lattices. Zbl 1047.03050Odintsov, Sergei P. 20 2004 Hyperintensional logic. Zbl 0307.02017Cresswell, M. J. 20 1975 Applications of Kripke models to Heyting-Brouwer logic. Zbl 0361.02033Rauszer, Cecylia 20 1977 Some results on modal axiomatization and definability for topological spaces. Zbl 1096.03016Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David 20 2005 Selfextensional logics with a conjunction. Zbl 1115.03094Jansana, Ramon 20 2006 Theory of rejected propositions. I. Zbl 0253.02049Slupecki, Jerzy; Bryll, Grzegorz; Wybraniec-Skardowska, Urszula 20 1971 Getting started: Beginnings in the logic of action. Zbl 0786.03003Segerberg, Krister 20 1992 Algebraic aspects of deduction theorems. Zbl 0612.03016Czelakowski, Janusz 20 1985 Decidability for branching time. Zbl 0467.03006Burgess, John P. 20 1980 First-order fuzzy logic. Zbl 0632.03021Novák, Vilém 20 1987 Models for stronger normal intuitionistic modal logics. Zbl 0634.03015Došen, Kosta 20 1985 Interpolation properties of superintuitionistic logics. Zbl 0435.03021Maksimova, Larisa L. 19 1979 Undefinability of propositional quantifiers in the modal system S4. Zbl 0831.03008Ghilardi, Silvio; Zawadowski, Marek 19 1995 An axiom system for the modular logic. Zbl 0333.02023Kotas, Jerzy 19 1967 On axiomatizing Shramko-Wansing’s logic. Zbl 1170.03014Odintsov, Sergei P. 19 2009 Aristotle’s syllogistic from the standpoint of modern formal logic. Zbl 0121.01003Borkowski, L. 19 1957 Modal companions of intermediate propositional logics. Zbl 0766.03015Chagrov, Aleksander; Zakharyashchev, Mikhail 19 1992 Three ways of being non-material. Zbl 07490467Crupi, Vincenzo; Iacona, Andrea 1 2022 Non-classical models of \(\mathsf{ZF}\). Zbl 07383329Jockwich Martinez, S.; Venturi, G. 2 2021 Positive announcements. Zbl 07383333van Ditmarsch, Hans; French, Tim; Hales, James 2 2021 The poset of all logics. III: Finitely presentable logics. Zbl 07383330Jansana, Ramon; Moraschini, Tommaso 1 2021 A conservative negation extension of positive semilattice logic without the finite model property. Zbl 07339952Weiss, Yale 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 07339957Lewis-Smith, A.; Oliva, P.; Robinson, E. 1 2021 Axiomatization of crisp Gödel modal logic. Zbl 07339959Rodriguez, Ricardo Oscar; Vidal, Amanda 1 2021 A simple logical matrix and sequent calculus for Parry’s logic of analytic implication. Zbl 07424398Szmuc, Damian E. 1 2021 Free logics are cut-free. Zbl 07424400Indrzejczak, Andrzej 1 2021 Containment logics: algebraic completeness and axiomatization. Zbl 07450683Bonzio, Stefano; Pra Baldi, Michele 1 2021 Countably many weakenings of Belnap-Dunn logic. Zbl 07183492Ma, Minghui; Lin, Yuanlei 4 2020 Proof theory of paraconsistent weak Kleene logic. Zbl 1476.03031Paoli, Francesco; Pra Baldi, Michele 3 2020 Epimorphisms, definability and cardinalities. Zbl 1442.03036Moraschini, T.; Raftery, J. G.; Wannenburg, J. J. 3 2020 The Hahn embedding theorem for a class of residuated semigroups. Zbl 07350840Jenei, Sándor 2 2020 Notes on Leitgeb’s Ruitenburg. Zbl 07350842Rivello, Edoardo 2 2020 Bayesian confirmation or ordinary confirmation? Zbl 1481.62005Yuan, Yongfeng 1 2020 A refined interpretation of intuitionistic logic by means of atomic polymorphism. Zbl 1479.03006Espírito Santo, José; Ferreira, Gilda 1 2020 Inner-model reflection principles. Zbl 1481.03058Barton, Neil; Caicedo, Andrés Eduardo; Fuchs, Gunter; Hamkins, Joel David; Reitz, Jonas; Schindler, Ralf 1 2020 Proof theory for positive logic with weak negation. Zbl 07239279Bílková, Marta; Colacito, Almudena 1 2020 A note on strong axiomatization of Gödel justification logic. Zbl 1461.03023Pischke, Nicholas 1 2020 Deontology of compound actions. Zbl 1452.03056Czelakowski, Janusz 1 2020 From oughts to goals: a logic for Enkrasia. Zbl 07180176Klein, Dominik; Marra, Alessandra 1 2020 Understanding Hohfeld and formalizing legal rights: the Hohfeldian conceptions and their conditional consequences. Zbl 07180177Markovich, Réka 1 2020 Complexity of the universal theory of modal algebras. Zbl 07183494Shkatov, Dmitry; Van Alten, Clint J. 1 2020 Extended contact algebras and internal connectedness. Zbl 07183495Ivanova, Tatyana 1 2020 Simple axiomatizations for pretabular classical relevance logics. Zbl 1476.03025Fallahi, Asadollah 1 2020 Polarity semantics for negation as a modal operator. Zbl 07346983Lin, Yuanlei; Ma, Minghui 1 2020 About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \). Zbl 07346985Balbiani, Philippe; Gencer, Çiğdem 1 2020 A general framework for FDE-based modal logics. Zbl 07350844Drobyshevich, Sergey 1 2020 A deterministic weakening of Belnap-Dunn logic. Zbl 07067981Ma, Minghui; Lin, Yuanlei 5 2019 A duality for involutive bisemilattices. Zbl 1475.06001Bonzio, Stefano; Loi, Andrea; Peruzzi, Luisa 5 2019 Dynamic epistemic logics of diffusion and prediction in social networks. Zbl 07075852Baltag, Alexandru; Christoff, Zoé; Rendsvig, Rasmus K.; Smets, Sonja 5 2019 The dynamics of epistemic attitudes in resource-bounded agents. Zbl 07075851Balbiani, Philippe; Fernández-Duque, David; Lorini, Emiliano 4 2019 The fundamental problem of general proof theory. Zbl 07055410Prawitz, Dag 4 2019 Analyticity, balance and non-admissibility of \(Cut\) in stoic logic. Zbl 07067984Bobzien, Susanne; Dyckhoff, Roy 3 2019 The naturality of natural deduction. Zbl 07055417Tranchini, Luca; Pistone, Paolo; Petrolo, Mattia 3 2019 Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics. Zbl 07055418Piecha, Thomas; Schroeder-Heister, Peter 3 2019 Truth-tracking by belief revision. Zbl 1439.03039Baltag, Alexandru; Gierasimczuk, Nina; Smets, Sonja 3 2019 A categorical equivalence for Stonean residuated lattices. Zbl 07067985Busaniche, Manuela; Cignoli, Roberto; Marcos, Miguel Andrés 2 2019 The monodic fragment of propositional term modal logic. Zbl 1439.03046Padmanabha, Anantha; Ramanujam, R. 2 2019 Axiomatizing the logic of imagination. Zbl 07100696Giordani, Alessandro 2 2019 Is there a “Hilbert thesis”? Zbl 1428.03021Kahle, Reinhard 2 2019 A cut-free sequent calculus for defeasible erotetic inferences. Zbl 07142219Millson, Jared 2 2019 Intermediate logics admitting a structural hypersequent calculus. Zbl 07067980Lauridsen, Frederik M. 1 2019 Sequent calculi for global modal consequence relations. Zbl 07100695Ma, Minghui; Chen, Jinsheng 1 2019 A propositional dynamic logic for instantial neighborhood semantics. Zbl 07100700van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian 1 2019 Proof compression and NP versus PSPACE. Zbl 1477.03247Gordeev, L.; Haeusler, E. H. 1 2019 Logicality, double-line rules, and modalities. Zbl 07055413Gratzl, Norbert; Orlandelli, Eugenio 1 2019 Postponement of \(\mathsf {raa}\) and Glivenko’s theorem, revisited. Zbl 07055414Guerrieri, Giulio; Naibo, Alberto 1 2019 Inference as doxastic agency. I: The basics of justification stit logic. Zbl 07055416Olkhovikov, Grigory K.; Wansing, Heinrich 1 2019 Back to basics: belief revision through direct selection. Zbl 1477.03040Hansson, Sven Ove 1 2019 Disjunction and existence properties in inquisitive first-order logic. Zbl 07142216Grilletti, Gianluca 1 2019 The balanced pseudocomplemented Ockham algebras with the strong endomorphism kernel property. Zbl 07142218Fang, Jie 1 2019 Valuations: bi, tri, and tetra. Zbl 1450.03002French, Rohan; Ripley, David 1 2019 Arithmetical completeness theorem for modal logic \(\mathsf{K}\). Zbl 1437.03090Kurahashi, Taishi 6 2018 Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations. Zbl 1437.03167Kurahashi, Taishi 6 2018 The structure group of a generalized orthomodular lattice. Zbl 1412.06011Rump, Wolfgang 5 2018 Varieties of BL-algebras. II. Zbl 1437.06017Aglianò, P.; Montagna, F. 4 2018 Convex MV-algebras: many-valued logics meet decision theory. Zbl 1475.06007Flaminio, T.; Hosni, H.; Lapenta, S. 4 2018 Stone-type representations and dualities for varieties of bisemilattices. Zbl 1437.06003Ledda, Antonio 4 2018 First-order modal logic: frame definability and a Lindström theorem. Zbl 1437.03095Zoghifard, R.; Pourmahdian, M. 3 2018 Provably true sentences across axiomatizations of Kripke’s theory of truth. Zbl 1437.03162Nicolai, Carlo 3 2018 Poset product and BL-chains. Zbl 1437.06018Busaniche, Manuela; Gomez, Conrado 2 2018 Principal and Boolean congruences on \(IKt\)-algebras. Zbl 1437.06011Figallo, Aldo V.; Pascual, Inés; Pelaitay, Gustavo 2 2018 The category of node-and-choice preforms for extensive-form games. Zbl 1417.91078Streufert, Peter A. 2 2018 A second pretabular classical relevance logic. Zbl 1437.03096Fallahi, Asadollah 2 2018 On argumentation logic and propositional logic. Zbl 1437.68166Kakas, Antonis C.; Mancarella, Paolo; Toni, Francesca 2 2018 Semi-intuitionistic logic with strong negation. Zbl 1437.03043Cornejo, Juan Manuel; Viglizzo, Ignacio 2 2018 Latarres, lattices with an arrow. Zbl 1437.06005Ardeshir, Mohammad; Ruitenburg, Wim 1 2018 Truth, partial logic and infinitary proof systems. Zbl 1437.03160Fischer, Martin; Gratzl, Norbert 1 2018 Sequent calculi for \(\mathsf{SCI}\). Zbl 1437.03165Chlebowski, Szymon 1 2018 Sequent calculi for semi-De Morgan and De Morgan algebras. Zbl 1437.03181Ma, Minghui; Liang, Fei 1 2018 Reconstructing the topology of the elementary self-embedding monoids of countable saturated structures. Zbl 1437.03121Pech, Christian; Pech, Maja 1 2018 Hintikka’s independence-friendly logic meets Nelson’s realizability. Zbl 1478.03056Odintsov, Sergei P.; Speranski, Stanislav O.; Shevchenko, Igor Yu. 1 2018 Infinite populations, choice and determinacy. Zbl 1477.03237Litak, Tadeusz 1 2018 Bisimulation for conditional modalities. Zbl 1437.03083Baltag, A.; Cinà, G. 1 2018 Logic for describing strong belief-disagreement between agents. Zbl 1437.03061Chen, Jia; Pan, Tianqun 1 2018 Proof theory for functional modal logic. Zbl 1437.03093Standefer, Shawn 1 2018 The finite model property for logics with the tangle modality. Zbl 1437.03087Goldblatt, Robert; Hodkinson, Ian 1 2018 Correspondence between Kripke frames and projective geometries. Zbl 1437.03094Zhong, Shengyang 1 2018 Deduction and reduction theorems for inferential erotetic logic. Zbl 1437.03114Wiśniewski, Andrzej 1 2018 Propositional epistemic logics with quantification over agents of knowledge. Zbl 1437.03074Shtakser, Gennady 1 2018 Gödel’s natural deduction. Zbl 1417.03008Došen, Kosta; Adžić, Miloš 1 2018 A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures. Zbl 1437.03049Gruszczyński, Rafał; Pietruszczak, Andrzej 1 2018 Duality theory and skeleta for semisimple MV-algebras. Zbl 1431.06004Di Nola, Antonio; Lenzi, Giacomo 1 2018 Pure modal logic of names and tableau systems. Zbl 1437.03091Pietruszczak, Andrzej; Jarmużek, Tomasz 1 2018 A new proof of the McKinsey-Tarski theorem. Zbl 1437.03084Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J. 1 2018 On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis. Zbl 1417.03191Bonzio, Stefano; Gil-Férez, José; Paoli, Francesco; Peruzzi, Luisa 22 2017 40 years of FDE: an introductory overview. Zbl 1417.03027Omori, Hitoshi; Wansing, Heinrich 17 2017 Disentangling FDE-based paraconsistent modal logics. Zbl 1417.03160Odintsov, Sergei P.; Wansing, Heinrich 15 2017 Four-valued paradefinite logics. Zbl 1417.03190Arieli, Ofer; Avron, Arnon 11 2017 First-degree entailment and its relatives. Zbl 1417.03182Shramko, Yaroslav; Zaitsev, Dmitry; Belikov, Alexander 9 2017 An algebraic view of super-Belnap logics. Zbl 1417.03175Albuquerque, Hugo; Přenosil, Adam; Rivieccio, Umberto 7 2017 Reconstructing the topology on monoids and polymorphism clones of the rationals. Zbl 1371.08002Behrisch, Mike; Truss, John K.; Vargas-García, Edith 6 2017 Non-classical elegance for sequent calculus enthusiasts. Zbl 1417.03200Fjellstad, Andreas 6 2017 A simple sequent calculus for Angell’s logic of analytic containment. Zbl 1417.03164French, Rohan 5 2017 Paraconsistent double negations as classical and intuitionistic negations. Zbl 1417.03193Kamide, Norihiro 5 2017 General-elimination stability. Zbl 1417.03285Jacinto, Bruno; Read, Stephen 5 2017 Proof analysis of Peirce’s alpha system of graphs. Zbl 1417.03281Ma, Minghui; Pietarinen, Ahti-Veikko 5 2017 ...and 1306 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,568 Authors 67 Dvurečenskij, Anatolij 46 Gabbay, Dov M. 44 Di Nola, Antonio 44 Montagna, Franco 44 Wansing, Heinrich Theodor 39 Bezhanishvili, Guram 38 van Benthem, Johan F. A. K. 36 Kamide, Norihiro 33 Bezhanishvili, Nick 32 Hansson, Sven Ove 32 Paoli, Francesco 31 Godo, Lluís 30 Jansana, Ramon 29 van Ditmarsch, Hans Pieter 28 Flaminio, Tommaso 25 Czelakowski, Janusz 25 Esteva, Francesc 25 Humberstone, Lloyd 25 Ledda, Antonio 25 Maksimova, Larisa L’vovna 25 Noguera, Carles 23 Cintula, Petr 23 Robles, Gemma 22 Moraschini, Tommaso 21 Andréka, Hajnal 21 Giuntini, Roberto 21 Goldblatt, Robert Ian 21 Sayed Ahmed, Tarek 20 Avron, Arnon 20 Celani, Sergio Arturo 20 Ciabattoni, Agata 20 Dunn, Jon Michael 20 Fernández Duque, David 20 Galatos, Nikolaos 20 Kowalski, Tomasz 20 Németi, István 20 Palmigiano, Alessandra 19 Chajda, Ivan 19 Dziobiak, Wiesław 19 Gehrke, Mai 19 Petrukhin, Yaroslav Igorevich 19 Priestley, Hilary A. 19 Raftery, James G. 19 Smets, Sonja J. L. 18 Brady, Ross Thomas 18 Ciungu, Lavinia Corina 18 Font, Josep Maria 18 Hodkinson, Ian Martin 18 Kern-Isberner, Gabriele 18 Ma, Minghui 18 Mundici, Daniele 18 Odintsov, Sergei P. 18 Voutsadakis, George 17 Baltag, Alexandru 17 Hájek, Petr 17 Rivieccio, Umberto 17 Vakarelov, Dimiter 17 Venema, Yde 17 Visser, Albert 16 Arieli, Ofer 16 Cignoli, Roberto 16 Davey, Brian A. 16 Francez, Nissim 16 Iemhoff, Rosalie 16 Lenzi, Giacomo 16 Metcalfe, George 16 Orłowska, Ewa S. 16 Torrens Torrell, Antoni 16 Tsinakis, Constantine 16 Zakharyaschev, Michael Viktorovich 15 Aguzzoli, Stefano 15 Balbiani, Philippe 15 Bianchi, Matteo 15 Bimbó, Katalin 15 Diaconescu, Răzvan 15 Díaz Varela, José Patricio 15 Pacuit, Eric 15 Pigozzi, Don Leonard 15 Priest, Graham 15 Shramko, Yaroslav V. 15 van der Hoek, Wiebe 15 Wang, Yanjing 14 Cabrer, Leonardo Manuel 14 Cornejo, Juan Manuel 14 Lorini, Emiliano 14 Ono, Hiroakira 14 Wolter, Frank 14 Wooldridge, Michael J. 14 Zamansky, Anna 13 Buszkowski, Wojciech 13 Égré, Paul 13 Marra, Vincenzo 13 Naumov, Pavel G. 13 Omori, Hitoshi 13 Rachůnek, Jiří 13 Rasga, João 13 Restall, Greg 13 Ripley, David 13 Sernadas, Cristina S. 13 Studer, Thomas ...and 3,468 more Authors all top 5 Cited in 273 Journals 923 Studia Logica 303 Journal of Philosophical Logic 196 Annals of Pure and Applied Logic 194 The Journal of Symbolic Logic 190 Synthese 176 Fuzzy Sets and Systems 159 Journal of Applied Non-Classical Logics 146 The Review of Symbolic Logic 141 Algebra Universalis 134 Soft Computing 127 Theoretical Computer Science 122 Artificial Intelligence 119 Notre Dame Journal of Formal Logic 107 International Journal of Approximate Reasoning 107 Journal of Logic, Language and Information 101 Archive for Mathematical Logic 95 Journal of Applied Logic 86 Logica Universalis 67 Logic and Logical Philosophy 65 Mathematical Logic Quarterly (MLQ) 55 The Bulletin of Symbolic Logic 52 Annals of Mathematics and Artificial Intelligence 50 Information Sciences 48 Information and Computation 46 International Journal of Theoretical Physics 45 Journal of Automated Reasoning 41 History and Philosophy of Logic 40 Algebra and Logic 39 Erkenntnis 35 Order 31 Bulletin of the Section of Logic 29 MSCS. Mathematical Structures in Computer Science 28 Journal of Logical and Algebraic Methods in Programming 26 Journal of Pure and Applied Algebra 25 Mathematica Slovaca 23 International Journal of Algebra and Computation 23 Logical Methods in Computer Science 22 Siberian Mathematical Journal 21 Journal of Algebra 18 Mathematical Notes 18 Applied Categorical Structures 18 ACM Transactions on Computational Logic 16 Czechoslovak Mathematical Journal 16 Transactions of the American Mathematical Society 14 Communications in Algebra 14 Topoi 14 Theory and Practice of Logic Programming 13 The Journal of Logic and Algebraic Programming 13 Foundations of Physics 12 Journal of Computer and System Sciences 12 Semigroup Forum 11 International Journal of General Systems 10 Kybernetika 10 Indagationes Mathematicae. New Series 9 Discrete Mathematics 9 Mathematical Social Sciences 9 Games and Economic Behavior 8 Journal of Multiple-Valued Logic and Soft Computing 8 Sibirskie Èlektronnye Matematicheskie Izvestiya 7 Journal of Mathematical Analysis and Applications 7 Topology and its Applications 7 Journal of the Australian Mathematical Society 7 Asian-European Journal of Mathematics 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 Proceedings of the American Mathematical Society 5 Journal of Symbolic Computation 5 International Journal of Intelligent Systems 5 Theory of Computing Systems 5 Foundations of Science 5 Journal of Intelligent and 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 Tohoku Mathematical Journal. Second Series 4 New Generation Computing 4 International Journal of Computer Mathematics 4 Acta Mathematica Sinica. English Series 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 Iranian Journal of Fuzzy Systems 4 Symmetry 4 Games 4 Categories and General Algebraic Structures with Applications 3 Communications in Mathematical Physics 3 Periodica Mathematica Hungarica 3 Advances in Mathematics 3 Applied Mathematics and Computation ...and 173 more Journals all top 5 Cited in 45 Fields 4,512 Mathematical logic and foundations (03-XX) 1,230 Computer science (68-XX) 955 Order, lattices, ordered algebraic structures (06-XX) 344 General algebraic systems (08-XX) 184 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 150 Category theory; homological algebra (18-XX) 136 Quantum theory (81-XX) 110 History and biography (01-XX) 95 General topology (54-XX) 83 General and overarching topics; collections (00-XX) 77 Probability theory and stochastic processes (60-XX) 74 Group theory and generalizations (20-XX) 49 Combinatorics (05-XX) 27 Measure and integration (28-XX) 26 Geometry (51-XX) 26 Information and communication theory, circuits (94-XX) 25 Functional analysis (46-XX) 19 Convex and discrete geometry (52-XX) 17 Relativity and gravitational theory (83-XX) 16 Statistics (62-XX) 12 Number theory (11-XX) 12 Associative rings and algebras (16-XX) 11 Real functions (26-XX) 10 Commutative algebra (13-XX) 10 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) 8 Operations research, mathematical programming (90-XX) 8 Biology and other natural sciences (92-XX) 6 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 Numerical analysis (65-XX) 3 Algebraic geometry (14-XX) 3 Manifolds and cell complexes (57-XX) 2 Difference and functional equations (39-XX) 2 Fluid mechanics (76-XX) 2 Mathematics education (97-XX) 1 Partial differential equations (35-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year