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,260 Publications (since 1934) References Indexed: 1,779 Publications with 32,436 References. all top 5 Latest Issues 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) 84, No. 3 (2006) 84, No. 2 (2006) 84, No. 1 (2006) 83, No. 1-3 (2006) 82, No. 3 (2006) ...and 156 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 Kotas, Jerzy 13 Tokarz, Marek 12 Bezhanishvili, Guram 12 Goldblatt, Robert Ian 12 Hansson, Sven Ove 12 Ono, Hiroakira 12 Sylvan, Richard 11 Mundici, Daniele 11 Suszko, Roman 10 Avron, Arnon 10 Bezhanishvili, Nick 10 Hájek, Petr 10 Odintsov, Sergei P. 10 Paoli, Francesco 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 Kamide, Norihiro 9 Malinowski, Grzegorz 9 Pigozzi, Don Leonard 9 Segerberg, Krister 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 7 Bloom, Stephen L. 7 Da Costa, Newton Carneiro Affonso 7 Dalla Chiara, Maria Luisa 7 Dunn, Jon Michael 7 Makinson, David Clement 7 Meyer, Robert Kenneth 7 Rautenberg, Wolfgang 7 Vakarelov, Dimiter 7 Wojcicki, Ryszard 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 Dishkant, Herman 6 Francez, Nissim 6 Grzegorczyk, Andrzej 6 Gumanski, Leon 6 Jaskowski, Stanislaw 6 Komori, Yuichi 6 Ledda, Antonio 6 Lewin, Renato A. 6 Ma, Minghui 6 Pietruszczak, Andrzej 6 Seki, Takahiro 6 Skvortsov, Dmitrij 6 Surma, Stanislaw J. 6 Weaver, George E. 6 Zygmunt, Jan 5 Ajdukiewicz, Kazimierz 5 Castiglioni, José Luis 5 Corsi, Giovanna 5 Davey, Brian A. 5 Demri, Stéphane P. 5 Di Nola, Antonio 5 Díaz Varela, José Patricio 5 Dyckhoff, Roy 5 Gerla, Giangiacomo 5 Goranko, Valentin F. 5 Hodkinson, Ian Martin 5 Iwanus, Boguslaw 5 Kanovei, Vladimir G. 5 Konikowska, Beata 5 Kowalski, Tomasz Marek 5 Lambek, Joachim 5 Németi, István ...and 1,484 more Authors all top 5 Fields 2,050 Mathematical logic and foundations (03-XX) 263 Order, lattices, ordered algebraic structures (06-XX) 222 Computer science (68-XX) 126 General algebraic systems (08-XX) 91 General and overarching topics; collections (00-XX) 70 History and biography (01-XX) 43 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 41 Category theory; homological algebra (18-XX) 30 Quantum theory (81-XX) 26 General topology (54-XX) 19 Probability theory and stochastic processes (60-XX) 15 Group theory and generalizations (20-XX) 12 Combinatorics (05-XX) 9 Geometry (51-XX) 8 Information and communication theory, circuits (94-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 Statistics (62-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 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,516 Publications have been cited 9,237 times in 5,186 Documents Cited by ▼ Year ▼ Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016Mundici, Daniele 140 1995 A survey of abstract algebraic logic. Zbl 1057.03058Font, J. M.; Jansana, R.; Pigozzi, D. 103 2003 A proof of standard completeness for Esteva and Godo’s logic MTL. Zbl 0997.03027Jenei, Sándor; Montagna, Franco 98 2002 States on pseudo MV-algebras. Zbl 0999.06011Dvurečenskij, Anatolij 72 2001 Protoalgebraic logics. Zbl 0622.03020Blok, W. J.; Pigozzi, Don 63 1986 Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups. Zbl 0812.06010Di Nola, Antonio; Lettieri, Ada 56 1994 Belief contraction without recovery. Zbl 0748.03008Hansson, Sven Ove 51 1991 Notes on \(\eta\)-lattices and constructive logic with strong negation. Zbl 0385.03055Vakarelov, D. 51 1977 Matrix approach in methodology of sentential calculi. Zbl 0336.02012Wojcicki, Ryszard 50 1973 Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Zbl 1034.03013van der Hoek, Wiebe; Wooldridge, Michael 50 2003 Positive modal logic. Zbl 0831.03007Dunn, J. Michael 49 1995 Dependence and independence. Zbl 1272.03125Grädel, Erich; Väänänen, Jouko 49 2013 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 Partiality and its dual. Zbl 0988.03012Dunn, J. Michael 49 2000 Distributive lattices with a dual homomorphic operation. Zbl 0425.06008Urquhart, Alasdair 46 1979 A logical account of formal argumentation. Zbl 1188.03011Caminada, Martin W. A.; Gabbay, Dov M. 45 2009 On the logic of theory change: safe contraction. Zbl 0605.03002Alchourrón, Carlos E.; Makinson, David 44 1985 Minimally inconsistent LP. Zbl 0748.03017Priest, Graham 42 1991 Basic hoops: an algebraic study of continuous t-norms. Zbl 1127.03049Aglianò, P.; Ferreirim, I. M. A.; Montagna, F. 42 2007 Equivalential logics. I. Zbl 0476.03032Czelakowski, Janusz 40 1981 Intuitionistic logic with strong negation. Zbl 0366.02015Gurevich, Yuri 39 1977 Algebraization of quantifier logics, an introductory overview. Zbl 0772.03033Németi, István 35 1991 An overview of tableau algorithms for description logics. Zbl 0991.03012Baader, Franz; Sattler, Ulrike 33 2001 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 30 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 Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. Zbl 1105.03021Galatos, Nikolaos; Ono, Hiroakira 30 2006 Generalized Kripke frames. Zbl 1115.03013Gehrke, Mai 30 2006 Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.). Zbl 0355.02021Magari, Roberto 29 1976 On maximal intermediate logics with the disjunction property. Zbl 0635.03019Maksimova, Larisa L. 29 1986 Time and modality in the logic of agency. Zbl 0788.03002Chellas, Brian F. 28 1992 A compact representation of proofs. Zbl 0644.03033Miller, Dale A. 28 1987 The origin of relation algebras in the development and axiomatization of the calculus of relations. Zbl 0754.03042Maddux, Roger D. 27 1991 Five faces of minimality. Zbl 0790.03026Makinson, David 27 1993 On an intuitionistic modal logic. Zbl 0963.03033Bierman, G. M.; de Paiva, V. C. V. 27 2000 Propositional calculus for contradictory deductive systems. Zbl 0244.02004Jaskowski, Stanislaw 27 1969 On the canonicity of Sahlqvist identities. Zbl 0810.03050Jónsson, Bjarni 26 1994 Models for normal intuitionistic modal logics. Zbl 0634.03014Božić, Milan; Došen, Kosta 26 1984 Cut-free sequent calculi for some tense logics. Zbl 0813.03012Kashima, Ryo 25 1994 Contrary-to-duty obligations. Zbl 0873.03025Prakken, Henry; Sergot, Marek 25 1996 A propositional logic with explicit fixed points. Zbl 0469.03012Visser, Albert 25 1981 MV-algebras and quantum computation. Zbl 1102.06010Ledda, Antonio; Konig, Martinvaldo; Paoli, Francesco; Giuntini, Roberto 25 2006 Dynamic logics of evidence-based beliefs. Zbl 1241.03013van Benthem, J.; Pacuit, E. 24 2011 The Fregean axiom and Polish mathematical logic in the \(1920^s\). Zbl 0404.03004Suszko, Roman 24 1978 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 23 1976 Equivalence of consequence operations. Zbl 1106.03059Blok, W. J.; Jónsson, Bjarni 23 2006 Pure extensions, proof rules, and hybrid axiomatics. Zbl 1115.03009Blackburn, P.; ten Cate, B. 23 2006 Sequent-systems and groupoid models. I. Zbl 0671.03018Došen, Kosta 23 1988 Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall\). Zbl 1013.03021Montagna, Franco; Ono, Hiroakira 23 2002 The Russian cards problem. Zbl 1033.03008van Ditmarsch, Hans 23 2003 Nelson algebras through Heyting ones. I. Zbl 0714.06004Sendlewski, Andrzej 23 1990 Kripke semantics for knowledge representation logics. Zbl 0726.03023Orłowska, Ewa 23 1990 A model of tolerance. Zbl 1162.03012Zardini, Elia 22 2008 Dynamic algebras: Examples, constructions, applications. Zbl 0752.03033Pratt, Vaughan 22 1991 Adding involution to residuated structures. Zbl 1062.03059Galatos, Nikolaos; Raftery, James G. 22 2004 Some theorems on structural consequence operations. Zbl 0311.02016Bloom, Stephen L. 22 1975 Computably enumerable equivalence relations. Zbl 0981.03046Gao, Su; Gerdes, Peter 22 2001 Algebraic logic for classical conjunction and disjunction. Zbl 0753.03027Font, Josep M.; Verdú, Ventura 21 1991 Generalized rough sets (preclusivity fuzzy-intuitionistic (BZ) lattices). Zbl 0864.03040Cattaneo, Gianpiero 21 1997 Characterizing equivalential and algebraizable logics by the Leibniz operator. Zbl 0879.03023Herrmann, Burghard 21 1997 Equivalential and algebraizable logics. Zbl 0864.03043Herrmann, Burghard 21 1996 Pretabular varieties of modal algebras. Zbl 0457.03018Blok, W. J. 21 1980 Semantics of the minimal logic of quantum mechanics. Zbl 0268.02018Dishkant, H. 21 1972 A formalization of the propositional calculus of H-B logic. Zbl 0289.02015Rauszer, Cecylia 21 1974 Modal frame correspondences and fixed-points. Zbl 1106.03017van Benthem, Johan 21 2006 An impossibility theorem on beliefs in games. Zbl 1114.03013Brandenburger, Adam; Keisler, H. Jerome 21 2006 A metacompleteness theorem for contraction-free relevant logics. Zbl 0576.03014Slaney, John K. 21 1984 Graded modalities. I. Zbl 0577.03004Fattorosi-Barnaba, M.; De Caro, F. 21 1985 Getting started: Beginnings in the logic of action. Zbl 0786.03003Segerberg, Krister 20 1992 Duality for algebras of relevant logics. Zbl 0844.03032Urquhart, Alasdair 20 1996 Diodorean modality in Minkowski spacetime. Zbl 0457.03019Goldblatt, Robert 20 1980 Decidability for branching time. Zbl 0467.03006Burgess, John P. 20 1980 Theory of rejected propositions. I. Zbl 0253.02049Slupecki, Jerzy; Bryll, Grzegorz; Wybraniec-Skardowska, Urszula 20 1971 Classical relevant logics. I. Zbl 0316.02029Meyer, Robert K.; Routley, Richard 20 1973 Standard Gödel modal logics. Zbl 1266.03030Caicedo, Xavier; Rodriguez, Ricardo O. 20 2010 Algebraic aspects of deduction theorems. Zbl 0612.03016Czelakowski, Janusz 20 1985 Models for stronger normal intuitionistic modal logics. Zbl 0634.03015Došen, Kosta 20 1985 On the representation of \(\mathbf{N4}\)-lattices. Zbl 1047.03050Odintsov, Sergei P. 20 2004 Modal companions of intermediate propositional logics. Zbl 0766.03015Chagrov, Aleksander; Zakharyashchev, Mikhail 19 1992 The way of the agent. Zbl 0789.03023Belnap, Nuel; Perloff, Michael 19 1992 Varieties of monadic Heyting algebras. I. Zbl 0964.06008Bezhanishvili, Guram 19 1998 Classical negation and expansions of Belnap-Dunn logic. Zbl 1373.03029De, Michael; Omori, Hitoshi 19 2015 Ideal paraconsistent logics. Zbl 1248.03046Arieli, O.; Avron, A.; Zamansky, A. 19 2011 Aristotle’s syllogistic from the standpoint of modern formal logic. Zbl 0121.01003Borkowski, L. 19 1957 Interpolation properties of superintuitionistic logics. Zbl 0435.03021Maksimova, Larisa L. 19 1979 Classical relevant logics. II. Zbl 0316.02030Meyer, Robert K.; Routley, Richard 19 1974 An axiom system for the modular logic. Zbl 0333.02023Kotas, Jerzy 19 1967 Applications of Kripke models to Heyting-Brouwer logic. Zbl 0361.02033Rauszer, Cecylia 19 1977 2-element matrices. Zbl 0493.03006Rautenberg, Wolfgang 19 1981 The quantitative/qualitative watershed for rules of uncertain inference. Zbl 1130.03022Hawthorne, James; Makinson, David 19 2007 On axiomatizing Shramko-Wansing’s logic. Zbl 1170.03014Odintsov, Sergei P. 19 2009 A finite model theorem for the propositional \(\mu\)-calculus. Zbl 0667.03019Kozen, Dexter 19 1989 Game logic – an overview. Zbl 1040.03013Pauly, Marc; Parikh, Rohit 19 2003 Dual intuitionistic logic and a variety of negations: the logic of scientific research. Zbl 1085.03022Shramko, Yaroslav 19 2005 On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis. Zbl 1417.03191Bonzio, Stefano; Gil-Férez, José; Paoli, Francesco; Peruzzi, Luisa 18 2017 Open questions related to the problem of Birkhoff and Maltsev. Zbl 1105.08007Adams, M. E.; Adaricheva, K. V.; Dziobiak, W.; Kravchenko, A. V. 18 2004 Undecidability without arithmetization. Zbl 1080.03004Grzegorczyk, Andrzej 18 2005 Reduced products of logical matrices. Zbl 0445.03009Czelakowski, Janusz 18 1980 Hyperintensional logic. Zbl 0307.02017Cresswell, M. J. 18 1975 A Kripke-style semantics for R-mingle using a binary accessibility relation. Zbl 0328.02010Dunn, J. Michael 18 1976 A conservative negation extension of positive semilattice logic without the finite model property. Zbl 07339952Weiss, Yale 1 2021 Countably many weakenings of Belnap-Dunn logic. Zbl 07183492Ma, Minghui; Lin, Yuanlei 2 2020 Epimorphisms, definability and cardinalities. Zbl 1442.03036Moraschini, T.; Raftery, J. G.; Wannenburg, J. J. 2 2020 Complexity of the universal theory of modal algebras. Zbl 07183494Shkatov, Dmitry; van Alten, Clint J. 1 2020 Proof theory for positive logic with weak negation. Zbl 07239279Bílková, Marta; Colacito, Almudena 1 2020 Dynamic epistemic logics of diffusion and prediction in social networks. Zbl 07075852Baltag, Alexandru; Christoff, Zoé; Rendsvig, Rasmus K.; Smets, Sonja 5 2019 The fundamental problem of general proof theory. Zbl 07055410Prawitz, Dag 3 2019 A deterministic weakening of Belnap-Dunn logic. Zbl 07067981Ma, Minghui; Lin, Yuanlei 3 2019 Analyticity, balance and non-admissibility of \(Cut\) in stoic logic. Zbl 07067984Bobzien, Susanne; Dyckhoff, Roy 3 2019 A duality for involutive bisemilattices. Zbl 07067986Bonzio, Stefano; Loi, Andrea; Peruzzi, Luisa 3 2019 A categorical equivalence for Stonean residuated lattices. Zbl 07067985Busaniche, Manuela; Cignoli, Roberto; Marcos, Miguel Andrés 2 2019 The dynamics of epistemic attitudes in resource-bounded agents. Zbl 07075851Balbiani, Philippe; Fernández-Duque, David; Lorini, Emiliano 2 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 Proof compression and NP versus PSPACE. Zbl 07055412Gordeev, L.; Haeusler, E. H. 1 2019 Is there a “Hilbert thesis”? Zbl 1428.03021Kahle, Reinhard 1 2019 Inference as doxastic agency. I: The basics of justification stit logic. Zbl 07055416Olkhovikov, Grigory K.; Wansing, Heinrich 1 2019 The naturality of natural deduction. Zbl 07055417Tranchini, Luca; Pistone, Paolo; Petrolo, Mattia 1 2019 The monodic fragment of propositional term modal logic. Zbl 1439.03046Padmanabha, Anantha; Ramanujam, R. 1 2019 Axiomatizing the logic of imagination. Zbl 07100696Giordani, Alessandro 1 2019 A propositional dynamic logic for instantial neighborhood semantics. Zbl 07100700van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian 1 2019 Truth-tracking by belief revision. Zbl 1439.03039Baltag, Alexandru; Gierasimczuk, Nina; Smets, Sonja 1 2019 Arithmetical completeness theorem for modal logic \(\mathsf{K}\). Zbl 1437.03090Kurahashi, Taishi 6 2018 The structure group of a generalized orthomodular lattice. Zbl 1412.06011Rump, Wolfgang 5 2018 Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations. Zbl 1437.03167Kurahashi, Taishi 4 2018 Varieties of BL-algebras. II. Zbl 1437.06017Aglianò, P.; Montagna, F. 4 2018 Convex MV-algebras: many-valued logics meet decision theory. Zbl 06969626Flaminio, T.; Hosni, H.; Lapenta, S. 3 2018 Provably true sentences across axiomatizations of Kripke’s theory of truth. Zbl 1437.03162Nicolai, Carlo 2 2018 The category of node-and-choice preforms for extensive-form games. Zbl 1417.91078Streufert, Peter A. 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 Stone-type representations and dualities for varieties of bisemilattices. Zbl 1437.06003Ledda, Antonio 2 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 A second pretabular classical relevance logic. Zbl 1437.03096Fallahi, Asadollah 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 A new proof of the McKinsey-Tarski theorem. Zbl 1437.03084Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J. 1 2018 First-order modal logic: frame definability and a Lindström theorem. Zbl 1437.03095Zoghifard, R.; Pourmahdian, M. 1 2018 Poset product and BL-chains. Zbl 1437.06018Busaniche, Manuela; Gomez, Conrado 1 2018 Principal and Boolean congruences on \(IKt\)-algebras. Zbl 1437.06011Figallo, Aldo V.; Pascual, Inés; Pelaitay, Gustavo 1 2018 Infinite populations, choice and determinacy. Zbl 06969628Litak, Tadeusz 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 Sequent calculi for semi-De Morgan and De Morgan algebras. Zbl 1437.03181Ma, Minghui; Liang, Fei 1 2018 Hintikka’s independence-friendly logic meets Nelson’s realizability. Zbl 06914013Odintsov, Sergei P.; Speranski, Stanislav O.; Shevchenko, Igor Yu. 1 2018 On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis. Zbl 1417.03191Bonzio, Stefano; Gil-Férez, José; Paoli, Francesco; Peruzzi, Luisa 18 2017 40 years of FDE: an introductory overview. Zbl 1417.03027Omori, Hitoshi; Wansing, Heinrich 12 2017 Disentangling FDE-based paraconsistent modal logics. Zbl 1417.03160Odintsov, Sergei P.; Wansing, Heinrich 11 2017 Four-valued paradefinite logics. Zbl 1417.03190Arieli, Ofer; Avron, Arnon 9 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 6 2017 General-elimination stability. Zbl 1417.03285Jacinto, Bruno; Read, Stephen 4 2017 Proof analysis of Peirce’s alpha system of graphs. Zbl 1417.03281Ma, Minghui; Pietarinen, Ahti-Veikko 4 2017 Paraconsistent double negations as classical and intuitionistic negations. Zbl 1417.03193Kamide, Norihiro 4 2017 Reconstructing the topology on monoids and polymorphism clones of the rationals. Zbl 1371.08002Behrisch, Mike; Truss, John K.; Vargas-García, Edith 4 2017 Notes on the computational aspects of Kripke’s theory of truth. Zbl 1417.03244Speranski, Stanislav O. 3 2017 The strong endomorphism kernel property in double MS-algebras. Zbl 1421.06003Fang, Jie 3 2017 Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. Zbl 1417.03179Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich 3 2017 Equivocation axiom on first order languages. Zbl 1417.03173Rad, Soroush Rafiee 3 2017 A new hierarchy of infinitary logics in abstract algebraic logic. Zbl 1417.03305Lávička, Tomáš; Noguera, Carles 2 2017 Rasiowa-Harrop disjunction property. Zbl 1417.03278Ferreira, Gilda 2 2017 Subdirectly irreducible IKt-algebras. Zbl 1417.06010Figallo, Aldo V.; Pascual, Inés; Pelaitay, Gustavo 2 2017 Boolean paradoxes and revision periods. Zbl 1417.03068Hsiung, Ming 2 2017 A simple sequent calculus for Angell’s logic of analytic containment. Zbl 1417.03164French, Rohan 2 2017 Rivals to Belnap-Dunn logic on interlaced trilattices. Zbl 1417.03177Ferguson, Thomas M. 2 2017 Cut elimination, identity elimination, and interpolation in super-Belnap logics. Zbl 1417.03287Přenosil, Adam 2 2017 On the modal logic of subset and superset: tense logic over Medvedev frames. Zbl 1417.03152Holliday, Wesley H. 2 2017 Non-classical elegance for sequent calculus enthusiasts. Zbl 1417.03200Fjellstad, Andreas 2 2017 Genuine coherence as mutual confirmation between content elements. Zbl 1417.03174Schippers, Michael; Schurz, Gerhard 1 2017 Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics. Zbl 1417.03301Kumar, Arun; Banerjee, Mohua 1 2017 The strong version of a sentential logic. Zbl 1417.03303Albuquerque, Hugo; Font, Josep Maria; Jansana, Ramon 1 2017 Relativised homomorphism preservation at the finite level. Zbl 1417.03227Ham, Lucy 1 2017 Expansions of dually pseudocomplemented Heyting algebras. Zbl 1453.06009Taylor, Christopher J. 1 2017 Restricted Priestley dualities and discriminator varieties. Zbl 06807537Davey, B. A.; Gair, A. 1 2017 Probabilistic logics with independence and confirmation. Zbl 1417.03171Doder, Dragan; Ognjanović, Zoran 1 2017 Paraconsistent logic, evidence, and justification. Zbl 1417.03192Fitting, Melvin 1 2017 Believability relations for select-direct sentential revision. Zbl 1417.03144Zhang, Li 1 2017 A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations. Zbl 1417.03154Kjos-Hanssen, Bjørn 1 2017 Erratum to: “Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\)”. Zbl 1403.06014Cignoli, Roberto; Torrens, Antoni 1 2017 Congruence lattices of semilattices with operators. Zbl 1417.06004Hyndman, Jennifer; Nation, J. B.; Nishida, Joy 6 2016 A new view of effects in a Hilbert space. Zbl 1417.06008Giuntini, Roberto; Ledda, Antonio; Paoli, Francesco 6 2016 Order in implication zroupoids. Zbl 1392.06011Cornejo, Juan M.; Sankappanavar, Hanamantagouda P. 5 2016 Bi-simulating in bi-intuitionistic logic. Zbl 1417.03125Badia, Guillermo 4 2016 Structural completeness in relevance logics. Zbl 1454.03032Raftery, J. G.; Świrydowicz, K. 3 2016 On all strong Kleene generalizations of classical logic. Zbl 1417.03197Wintein, Stefan 3 2016 The undecidability of quantified announcements. Zbl 1368.03021Ågotnes, T.; van Ditmarsch, H.; French, T. 3 2016 Progression and verification of situation calculus agents with bounded beliefs. Zbl 1397.68191De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio; Vassos, Stavros 3 2016 Turing-Taylor expansions for arithmetic theories. Zbl 1417.03297Joosten, Joost J. 3 2016 Cofinal stable logics. Zbl 1403.03045Bezhanishvili, Guram; Bezhanishvili, Nick; Ilin, Julia 3 2016 Natural dualities through product representations: bilattices and beyond. Zbl 1360.08005Cabrer, L. M.; Priestley, H. A. 2 2016 Hard and soft preparation sets in Boolean games. Zbl 1422.91157Harrenstein, Paul; Turrini, Paolo; Wooldridge, Michael 2 2016 Adaptive logic characterizations of input/output logic. Zbl 1364.03034Straßer, Christian; Beirlaen, Mathieu; Van De Putte, Frederik 2 2016 Intuitionistic games: determinacy, completeness, and normalization. Zbl 1417.03127Urzyczyn, Paweł 2 2016 The Lambek calculus extended with intuitionistic propositional logic. Zbl 1417.03165Kaminski, Michael; Francez, Nissim 2 2016 Categoricity spectra for polymodal algebras. Zbl 1417.03233Bazhenov, Nikolay 2 2016 Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020Nakazawa, Koji; Fujita, Ken-etsu 2 2016 Understanding negation implicationally in the relevant logic R. Zbl 1417.03167Onishi, Takuro 2 2016 On the minimal non-Fregean Grzegorczyk logic. Zbl 1392.03039Golińska-Pilarek, Joanna 1 2016 ...and 1276 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,379 Authors 66 Dvurečenskij, Anatolij 46 Gabbay, Dov M. 44 Montagna, Franco 43 Di Nola, Antonio 43 Wansing, Heinrich Theodor 38 Bezhanishvili, Guram 35 van Benthem, Johan F. A. K. 32 Kamide, Norihiro 31 Hansson, Sven Ove 30 Bezhanishvili, Nick 30 Godo, Lluís 29 Paoli, Francesco 28 Jansana, Ramon 27 Flaminio, Tommaso 26 van Ditmarsch, Hans Pieter 25 Noguera, Carles 24 Czelakowski, Janusz 24 Esteva, Francesc 24 Humberstone, Lloyd 24 Ledda, Antonio 24 Maksimova, Larisa L’vovna 23 Cintula, Petr 21 Sayed Ahmed, Tarek 20 Andréka, Hajnal 20 Avron, Arnon 20 Fernández Duque, David 20 Kowalski, Tomasz Marek 20 Moraschini, Tommaso 20 Robles, Gemma 19 Celani, Sergio Arturo 19 Chajda, Ivan 19 Ciabattoni, Agata 19 Dziobiak, Wiesław 19 Galatos, Nikolaos 19 Giuntini, Roberto 19 Goldblatt, Robert Ian 19 Németi, István 19 Palmigiano, Alessandra 19 Raftery, James G. 18 Brady, Ross Thomas 18 Font, Josep Maria 18 Hodkinson, Ian Martin 18 Priestley, Hilary A. 18 Voutsadakis, George 17 Dunn, Jon Michael 17 Hájek, Petr 17 Odintsov, Sergei P. 17 Petrukhin, Yaroslav Igorevich 17 Venema, Yde 17 Visser, Albert 16 Cignoli, Roberto 16 Ciungu, Lavinia Corina 16 Gehrke, Mai 16 Ma, Minghui 16 Mundici, Daniele 16 Rivieccio, Umberto 16 Torrens Torrell, Antoni 16 Tsinakis, Constantine 15 Arieli, Ofer 15 Davey, Brian A. 15 Francez, Nissim 15 Iemhoff, Rosalie 15 Lenzi, Giacomo 15 Metcalfe, George 15 Orłowska, Ewa S. 15 Priest, Graham 15 Shramko, Yaroslav V. 15 Smets, Sonja J. L. 15 Vakarelov, Dimiter 15 van der Hoek, Wiebe 15 Zakharyaschev, Michael Viktorovich 14 Aguzzoli, Stefano 14 Baltag, Alexandru 14 Bianchi, Matteo 14 Diaconescu, Răzvan 14 Díaz Varela, José Patricio 14 Kern-Isberner, Gabriele 14 Pacuit, Eric 14 Wooldridge, Michael J. 13 Balbiani, Philippe 13 Cabrer, Leonardo Manuel 13 Cornejo, Juan Manuel 13 Ono, Hiroakira 13 Pigozzi, Don Leonard 13 Rachůnek, Jiří 13 Rasga, João 13 Restall, Greg 13 Ripley, David 13 Sernadas, Cristina S. 13 Vetterlein, Thomas 13 Wang, Sanmin 13 Wolter, Frank 13 Wybraniec-Skardowska, Urszula 13 Zamansky, Anna 12 Belluce, Lawrence Peter 12 Bimbó, Katalin 12 Buszkowski, Wojciech 12 Campercholi, Miguel A. 12 Došen, Kosta 12 Égré, Paul ...and 3,279 more Authors all top 5 Cited in 255 Journals 891 Studia Logica 284 Journal of Philosophical Logic 191 Annals of Pure and Applied Logic 186 The Journal of Symbolic Logic 176 Fuzzy Sets and Systems 169 Synthese 154 Journal of Applied Non-Classical Logics 139 Algebra Universalis 137 The Review of Symbolic Logic 134 Soft Computing 127 Theoretical Computer Science 114 Artificial Intelligence 112 Notre Dame Journal of Formal Logic 98 Archive for Mathematical Logic 97 International Journal of Approximate Reasoning 97 Journal of Logic, Language and Information 95 Journal of Applied Logic 82 Logica Universalis 65 Mathematical Logic Quarterly (MLQ) 53 The Bulletin of Symbolic Logic 49 Information Sciences 47 Information and Computation 46 Logic and Logical Philosophy 45 Annals of Mathematics and Artificial Intelligence 43 Journal of Automated Reasoning 42 International Journal of Theoretical Physics 41 History and Philosophy of Logic 40 Algebra and Logic 35 Order 33 Erkenntnis 31 Bulletin of the Section of Logic 27 MSCS. Mathematical Structures in Computer Science 26 Journal of Logical and Algebraic Methods in Programming 25 Journal of Pure and Applied Algebra 22 International Journal of Algebra and Computation 21 Journal of Algebra 21 Siberian Mathematical Journal 19 Mathematica Slovaca 18 Applied Categorical Structures 18 ACM Transactions on Computational Logic 17 Logical Methods in Computer Science 16 Mathematical Notes 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 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 Sibirskie Èlektronnye Matematicheskie Izvestiya 6 Frontiers of Computer Science 6 Open Mathematics 5 Information Processing Letters 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 Israel Journal of Mathematics 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 3 Periodica Mathematica Hungarica 3 Applied Mathematics and Computation 3 International Journal of Game Theory 3 Journal of Computer Science and Technology 3 Random Structures & Algorithms 3 Designs, Codes and Cryptography ...and 155 more Journals all top 5 Cited in 45 Fields 4,220 Mathematical logic and foundations (03-XX) 1,134 Computer science (68-XX) 915 Order, lattices, ordered algebraic structures (06-XX) 326 General algebraic systems (08-XX) 166 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 140 Category theory; homological algebra (18-XX) 128 Quantum theory (81-XX) 100 History and biography (01-XX) 89 General topology (54-XX) 78 General and overarching topics; collections (00-XX) 72 Probability theory and stochastic processes (60-XX) 69 Group theory and generalizations (20-XX) 45 Combinatorics (05-XX) 27 Measure and integration (28-XX) 24 Geometry (51-XX) 24 Information and communication theory, circuits (94-XX) 22 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) 11 Topological groups, Lie groups (22-XX) 11 Real functions (26-XX) 10 Commutative algebra (13-XX) 10 Associative rings and algebras (16-XX) 10 Systems theory; control (93-XX) 9 Dynamical systems and ergodic theory (37-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 8 Biology and other natural sciences (92-XX) 6 Operator theory (47-XX) 6 Operations research, mathematical programming (90-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) 3 Manifolds and cell complexes (57-XX) 3 Mathematics education (97-XX) 2 Numerical analysis (65-XX) 2 Fluid mechanics (76-XX) 1 Algebraic geometry (14-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-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