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: https://link.springer.com/journal/11225/volumes-and-issues Comments: Journal; Indexed cover-to-cover Documents Indexed: 2,438 Publications (since 1934) References Indexed: 1,944 Publications with 37,581 References. all top 5 Latest Issues 113, No. 1 (2025) 112, No. 6 (2024) 112, No. 5 (2024) 112, No. 4 (2024) 112, No. 3 (2024) 112, No. 1-2 (2024) 111, No. 6 (2023) 111, No. 5 (2023) 111, No. 4 (2023) 111, No. 3 (2023) 111, No. 2 (2023) 111, No. 1 (2023) 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) ...and 177 more Volumes all top 5 Authors 30 Gabbay, Dov M. 23 Czelakowski, Janusz 21 Montagna, Franco 21 Wansing, Heinrich Theodor 19 van Benthem, Johan F. A. K. 18 Dziobiak, Wiesław 17 Jansana, Ramon 17 Słupecki, Jerzy 15 Orłowska, Ewa 14 Rasiowa, Helena 13 Cignoli, Roberto L. O. 13 Font, Josep Maria 13 Hansson, Sven Ove 13 Kotas, Jerzy 13 Paoli, Francesco 13 Tokarz, Marek 12 Bezhanishvili, Guram 12 Goldblatt, Robert Ian 12 Ma, Minghui 12 Ono, Hiroakira 12 Sylvan, Richard 11 Bezhanishvili, Nick 11 Kamide, Norihiro 11 Mundici, Daniele 11 Odintsov, Sergei P. 11 Suszko, Roman 10 Avron, Arnon 10 Blok, Willem Johannes 10 Hájek, Petr 10 Pieczkowski, August 10 Pogorzelski, Witold A. 10 Shramko, Yaroslav V. 10 Torrens Torrell, Antoni 9 Buszkowski, Wojciech 9 Fang, Jie 9 Giuntini, Roberto 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 Fitting, Melvin Chris 8 Jankowski, Andrzej Wojciech 8 Jenei, Sándor 8 Kubinski, Tadeusz 8 Ledda, Antonio 8 Maksimova, Larisa L’vovna 8 Omori, Hitoshi 8 Priest, Graham 8 Prucnal, Tadeusz 8 Suzuki, Nobu-Yuki 8 Wasilewska, Anita 8 Wojcicki, Ryszard 7 Bloom, Stephen L. 7 Cornejo, Juan Manuel 7 Da Costa, Newton Carneiro Affonso 7 Dalla Chiara, Maria Luisa 7 Dunn, Jon Michael 7 Makinson, David Clement 7 Meyer, Robert Kenneth 7 Pelaitay, Gustavo 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 Castiglioni, José Luis 6 Celani, Sergio Arturo 6 Coniglio, Marcelo Esteban 6 Cresswell, Maxwell John 6 de Jongh, Dick Herman Jacobus 6 Díaz Varela, José Patricio 6 Dishkant, Herman 6 Francez, Nissim 6 Galatos, Nikolaos 6 Grzegorczyk, Andrzej 6 Gumanski, Leon 6 Jaskowski, Stanislaw 6 Kanovei, Vladimir G. 6 Komori, Yuichi 6 Kulicki, Piotr 6 Lewin, Renato A. 6 Pietruszczak, Andrzej 6 Priestley, Hilary A. 6 Raftery, James G. 6 Rivieccio, Umberto 6 Seki, Takahiro 6 Surma, Stanislaw J. 6 van Ditmarsch, Hans Pieter 6 Weaver, George E. 6 Zygmunt, Jan 5 Ajdukiewicz, Kazimierz 5 Blyth, Thomas Scott 5 Chlebowski, Szymon 5 Corsi, Giovanna ...and 1,632 more Authors all top 5 Fields 2,218 Mathematical logic and foundations (03-XX) 307 Order, lattices, ordered algebraic structures (06-XX) 233 Computer science (68-XX) 129 General algebraic systems (08-XX) 102 General and overarching topics; collections (00-XX) 72 History and biography (01-XX) 46 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 44 Category theory; homological algebra (18-XX) 31 Quantum theory (81-XX) 28 General topology (54-XX) 20 Probability theory and stochastic processes (60-XX) 17 Group theory and generalizations (20-XX) 13 Combinatorics (05-XX) 9 Geometry (51-XX) 9 Information and communication theory, circuits (94-XX) 6 Statistics (62-XX) 6 Relativity and gravitational theory (83-XX) 5 Number theory (11-XX) 4 Measure and integration (28-XX) 4 Functional analysis (46-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,772 Publications have been cited 13,214 times in 7,142 Documents Cited by ▼ Year ▼ Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016 Mundici, Daniele 164 1995 A survey of abstract algebraic logic. Zbl 1057.03058 Font, J. M.; Jansana, R.; Pigozzi, D. 122 2003 A proof of standard completeness for Esteva and Godo’s logic MTL. Zbl 0997.03027 Jenei, Sándor; Montagna, Franco 107 2002 Dependence and independence. Zbl 1272.03125 Grädel, Erich; Väänänen, Jouko 94 2013 States on pseudo MV-algebras. Zbl 0999.06011 Dvurečenskij, Anatolij 82 2001 Notes on \(\eta\)-lattices and constructive logic with strong negation. Zbl 0385.03055 Vakarelov, D. 74 1977 Positive modal logic. Zbl 0831.03007 Dunn, J. Michael 73 1995 Protoalgebraic logics. Zbl 0622.03020 Blok, W. J.; Pigozzi, Don 73 1986 Partiality and its dual. Zbl 0988.03012 Dunn, J. Michael 72 2000 Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Zbl 1034.03013 van der Hoek, Wiebe; Wooldridge, Michael 67 2003 Basic hoops: an algebraic study of continuous t-norms. Zbl 1127.03049 Aglianò, P.; Ferreirim, I. M. A.; Montagna, F. 66 2007 Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups. Zbl 0812.06010 Di Nola, Antonio; Lettieri, Ada 66 1994 Belief contraction without recovery. Zbl 0748.03008 Hansson, Sven Ove 62 1991 Intuitionistic logic with strong negation. Zbl 0366.02015 Gurevich, Yuri 58 1977 A logical account of formal argumentation. Zbl 1188.03011 Caminada, Martin W. A.; Gabbay, Dov M. 57 2009 On the logic of theory change: safe contraction. Zbl 0605.03002 Alchourrón, Carlos E.; Makinson, David 54 1985 Propositional calculus for contradictory deductive systems. Zbl 0244.02004 Jaskowski, Stanislaw 54 1969 Matrix approach in methodology of sentential calculi. Zbl 0336.02012 Wojcicki, Ryszard 53 1973 Minimally inconsistent LP. Zbl 0748.03017 Priest, Graham 51 1991 Dynamic logics of evidence-based beliefs. Zbl 1241.03013 van Benthem, J.; Pacuit, E. 51 2011 On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Zbl 1011.03015 Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco 50 2002 A propositional logic with explicit fixed points. Zbl 0469.03012 Visser, Albert 49 1981 40 years of FDE: an introductory overview. Zbl 1417.03027 Omori, Hitoshi; Wansing, Heinrich 49 2017 Distributive lattices with a dual homomorphic operation. Zbl 0425.06008 Urquhart, Alasdair 48 1979 Equivalential logics. I. Zbl 0476.03032 Czelakowski, Janusz 48 1981 On an intuitionistic modal logic. Zbl 0963.03033 Bierman, G. M.; de Paiva, V. C. V. 47 2000 Models for normal intuitionistic modal logics. Zbl 0634.03014 Božić, Milan; Došen, Kosta 46 1984 Algebraization of quantifier logics, an introductory overview. Zbl 0772.03033 Németi, István 43 1991 Cut-free sequent calculi for some tense logics. Zbl 0813.03012 Kashima, Ryo 41 1994 Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. Zbl 1105.03021 Galatos, Nikolaos; Ono, Hiroakira 40 2006 Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case. Zbl 0867.68100 Benferhat, Salem; Dubois, Didier; Prade, Henri 40 1997 Computably enumerable equivalence relations. Zbl 0981.03046 Gao, Su; Gerdes, Peter 40 2001 On the rules of suppositions in formal logic. Zbl 0011.09702 Jaskowski, Stanislaw 40 1934 Generalized Kripke frames. Zbl 1115.03013 Gehrke, Mai 39 2006 A compact representation of proofs. Zbl 0644.03033 Miller, Dale A. 38 1987 The Fregean axiom and Polish mathematical logic in the \(1920^s\). Zbl 0404.03004 Suszko, Roman 37 1978 An overview of tableau algorithms for description logics. Zbl 0991.03012 Baader, Franz; Sattler, Ulrike 37 2001 The origin of relation algebras in the development and axiomatization of the calculus of relations. Zbl 0754.03042 Maddux, Roger D. 37 1991 A formalization of the propositional calculus of H-B logic. Zbl 0289.02015 Rauszer, Cecylia 37 1974 Contrary-to-duty obligations. Zbl 0873.03025 Prakken, Henry; Sergot, Marek 36 1996 On modal logic with an intuitionistic base. Zbl 0364.02015 Fischer Servi, Gisele 36 1977 Equivalence of consequence operations. Zbl 1106.03059 Blok, W. J.; Jónsson, Bjarni 35 2006 The Russian cards problem. Zbl 1033.03008 van Ditmarsch, Hans 35 2003 Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\). Zbl 1115.06006 Cignoli, Roberto; Torrens Torrell, Antoni 34 2006 Varieties of monadic Heyting algebras. I. Zbl 0964.06008 Bezhanishvili, Guram 34 1998 On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis. Zbl 1417.03191 Bonzio, Stefano; Gil-Férez, José; Paoli, Francesco; Peruzzi, Luisa 34 2017 Undefinability of propositional quantifiers in the modal system S4. Zbl 0831.03008 Ghilardi, Silvio; Zawadowski, Marek 33 1995 On maximal intermediate logics with the disjunction property. Zbl 0635.03019 Maksimova, Larisa L. 33 1986 Five faces of minimality. Zbl 0790.03026 Makinson, David 33 1993 Standard Gödel modal logics. Zbl 1266.03030 Caicedo, Xavier; Rodriguez, Ricardo O. 33 2010 Classical negation and expansions of Belnap-Dunn logic. Zbl 1373.03029 De, Michael; Omori, Hitoshi 33 2015 Negation in the context of gaggle theory. Zbl 1097.03015 Dunn, J. Michael; Zhou, Chunlai 32 2005 Pure extensions, proof rules, and hybrid axiomatics. Zbl 1115.03009 Blackburn, P.; ten Cate, B. 32 2006 Time and modality in the logic of agency. Zbl 0788.03002 Chellas, Brian F. 32 1992 Sequent-systems and groupoid models. I. Zbl 0671.03018 Došen, Kosta 32 1988 Applications of Kripke models to Heyting-Brouwer logic. Zbl 0361.02033 Rauszer, Cecylia 31 1977 On the representation of \(\mathbf{N4}\)-lattices. Zbl 1047.03050 Odintsov, Sergei P. 31 2004 Kripke semantics for knowledge representation logics. Zbl 0726.03023 Orłowska, Ewa 31 1990 Nelson algebras through Heyting ones. I. Zbl 0714.06004 Sendlewski, Andrzej 31 1990 Adding involution to residuated structures. Zbl 1062.03059 Galatos, Nikolaos; Raftery, James G. 30 2004 Some results on modal axiomatization and definability for topological spaces. Zbl 1096.03016 Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David 30 2005 Graded modalities. I. Zbl 0577.03004 Fattorosi-Barnaba, M.; De Caro, F. 30 1985 On the canonicity of Sahlqvist identities. Zbl 0810.03050 Jónsson, Bjarni 30 1994 A model of tolerance. Zbl 1162.03012 Zardini, Elia 30 2008 The undecidability of iterated modal relativization. Zbl 1088.03016 Miller, Joseph S.; Moss, Lawrence S. 30 2005 Hyperintensional logic. Zbl 0307.02017 Cresswell, M. J. 30 1975 Game logic – an overview. Zbl 1040.03013 Pauly, Marc; Parikh, Rohit 29 2003 Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.). Zbl 0355.02021 Magari, Roberto 29 1976 Models for stronger normal intuitionistic modal logics. Zbl 0634.03015 Došen, Kosta 29 1985 Semantics of the minimal logic of quantum mechanics. Zbl 0268.02018 Dishkant, H. 29 1972 Dual intuitionistic logic and a variety of negations: the logic of scientific research. Zbl 1085.03022 Shramko, Yaroslav 28 2005 The quantitative/qualitative watershed for rules of uncertain inference. Zbl 1130.03022 Hawthorne, James; Makinson, David 28 2007 An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.). Zbl 0357.02028 Sambin, Giovanni 28 1976 Duality for algebras of relevant logics. Zbl 0844.03032 Urquhart, Alasdair 28 1996 Selective revision. Zbl 0942.03024 Fermé, Eduardo L.; Hansson, Sven Ove 28 1999 Modal frame correspondences and fixed-points. Zbl 1106.03017 van Benthem, Johan 27 2006 An impossibility theorem on beliefs in games. Zbl 1114.03013 Brandenburger, Adam; Keisler, H. Jerome 27 2006 Dynamic algebras: Examples, constructions, applications. Zbl 0752.03033 Pratt, Vaughan 27 1991 2-element matrices. Zbl 0493.03006 Rautenberg, Wolfgang 27 1981 Ideal paraconsistent logics. Zbl 1248.03046 Arieli, O.; Avron, A.; Zamansky, A. 27 2011 Classical relevant logics. II. Zbl 0316.02030 Meyer, Robert K.; Routley, Richard 27 1974 MV-algebras and quantum computation. Zbl 1102.06010 Ledda, Antonio; Konig, Martinvaldo; Paoli, Francesco; Giuntini, Roberto 26 2006 A Kripke-style semantics for R-mingle using a binary accessibility relation. Zbl 0328.02010 Dunn, J. Michael 26 1976 Algebraic logic for classical conjunction and disjunction. Zbl 0753.03027 Font, Josep M.; Verdú, Ventura 26 1991 Extending Łukasiewicz logics with a modality: algebraic approach to relational semantics. Zbl 1272.03100 Hansoul, Georges; Teheux, Bruno 26 2013 Equational characterization of the subvarieties of BL generated by t-norm algebras. Zbl 1045.03048 Esteva, Francesc; Godo, Lluís; Montagna, Franco 25 2004 The class of extensions of Nelson’s paraconsistent logic. Zbl 1097.03019 Odintsov, Sergei P. 25 2005 Constructive logic with strong negation is a substructural logic. I. Zbl 1145.03013 Spinks, Matthew; Veroff, Robert 25 2008 A finite model theorem for the propositional \(\mu\)-calculus. Zbl 0667.03019 Kozen, Dexter 25 1989 Algebraic aspects of deduction theorems. Zbl 0612.03016 Czelakowski, Janusz 25 1985 Necessity and contingency. Zbl 0666.03015 Cresswell, M. J. 25 1988 Undecidability without arithmetization. Zbl 1080.03004 Grzegorczyk, Andrzej 25 2005 Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall\). Zbl 1013.03021 Montagna, Franco; Ono, Hiroakira 25 2002 Getting started: Beginnings in the logic of action. Zbl 0786.03003 Segerberg, Krister 25 1992 Modal companions of intermediate propositional logics. Zbl 0766.03015 Chagrov, Aleksander; Zakharyashchev, Mikhail 25 1992 Pretabular varieties of modal algebras. Zbl 0457.03018 Blok, W. J. 25 1980 Diodorean modality in Minkowski spacetime. Zbl 0457.03019 Goldblatt, Robert 25 1980 Classical relevant logics. I. Zbl 0316.02029 Meyer, Robert K.; Routley, Richard 25 1973 Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Zbl 1189.68127 Wu, Yining; Caminada, Martin; Gabbay, Dov M. 25 2009 Generalizing functional completeness in Belnap-Dunn logic. Zbl 1376.03024 Omori, Hitoshi; Sano, Katsuhiko 25 2015 An axiomatic system for concessive conditionals. Zbl 07830172 Raidl, Eric; Iacona, Andrea; Crupi, Vincenzo 2 2024 Intuitionistic logic is a connexive logic. Zbl 07830165 Fazio, Davide; Ledda, Antonio; Paoli, Francesco 2 2024 Connexive logic, probabilistic default reasoning, and compound conditionals. Zbl 07830167 Pfeifer, Niki; Sanfilippo, Giuseppe 1 2024 Proof systems for super-strict implication. Zbl 07830169 Gherardi, Guido; Orlandelli, Eugenio; Raidl, Eric 1 2024 Connexive logic, connexivity, and connexivism: remarks on terminology. Zbl 07830162 Wansing, Heinrich; Omori, Hitoshi 1 2024 Intuitionistic modal algebras. Zbl 07871660 Celani, Sergio A.; Rivieccio, Umberto 1 2024 Nelson conuclei and nuclei: the twist construction beyond involutivity. Zbl 07942288 Rivieccio, Umberto; Busaniche, Manuela 1 2024 The categorical equivalence between domains and interpolative generalized closure spaces. Zbl 07677356 Wang, Longchun; Li, Qingguo 2 2023 Systems for non-reflexive consequence. Zbl 07767287 Nicolai, Carlo; Rossi, Lorenzo 1 2023 Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic. Zbl 07767288 Kamide, Norihiro 1 2023 Some observations on the FGH theorem. Zbl 07755333 Kurahashi, Taishi 1 2023 A simple logic of the hide and seek game. Zbl 07755335 Li, Dazhu; Ghosh, Sujata; Liu, Fenrong; Tu, Yaxin 1 2023 Axiomatizing a minimal discussive logic. Zbl 1546.03009 Grigoriev, Oleg; Nasieniewski, Marek; Mruczek-Nasieniewska, Krystyna; Petrukhin, Yaroslav; Shangin, Vasily 1 2023 A first-order expansion of Artemov and Protopopescu’s intuitionistic epistemic logic. Zbl 07725404 Su, Youan; Sano, Katsuhiko 1 2023 Sub-Hilbert lattices. Zbl 07703390 Castiglioni, José Luis; Fernández, Víctor; Mallea, Héctor Federico; San Martín, Hernán Javier 1 2023 Everyone knows that everyone knows: gossip protocols for super experts. Zbl 07703391 van Ditmarsch, Hans; Gattinger, Malvin; Ramezanian, Rahim 1 2023 Intuitionistic propositional logic with Galois negations. Zbl 07678788 Ma, Minghui; Li, Guiying 1 2023 Infinitary action logic with multiplexing. Zbl 07677358 Kuznetsov, Stepan L.; Speranski, Stanislav O. 1 2023 The quantified argument calculus with two- and three-valued truth-valuational semantics. Zbl 07677359 Yin, Hongkai; Ben-Yami, Hanoch 1 2023 Book review of: N. Kürbis, Proof and falsity. A logical investigation. Zbl 1522.00097 Pezlar, Ivo 1 2023 Three ways of being non-material. Zbl 07490467 Crupi, Vincenzo; Iacona, Andrea 7 2022 Two decision procedures for da Costa’s \(C_n\) Logics based on restricted Nmatrix semantics. Zbl 07535453 Coniglio, Marcelo E.; Toledo, Guilherme V. 6 2022 Poset products as relational models. Zbl 07490468 Fussner, Wesley 6 2022 Sequent-calculi for metainferential logics. Zbl 07496495 Da Ré, Bruno; Pailos, Federico 5 2022 Twist structures and Nelson conuclei. Zbl 07562022 Busaniche, Manuela; Galatos, Nikolaos; Marcos, Miguel Andrés 4 2022 Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics. Zbl 07490466 Fan, Jie 3 2022 A binary quantifier for definite descriptions for cut free free logics. Zbl 07490472 Kürbis, Nils 3 2022 A characterization of probability-based dichotomous belief revision. Zbl 1507.03072 Hansson, Sven Ove 3 2022 The naturality of natural deduction. II: On atomic polymorphism and generalized propositional connectives. Zbl 07496502 Pistone, Paolo; Tranchini, Luca; Petrolo, Mattia 2 2022 ZF between classicality and non-classicality. Zbl 07490471 Tarafder, Sourav; Venturi, Giorgio 2 2022 Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras. Zbl 1508.03063 Figallo-Orellano, Aldo; Peréz-Gaspar, Miguel; Ramírez-Contreras, Juan Manuel 2 2022 On the proof theory of infinitary modal logic. Zbl 07625358 Tesi, Matteo 2 2022 An analysis of poly-connexivity. Zbl 07562021 Estrada-González, Luis 2 2022 Sequent calculi for the propositional logic of HYPE. Zbl 07535454 Fischer, Martin 1 2022 Denotational semantics for languages of epistemic grounding based on Prawitz’s theory of grounds. Zbl 07496496 d’Aragona, Antonio Piccolomini 1 2022 On inclusions between quantified provability logics. Zbl 07490470 Kurahashi, Taishi 1 2022 A categorical equivalence for tense Nelson algebras. Zbl 07490473 Figallo, Aldo V.; Sermento, Jonathan; Pelaitay, Gustavo 1 2022 On Blass translation for Leśniewski’s propositional ontology and modal logics. Zbl 1507.03079 Inoué, Takao 1 2022 Frobenius quantales, Serre quantales and the Riemann-Roch theorem. Zbl 1485.14057 Rump, Wolfgang 1 2022 From semantic games to provability: the case of Gödel logic. Zbl 1505.03064 Pavlova, Alexandra; Freiman, Robert; Lang, Timo 1 2022 An abductive question-answer system for the minimal logic of formal inconsistency \(\mathsf{mbC}\). Zbl 07496500 Chlebowski, Szymon; Gajda, Andrzej; Urbański, Mariusz 1 2022 On groupoids of relations with one conjunctive operation of rank 2. Zbl 07595954 Bredikhin, Dmitry 1 2022 On independent axiomatizability of quasi-normal modal logics. Zbl 07595956 Gorbunov, Igor; Shkatov, Dmitry 1 2022 Contact join-semilattices. Zbl 07595957 Ivanova, Tatyana 1 2022 A proof-theoretic approach to negative translations in intuitionistic tense logics. Zbl 07595959 Lin, Zhe; Ma, Minghui 1 2022 Natural deduction systems for intuitionistic logic with identity. Zbl 07625359 Chlebowski, Szymon; Gawek, Marta; Tomczyk, Agata 1 2022 On relative principal congruences in term quasivarieties. Zbl 07625361 San Martín, Hernán Javier 1 2022 The G4i analogue of a G3i sequent calculus. Zbl 07625362 Iemhoff, Rosalie 1 2022 Group representation for even and odd involutive commutative residuated chains. Zbl 1509.06008 Jenei, Sándor 1 2022 Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions. Zbl 1498.03051 Rodriguez, Ricardo Oscar; Tuyt, Olim Frits; Esteva, Francesc; Godo, Lluís 1 2022 Containment logics: algebraic completeness and axiomatization. Zbl 1487.03080 Bonzio, Stefano; Pra Baldi, Michele 9 2021 Free logics are cut-free. Zbl 1547.03218 Indrzejczak, Andrzej 8 2021 Positive announcements. Zbl 1547.03107 van Ditmarsch, Hans; French, Tim; Hales, James 7 2021 Axiomatization of crisp Gödel modal logic. Zbl 1535.03124 Rodriguez, Ricardo Oscar; Vidal, Amanda 6 2021 The entropy-limit (conjecture) for \(\Sigma_2\)-premisses. Zbl 1535.03146 Landes, Jürgen 5 2021 Non-classical models of \(\mathsf{ZF}\). Zbl 1547.03330 Jockwich Martinez, S.; Venturi, G. 5 2021 Cut-free sequent calculus and natural deduction for the tetravalent modal logic. Zbl 1539.03079 Figallo, Martín 4 2021 Semi De Morgan logic properly displayed. Zbl 1535.03162 Greco, Giuseppe; Liang, Fei; Moshier, M. Andrew; Palmigiano, Alessandra 4 2021 A generalized proof-theoretic approach to logical argumentation based on hypersequents. Zbl 1535.03263 Borg, AnneMarie; Straßer, Christian; Arieli, Ofer 4 2021 A simple logical matrix and sequent calculus for Parry’s logic of analytic implication. Zbl 1547.03185 Szmuc, Damian E. 3 2021 Inquisitive Heyting algebras. Zbl 1489.03027 Punčochář, Vít 3 2021 Transitive logics of finite width with respect to proper-successor-equivalence. Zbl 1539.03086 Xu, Ming 3 2021 Proof-theoretic analysis of the logics of agency: the deliberative STIT. Zbl 1547.03146 Negri, S.; Pavlović, E. 3 2021 The poset of all logics. III: Finitely presentable logics. Zbl 1547.03380 Jansana, Ramon; Moraschini, Tommaso 3 2021 Measuring inconsistency in some logics with modal operators. Zbl 1547.03203 Grant, John 3 2021 Labelled sequent calculi for Lewis’ non-normal propositional modal logics. Zbl 1547.03159 Tesi, Matteo 2 2021 Belnap-Dunn modal logic with value operators. Zbl 1547.03143 Lin, Yuanlei; Ma, Minghui 2 2021 Positive monotone modal logic. Zbl 1486.03041 de Groot, Jim 2 2021 Correction to: “The Hahn embedding theorem for a class of residuated semigroups”. Zbl 1484.06061 Jenei, Sándor 2 2021 A few notes on quantum \(B\)-algebras. Zbl 1482.06002 Han, Shengwei; Xu, Xiaoting 2 2021 Curry-Howard-Lambek correspondence for intuitionistic belief. Zbl 1539.03076 Brogi, Cosimo Perini 2 2021 Lattices of finitely alternative normal tense logics. Zbl 1539.03073 Ma, Minghui; Chen, Qian 2 2021 Residuated structures and orthomodular lattices. Zbl 1487.03074 Fazio, D.; Ledda, A.; Paoli, F. 2 2021 Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi. Zbl 1539.03092 Kamide, Norihiro 2 2021 New foundations for branching space-times. Zbl 1535.03183 Belnap, N.; Müller, T.; Placek, T. 2 2021 An algebraic study of tense operators on Nelson algebras. Zbl 1535.03097 Figallo, A. V.; Pelaitay, G.; Sarmiento, J. 2 2021 Kripke semantics for intuitionistic Łukasiewicz logic. Zbl 1487.03027 Lewis-Smith, A.; Oliva, P.; Robinson, E. 2 2021 A cut-elimination proof in positive relevant logic with necessity. Zbl 1547.03171 Ilić, Mirjana 2 2021 A characteristic frame for positive intuitionistic and relevance logic. Zbl 1547.03186 Weiss, Yale 1 2021 Relational representation theorems for extended contact algebras. Zbl 1547.06070 Balbiani, Philippe; Ivanova, Tatyana 1 2021 Confluence proofs of lambda-mu-calculi by Z theorem. Zbl 1539.03045 Honda, Yuki; Nakazawa, Koji; Fujita, Ken-etsu 1 2021 An algebraic study of S5-modal Gödel logic. Zbl 1486.03124 Castaño, Diego; Cimadamore, Cecilia; Díaz Varela, José Patricio; Rueda, Laura 1 2021 Logic of convex order. Zbl 1539.03107 Shi, Chenwei; Sun, Yang 1 2021 Endogenizing epistemic actions. Zbl 1539.03048 Bjorndahl, Adam; Nalls, Will 1 2021 Neighbourhood semantics for FDE-based modal logics. Zbl 1539.03078 Drobyshevich, S.; Skurt, D. 1 2021 Correspondence, canonicity, and model theory for monotonic modal logics. Zbl 1535.03132 Yamamoto, Kentarô 1 2021 Pooling modalities and pointwise intersection: axiomatization and decidability. Zbl 1535.03129 Van De Putte, Frederik; Klein, Dominik 1 2021 Recapturing dynamic logic of relation changers via bounded morphisms. Zbl 1535.03080 Hatano, Ryo; Sano, Katsuhiko 1 2021 A conservative negation extension of positive semilattice logic without the finite model property. Zbl 1535.03138 Weiss, Yale 1 2021 Proof theory of paraconsistent weak Kleene logic. Zbl 1476.03031 Paoli, Francesco; Pra Baldi, Michele 12 2020 \(L\)-effect algebras. Zbl 1459.08003 Rump, Wolfgang; Zhang, Xia 7 2020 Countably many weakenings of Belnap-Dunn logic. Zbl 1484.03041 Ma, Minghui; Lin, Yuanlei 6 2020 Epimorphisms, definability and cardinalities. Zbl 1442.03036 Moraschini, T.; Raftery, J. G.; Wannenburg, J. J. 6 2020 Complexity of the universal theory of modal algebras. Zbl 1485.03051 Shkatov, Dmitry; Van Alten, Clint J. 4 2020 Understanding Hohfeld and formalizing legal rights: the Hohfeldian conceptions and their conditional consequences. Zbl 1531.03044 Markovich, Réka 4 2020 The Hahn embedding theorem for a class of residuated semigroups. Zbl 1484.06060 Jenei, Sándor 4 2020 Normality, non-contamination and logical depth in classical natural deduction. Zbl 1455.03013 D’Agostino, Marcello; Gabbay, Dov; Modgil, Sanjay 3 2020 A refined interpretation of intuitionistic logic by means of atomic polymorphism. Zbl 1479.03006 Espírito Santo, José; Ferreira, Gilda 3 2020 Polarity semantics for negation as a modal operator. Zbl 1486.03049 Lin, Yuanlei; Ma, Minghui 3 2020 Notes on Leitgeb’s Ruitenburg. Zbl 1484.03011 Rivello, Edoardo 3 2020 ...and 1394 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 4,381 Authors 73 Dvurečenskij, Anatolij 54 Wansing, Heinrich Theodor 50 Bezhanishvili, Guram 49 Gabbay, Dov M. 45 Montagna, Franco 44 Bezhanishvili, Nick 44 Di Nola, Antonio 43 Kamide, Norihiro 42 van Benthem, Johan F. A. K. 39 Paoli, Francesco 38 Godo, Lluís 38 van Ditmarsch, Hans Pieter 37 Hansson, Sven Ove 34 Flaminio, Tommaso 32 Fernández Duque, David 32 Jansana, Ramon 31 Moraschini, Tommaso 30 Esteva, Francesc 29 Ma, Minghui 28 Celani, Sergio Arturo 28 Ledda, Antonio 28 Rivieccio, Umberto 27 Galatos, Nikolaos 27 Maksimova, Larisa L’vovna 27 Noguera, Carles 27 Petrukhin, Yaroslav Igorevich 26 Czelakowski, Janusz 26 Humberstone, Lloyd 26 Palmigiano, Alessandra 26 Robles, Gemma 25 Cintula, Petr 25 Sayed Ahmed, Tarek 25 Wang, Yanjing 24 Smets, Sonja J. L. 24 Venema, Yde 23 Andréka, Hajnal 23 Avron, Arnon 23 Balbiani, Philippe 23 Baltag, Alexandru 23 Borzooei, Rajab Ali 23 Ciabattoni, Agata 23 Ciungu, Lavinia Corina 23 Goldblatt, Robert Ian 23 Metcalfe, George 22 Chajda, Ivan 22 Iemhoff, Rosalie 22 Kowalski, Tomasz 22 Mundici, Daniele 22 Németi, István 22 Omori, Hitoshi 21 Bazhenov, Nikolaĭ Alekseevich 21 Dunn, Jon Michael 21 Dziobiak, Wiesław 21 Gehrke, Mai 21 Méndez, José M. 21 Visser, Albert 20 Carnielli, Walter Alexandre 20 Giuntini, Roberto 20 Kern-Isberner, Gabriele 20 Odintsov, Sergei P. 19 Díaz Varela, José Patricio 19 Font, Josep Maria 19 Hodkinson, Ian Martin 19 Kontinen, Juha 19 Priestley, Hilary A. 18 Brady, Ross Thomas 18 Cornejo, Juan Manuel 18 Diaconescu, Răzvan 18 Indrzejczak, Andrzej 18 Lenzi, Giacomo 18 Naumov, Pavel G. 18 Priest, Graham 18 Studer, Thomas 18 Vakarelov, Dimiter 18 van der Hoek, Wiebe 18 Voutsadakis, George 17 Aguzzoli, Stefano 17 Bianchi, Matteo 17 Caleiro, Carlos 17 Coniglio, Marcelo Esteban 17 Égré, Paul 17 Francez, Nissim 17 Hájek, Petr 17 Lorini, Emiliano 17 Martins, Manuel António 17 Orłowska, Ewa 17 Pacuit, Eric 17 Rump, Wolfgang 17 Sano, Katsuhiko 17 Shramko, Yaroslav V. 17 Tsinakis, Constantine 17 Wolter, Frank 17 Wybraniec-Skardowska, Urszula B. 17 Zakharyaschev, Michael Viktorovich 16 Ågotnes, Thomas 16 Arieli, Ofer 16 Bimbó, Katalin 16 Cignoli, Roberto L. O. 16 Davey, Brian A. 16 Ognjanović, Zoran ...and 4,281 more Authors all top 5 Cited in 314 Journals 1,010 Studia Logica 380 Journal of Philosophical Logic 267 Synthese 244 Annals of Pure and Applied Logic 215 The Journal of Symbolic Logic 209 The Review of Symbolic Logic 200 Fuzzy Sets and Systems 186 Journal of Applied Non-Classical Logics 159 Algebra Universalis 156 Soft Computing 146 Artificial Intelligence 138 International Journal of Approximate Reasoning 136 Theoretical Computer Science 135 Journal of Logic, Language and Information 133 Notre Dame Journal of Formal Logic 121 Archive for Mathematical Logic 111 Logica Universalis 97 Journal of Applied Logic 94 Mathematical Logic Quarterly (MLQ) 86 Logic and Logical Philosophy 72 Bulletin of the Section of Logic 64 The Bulletin of Symbolic Logic 58 Information and Computation 56 Journal of Automated Reasoning 55 Annals of Mathematics and Artificial Intelligence 54 Information Sciences 52 History and Philosophy of Logic 49 International Journal of Theoretical Physics 48 Erkenntnis 44 Algebra and Logic 43 Mathematical Structures in Computer Science 42 Logical Methods in Computer Science 39 Order 37 Mathematica Slovaca 34 ACM Transactions on Computational Logic 31 Journal of Logical and Algebraic Methods in Programming 30 Journal of Pure and Applied Algebra 29 Logicheskie Issledovaniya 27 International Journal of Algebra and Computation 25 Journal of Algebra 24 Theory and Practice of Logic Programming 23 Siberian Mathematical Journal 22 Applied Categorical Structures 19 Mathematical Notes 19 Transactions of the American Mathematical Society 16 Czechoslovak Mathematical Journal 16 Topoi 16 Foundations of Physics 15 Communications in Algebra 15 Journal of Multiple-Valued Logic and Soft Computing 14 Journal of Computer and System Sciences 14 Semigroup Forum 13 The Journal of Logic and Algebraic Programming 13 Sibirskie Èlektronnye Matematicheskie Izvestiya 11 International Journal of General Systems 11 Games and Economic Behavior 10 Kybernetika 10 Indagationes Mathematicae. New Series 9 Discrete Mathematics 9 Journal of Mathematical Analysis and Applications 9 Topology and its Applications 9 Mathematical Social Sciences 9 Journal of Algebra and its Applications 9 Nôus 9 Open Mathematics 8 Foundations of Science 8 Iranian Journal of Fuzzy Systems 8 Asian-European Journal of Mathematics 7 Doklady Mathematics 7 Journal of the Australian Mathematical Society 6 Information Processing Letters 6 Advances in Mathematics 6 Glasgow Mathematical Journal 6 Rendiconti del Seminario Matematico della Università di Padova 6 Theory of Computing Systems 6 Acta Mathematica Sinica. English Series 6 Lobachevskii Journal of Mathematics 6 Frontiers of Computer Science 6 Categories and General Algebraic Structures with Applications 5 Bulletin of the Australian Mathematical Society 5 Israel Journal of Mathematics 5 Journal of Geometry 5 Proceedings of the American Mathematical Society 5 Theory and Decision 5 Journal of Symbolic Computation 5 International Journal of Intelligent Systems 5 Forum Mathematicum 5 The Journal of Artificial Intelligence Research (JAIR) 5 Theory and Applications of Categories 5 Fundamenta Informaticae 5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 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 Symmetry 4 Computers & Mathematics with Applications 4 Lithuanian Mathematical Journal 4 Moscow University Mathematics Bulletin 4 Periodica Mathematica Hungarica 4 Demonstratio Mathematica 4 Rendiconti del Circolo Matemàtico di Palermo. Serie II ...and 214 more Journals all top 5 Cited in 48 Fields 5,805 Mathematical logic and foundations (03-XX) 1,590 Computer science (68-XX) 1,179 Order, lattices, ordered algebraic structures (06-XX) 399 General algebraic systems (08-XX) 231 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 201 Category theory; homological algebra (18-XX) 163 Quantum theory (81-XX) 152 History and biography (01-XX) 125 General topology (54-XX) 109 General and overarching topics; collections (00-XX) 104 Probability theory and stochastic processes (60-XX) 99 Group theory and generalizations (20-XX) 72 Combinatorics (05-XX) 35 Information and communication theory, circuits (94-XX) 32 Measure and integration (28-XX) 32 Functional analysis (46-XX) 32 Geometry (51-XX) 25 Statistics (62-XX) 22 Relativity and gravitational theory (83-XX) 21 Convex and discrete geometry (52-XX) 17 Associative rings and algebras (16-XX) 15 Commutative algebra (13-XX) 15 Topological groups, Lie groups (22-XX) 14 Number theory (11-XX) 12 Real functions (26-XX) 12 Operator theory (47-XX) 12 Systems theory; control (93-XX) 11 Linear and multilinear algebra; matrix theory (15-XX) 10 Operations research, mathematical programming (90-XX) 10 Biology and other natural sciences (92-XX) 9 Dynamical systems and ergodic theory (37-XX) 7 Field theory and polynomials (12-XX) 7 Differential geometry (53-XX) 6 Algebraic topology (55-XX) 5 Manifolds and cell complexes (57-XX) 5 Mechanics of particles and systems (70-XX) 3 Algebraic geometry (14-XX) 3 Numerical analysis (65-XX) 3 Mathematics education (97-XX) 2 Fluid mechanics (76-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 \(K\)-theory (19-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Abstract harmonic analysis (43-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year