## Studia Logica

### An 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,327 Publications (since 1934) References Indexed: 1,838 Publications with 34,156 References.
all top 5

### Latest Issues

 110, No. 4 (2022) 110, No. 3 (2022) 110, No. 2 (2022) 110, No. 1 (2022) 109, No. 6 (2021) 109, No. 5 (2021) 109, No. 4 (2021) 109, No. 3 (2021) 109, No. 2 (2021) 109, No. 1 (2021) 108, No. 6 (2020) 108, No. 5 (2020) 108, No. 4 (2020) 108, No. 3 (2020) 108, No. 2 (2020) 108, No. 1 (2020) 107, No. 6 (2019) 107, No. 5 (2019) 107, No. 4 (2019) 107, No. 3 (2019) 107, No. 2 (2019) 107, No. 1 (2019) 106, No. 6 (2018) 106, No. 5 (2018) 106, No. 4 (2018) 106, No. 3 (2018) 106, No. 2 (2018) 106, No. 1 (2018) 105, No. 6 (2017) 105, No. 5 (2017) 105, No. 4 (2017) 105, No. 3 (2017) 105, No. 2 (2017) 105, No. 1 (2017) 104, No. 6 (2016) 104, No. 5 (2016) 104, No. 4 (2016) 104, No. 3 (2016) 104, No. 2 (2016) 104, No. 1 (2016) 103, No. 6 (2015) 103, No. 5 (2015) 103, No. 4 (2015) 103, No. 3 (2015) 103, No. 2 (2015) 103, No. 1 (2015) 102, No. 6 (2014) 102, No. 5 (2014) 102, No. 4 (2014) 102, No. 3 (2014) 102, No. 2 (2014) 102, No. 1 (2014) 101, No. 6 (2013) 101, No. 5 (2013) 101, No. 4 (2013) 101, No. 3 (2013) 101, No. 2 (2013) 101, No. 1 (2013) 100, No. 6 (2012) 100, No. 5 (2012) 100, No. 4 (2012) 100, No. 3 (2012) 100, No. 1-2 (2012) 99, No. 1-3 (2011) 98, No. 3 (2011) 98, No. 1-2 (2011) 97, No. 3 (2011) 97, No. 2 (2011) 97, No. 1 (2011) 96, No. 3 (2010) 96, No. 2 (2010) 96, No. 1 (2010) 95, No. 3 (2010) 95, No. 1-2 (2010) 94, No. 3 (2010) 94, No. 2 (2010) 94, No. 1 (2010) 93, No. 2-3 (2009) 93, No. 1 (2009) 92, No. 3 (2009) 92, No. 2 (2009) 92, No. 1 (2009) 91, No. 3 (2009) 91, No. 2 (2009) 91, No. 1 (2009) 90, No. 3 (2008) 90, No. 2 (2008) 90, No. 1 (2008) 89, No. 3 (2008) 89, No. 2 (2008) 89, No. 1 (2008) 88, No. 3 (2008) 88, No. 2 (2008) 88, No. 1 (2008) 87, No. 2-3 (2007) 87, No. 1 (2007) 86, No. 3 (2007) 86, No. 2 (2007) 86, No. 1 (2007) 85, No. 3 (2007) ...and 163 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 Blok, Willem Johannes 10 Hájek, Petr 10 Kamide, Norihiro 10 Odintsov, Sergei P. 10 Pieczkowski, August 10 Pogorzelski, Witold A. 10 Raftery, James G. 10 Shramko, Yaroslav V. 10 Torrens Torrell, Antoni 9 Buszkowski, Wojciech 9 Giuntini, Roberto 9 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 Jenei, Sándor 7 Ledda, Antonio 7 Makinson, David Clement 7 Meyer, Robert Kenneth 7 Rautenberg, Wolfgang 7 Wronski, Andrzej 7 Zakharyaschev, Michael Viktorovich 6 Batens, Diderik 6 Belnap, Nuel D. jun. 6 Brady, Ross Thomas 6 Bryll, Grzegorz 6 Cornejo, Juan Manuel 6 Cresswell, Maxwell John 6 de Jongh, Dick H. J. 6 Díaz Varela, José Patricio 6 Dishkant, Herman 6 Francez, Nissim 6 Grzegorczyk, Andrzej 6 Gumanski, Leon 6 Jaskowski, Stanislaw 6 Komori, Yuichi 6 Lewin, Renato A. 6 Pietruszczak, Andrzej 6 Priestley, Hilary A. 6 Seki, Takahiro 6 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 Galatos, Nikolaos 5 Gerla, Giangiacomo 5 Goranko, Valentin F. 5 Hodkinson, Ian Martin 5 Humberstone, Lloyd ...and 1,536 more Authors
all top 5

### Fields

 2,110 Mathematical logic and foundations (03-XX) 285 Order, lattices, ordered algebraic structures (06-XX) 228 Computer science (68-XX) 126 General algebraic systems (08-XX) 94 General and overarching topics; collections (00-XX) 71 History and biography (01-XX) 45 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 42 Category theory; homological algebra (18-XX) 31 Quantum theory (81-XX) 26 General topology (54-XX) 20 Probability theory and stochastic processes (60-XX) 18 Group theory and generalizations (20-XX) 12 Combinatorics (05-XX) 9 Geometry (51-XX) 8 Information and communication theory, circuits (94-XX) 5 Statistics (62-XX) 5 Relativity and gravitational theory (83-XX) 4 Measure and integration (28-XX) 4 Functional analysis (46-XX) 3 Number theory (11-XX) 3 Systems theory; control (93-XX) 2 Field theory and polynomials (12-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Topological groups, Lie groups (22-XX) 2 Real functions (26-XX) 2 Biology and other natural sciences (92-XX) 2 Mathematics education (97-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mechanics of particles and systems (70-XX)

### Citations contained in zbMATH Open

1,617 Publications have been cited 10,229 times in 5,745 Documents Cited by Year
Averaging the truth-value in Łukasiewicz logic. Zbl 0836.03016
Mundici, Daniele
1995
A survey of abstract algebraic logic. Zbl 1057.03058
Font, J. M.; Jansana, R.; Pigozzi, D.
2003
A proof of standard completeness for Esteva and Godo’s logic MTL. Zbl 0997.03027
Jenei, Sándor; Montagna, Franco
2002
States on pseudo MV-algebras. Zbl 0999.06011
Dvurečenskij, Anatolij
2001
Dependence and independence. Zbl 1272.03125
Grädel, Erich; Väänänen, Jouko
2013
Protoalgebraic logics. Zbl 0622.03020
Blok, W. J.; Pigozzi, Don
1986
Partiality and its dual. Zbl 0988.03012
Dunn, J. Michael
2000
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Zbl 1034.03013
van der Hoek, Wiebe; Wooldridge, Michael
2003
Perfect MV-algebras are categorically equivalent to Abelian $$l$$-groups. Zbl 0812.06010
Di Nola, Antonio; Lettieri, Ada
1994
Notes on $$\eta$$-lattices and constructive logic with strong negation. Zbl 0385.03055
Vakarelov, D.
1977
Positive modal logic. Zbl 0831.03007
Dunn, J. Michael
1995
Belief contraction without recovery. Zbl 0748.03008
Hansson, Sven Ove
1991
Matrix approach in methodology of sentential calculi. Zbl 0336.02012
Wojcicki, Ryszard
1973
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
2002
A logical account of formal argumentation. Zbl 1188.03011
Caminada, Martin W. A.; Gabbay, Dov M.
2009
Distributive lattices with a dual homomorphic operation. Zbl 0425.06008
Urquhart, Alasdair
1979
Basic hoops: an algebraic study of continuous t-norms. Zbl 1127.03049
Aglianò, P.; Ferreirim, I. M. A.; Montagna, F.
2007
Intuitionistic logic with strong negation. Zbl 0366.02015
Gurevich, Yuri
1977
On the logic of theory change: safe contraction. Zbl 0605.03002
Alchourrón, Carlos E.; Makinson, David
1985
Minimally inconsistent LP. Zbl 0748.03017
Priest, Graham
1991
Equivalential logics. I. Zbl 0476.03032
Czelakowski, Janusz
1981
Algebraization of quantifier logics, an introductory overview. Zbl 0772.03033
Németi, István
1991
Dynamic logics of evidence-based beliefs. Zbl 1241.03013
van Benthem, J.; Pacuit, E.
2011
On an intuitionistic modal logic. Zbl 0963.03033
Bierman, G. M.; de Paiva, V. C. V.
2000
An overview of tableau algorithms for description logics. Zbl 0991.03012
Baader, Franz; Sattler, Ulrike
2001
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
1997
A propositional logic with explicit fixed points. Zbl 0469.03012
Visser, Albert
1981
A compact representation of proofs. Zbl 0644.03033
Miller, Dale A.
1987
Generalized Kripke frames. Zbl 1115.03013
Gehrke, Mai
2006
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. Zbl 1105.03021
Galatos, Nikolaos; Ono, Hiroakira
2006
Propositional calculus for contradictory deductive systems. Zbl 0244.02004
1969
The origin of relation algebras in the development and axiomatization of the calculus of relations. Zbl 0754.03042
1991
Free algebras in varieties of Glivenko MTL-algebras satisfying the equation $$2(x^{2}) = (2x)^{2}$$. Zbl 1115.06006
Cignoli, Roberto; Torrens Torrell, Antoni
2006
Models for normal intuitionistic modal logics. Zbl 0634.03014
Božić, Milan; Došen, Kosta
1984
On maximal intermediate logics with the disjunction property. Zbl 0635.03019
Maksimova, Larisa L.
1986
Time and modality in the logic of agency. Zbl 0788.03002
Chellas, Brian F.
1992
Cut-free sequent calculi for some tense logics. Zbl 0813.03012
Kashima, Ryo
1994
Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.). Zbl 0355.02021
Magari, Roberto
1976
The Russian cards problem. Zbl 1033.03008
van Ditmarsch, Hans
2003
Five faces of minimality. Zbl 0790.03026
Makinson, David
1993
Computably enumerable equivalence relations. Zbl 0981.03046
Gao, Su; Gerdes, Peter
2001
Contrary-to-duty obligations. Zbl 0873.03025
Prakken, Henry; Sergot, Marek
1996
On the canonicity of Sahlqvist identities. Zbl 0810.03050
Jónsson, Bjarni
1994
Varieties of monadic Heyting algebras. I. Zbl 0964.06008
Bezhanishvili, Guram
1998
Nelson algebras through Heyting ones. I. Zbl 0714.06004
Sendlewski, Andrzej
1990
Duality for algebras of relevant logics. Zbl 0844.03032
Urquhart, Alasdair
1996
The Fregean axiom and Polish mathematical logic in the $$1920^s$$. Zbl 0404.03004
Suszko, Roman
1978
Sequent-systems and groupoid models. I. Zbl 0671.03018
Došen, Kosta
1988
Pure extensions, proof rules, and hybrid axiomatics. Zbl 1115.03009
Blackburn, P.; ten Cate, B.
2006
MV-algebras and quantum computation. Zbl 1102.06010
Ledda, Antonio; Konig, Martinvaldo; Paoli, Francesco; Giuntini, Roberto
2006
An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.). Zbl 0357.02028
Sambin, Giovanni
1976
Classical relevant logics. I. Zbl 0316.02029
Meyer, Robert K.; Routley, Richard
1973
Adding involution to residuated structures. Zbl 1062.03059
Galatos, Nikolaos; Raftery, James G.
2004
Equational characterization of the subvarieties of BL generated by t-norm algebras. Zbl 1045.03048
Esteva, Francesc; Godo, Lluís; Montagna, Franco
2004
Dynamic algebras: Examples, constructions, applications. Zbl 0752.03033
Pratt, Vaughan
1991
Kripke semantics for knowledge representation logics. Zbl 0726.03023
Orłowska, Ewa
1990
Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL$$\forall$$. Zbl 1013.03021
Montagna, Franco; Ono, Hiroakira
2002
Equivalence of consequence operations. Zbl 1106.03059
Blok, W. J.; Jónsson, Bjarni
2006
Semantics of the minimal logic of quantum mechanics. Zbl 0268.02018
Dishkant, H.
1972
A formalization of the propositional calculus of H-B logic. Zbl 0289.02015
Rauszer, Cecylia
1974
Classical relevant logics. II. Zbl 0316.02030
Meyer, Robert K.; Routley, Richard
1974
On the representation of $$\mathbf{N4}$$-lattices. Zbl 1047.03050
Odintsov, Sergei P.
2004
A metacompleteness theorem for contraction-free relevant logics. Zbl 0576.03014
Slaney, John K.
1984
Graded modalities. I. Zbl 0577.03004
Fattorosi-Barnaba, M.; De Caro, F.
1985
The quantitative/qualitative watershed for rules of uncertain inference. Zbl 1130.03022
Hawthorne, James; Makinson, David
2007
An impossibility theorem on beliefs in games. Zbl 1114.03013
Brandenburger, Adam; Keisler, H. Jerome
2006
Diodorean modality in Minkowski spacetime. Zbl 0457.03019
Goldblatt, Robert
1980
Standard Gödel modal logics. Zbl 1266.03030
Caicedo, Xavier; Rodriguez, Ricardo O.
2010
Some results on modal axiomatization and definability for topological spaces. Zbl 1096.03016
Bezhanishvili, Guram; Esakia, Leo; Gabelaia, David
2005
Characterizing equivalential and algebraizable logics by the Leibniz operator. Zbl 0879.03023
Herrmann, Burghard
1997
Some theorems on structural consequence operations. Zbl 0311.02016
Bloom, Stephen L.
1975
Equivalential and algebraizable logics. Zbl 0864.03043
Herrmann, Burghard
1996
Game logic – an overview. Zbl 1040.03013
Pauly, Marc; Parikh, Rohit
2003
Algebraic logic for classical conjunction and disjunction. Zbl 0753.03027
Font, Josep M.; Verdú, Ventura
1991
Ideal paraconsistent logics. Zbl 1248.03046
Arieli, O.; Avron, A.; Zamansky, A.
2011
A model of tolerance. Zbl 1162.03012
Zardini, Elia
2008
A Kripke-style semantics for R-mingle using a binary accessibility relation. Zbl 0328.02010
Dunn, J. Michael
1976
Pretabular varieties of modal algebras. Zbl 0457.03018
Blok, W. J.
1980
On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis. Zbl 1417.03191
Bonzio, Stefano; Gil-Férez, José; Paoli, Francesco; Peruzzi, Luisa
2017
Selective revision. Zbl 0942.03024
Fermé, Eduardo L.; Hansson, Sven Ove
1999
Undefinability of propositional quantifiers in the modal system S4. Zbl 0831.03008
Ghilardi, Silvio; Zawadowski, Marek
1995
Generalized rough sets (preclusivity fuzzy-intuitionistic (BZ) lattices). Zbl 0864.03040
Cattaneo, Gianpiero
1997
A finite model theorem for the propositional $$\mu$$-calculus. Zbl 0667.03019
Kozen, Dexter
1989
Models for stronger normal intuitionistic modal logics. Zbl 0634.03015
Došen, Kosta
1985
Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Zbl 1189.68127
Wu, Yining; Caminada, Martin; Gabbay, Dov M.
2009
Classical negation and expansions of Belnap-Dunn logic. Zbl 1373.03029
De, Michael; Omori, Hitoshi
2015
40 years of FDE: an introductory overview. Zbl 1417.03027
Omori, Hitoshi; Wansing, Heinrich
2017
Negation in the context of gaggle theory. Zbl 1097.03015
Dunn, J. Michael; Zhou, Chunlai
2005
Dual intuitionistic logic and a variety of negations: the logic of scientific research. Zbl 1085.03022
Shramko, Yaroslav
2005
Modal frame correspondences and fixed-points. Zbl 1106.03017
van Benthem, Johan
2006
Applications of Kripke models to Heyting-Brouwer logic. Zbl 0361.02033
Rauszer, Cecylia
1977
Decidability for branching time. Zbl 0467.03006
Burgess, John P.
1980
Theory of rejected propositions. I. Zbl 0253.02049
Slupecki, Jerzy; Bryll, Grzegorz; Wybraniec-Skardowska, Urszula
1971
Hyperintensional logic. Zbl 0307.02017
Cresswell, M. J.
1975
Algebraic aspects of deduction theorems. Zbl 0612.03016
Czelakowski, Janusz
1985
First-order fuzzy logic. Zbl 0632.03021
Novák, Vilém
1987
On the rules of suppositions in formal logic. Zbl 0011.09702
1934
Selfextensional logics with a conjunction. Zbl 1115.03094
Jansana, Ramon
2006
Getting started: Beginnings in the logic of action. Zbl 0786.03003
Segerberg, Krister
1992
2-element matrices. Zbl 0493.03006
Rautenberg, Wolfgang
1981
Three ways of being non-material. Zbl 07490467
Crupi, Vincenzo; Iacona, Andrea
2022
ZF between classicality and non-classicality. Zbl 07490471
Tarafder, Sourav; Venturi, Giorgio
2022
A binary quantifier for definite descriptions for cut free free logics. Zbl 07490472
Kürbis, Nils
2022
The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives. Zbl 07496502
Pistone, Paolo; Tranchini, Luca; Petrolo, Mattia
2022
Two decision procedures for da Costa’s $$C_n$$ Logics based on restricted Nmatrix semantics. Zbl 07535453
Coniglio, Marcelo E.; Toledo, Guilherme V.
2022
Non-classical models of $$\mathsf{ZF}$$. Zbl 07383329
Jockwich Martinez, S.; Venturi, G.
2021
Positive announcements. Zbl 07383333
van Ditmarsch, Hans; French, Tim; Hales, James
2021
Free logics are cut-free. Zbl 07424400
Indrzejczak, Andrzej
2021
Semi De Morgan logic properly displayed. Zbl 07339949
Greco, Giuseppe; Liang, Fei; Moshier, M. Andrew; Palmigiano, Alessandra
2021
Pooling modalities and pointwise intersection: axiomatization and decidability. Zbl 07339950
Van De Putte, Frederik; Klein, Dominik
2021
A conservative negation extension of positive semilattice logic without the finite model property. Zbl 07339952
Weiss, Yale
2021
A generalized proof-theoretic approach to logical argumentation based on hypersequents. Zbl 07339954
Borg, AnneMarie; Straßer, Christian; Arieli, Ofer
2021
An algebraic study of tense operators on Nelson algebras. Zbl 07339956
Figallo, A. V.; Pelaitay, G.; Sarmiento, J.
2021
Kripke semantics for intuitionistic Łukasiewicz logic. Zbl 1487.03027
Lewis-Smith, A.; Oliva, P.; Robinson, E.
2021
Axiomatization of crisp Gödel modal logic. Zbl 07339959
Rodriguez, Ricardo Oscar; Vidal, Amanda
2021
Correspondence, canonicity, and model theory for monotonic modal logics. Zbl 07339960
Yamamoto, Kentarô
2021
The entropy-limit (conjecture) for $$\Sigma_2$$-premisses. Zbl 07339961
Landes, Jürgen
2021
The poset of all logics. III: Finitely presentable logics. Zbl 07383330
Jansana, Ramon; Moraschini, Tommaso
2021
A simple logical matrix and sequent calculus for Parry’s logic of analytic implication. Zbl 07424398
Szmuc, Damian E.
2021
Positive monotone modal logic. Zbl 1486.03041
de Groot, Jim
2021
Correction to: “The Hahn embedding theorem for a class of residuated semigroups”. Zbl 1484.06061
Jenei, Sándor
2021
Containment logics: algebraic completeness and axiomatization. Zbl 1487.03080
Bonzio, Stefano; Pra Baldi, Michele
2021
Inquisitive Heyting algebras. Zbl 1489.03027
Punčochář, Vít
2021
Countably many weakenings of Belnap-Dunn logic. Zbl 1484.03041
Ma, Minghui; Lin, Yuanlei
2020
Epimorphisms, definability and cardinalities. Zbl 1442.03036
Moraschini, T.; Raftery, J. G.; Wannenburg, J. J.
2020
The Hahn embedding theorem for a class of residuated semigroups. Zbl 1484.06060
Jenei, Sándor
2020
Proof theory of paraconsistent weak Kleene logic. Zbl 1476.03031
Paoli, Francesco; Pra Baldi, Michele
2020
From oughts to goals: a logic for Enkrasia. Zbl 07180176
Klein, Dominik; Marra, Alessandra
2020
Notes on Leitgeb’s Ruitenburg. Zbl 1484.03011
Rivello, Edoardo
2020
A general framework for FDE-based modal logics. Zbl 1484.03034
Drobyshevich, Sergey
2020
$$L$$-effect algebras. Zbl 1459.08003
Rump, Wolfgang; Zhang, Xia
2020
A refined interpretation of intuitionistic logic by means of atomic polymorphism. Zbl 1479.03006
Espírito Santo, José; Ferreira, Gilda
2020
Inner-model reflection principles. Zbl 1481.03058
Barton, Neil; Caicedo, Andrés Eduardo; Fuchs, Gunter; Hamkins, Joel David; Reitz, Jonas; Schindler, Ralf
2020
Deontology of compound actions. Zbl 1452.03056
Czelakowski, Janusz
2020
Understanding Hohfeld and formalizing legal rights: the Hohfeldian conceptions and their conditional consequences. Zbl 07180177
Markovich, Réka
2020
Complexity of the universal theory of modal algebras. Zbl 1485.03051
Shkatov, Dmitry; Van Alten, Clint J.
2020
Extended contact algebras and internal connectedness. Zbl 1484.06048
Ivanova, Tatyana
2020
Normality, non-contamination and logical depth in classical natural deduction. Zbl 1455.03013
D&rsquo;Agostino, Marcello; Gabbay, Dov; Modgil, Sanjay
2020
Simple axiomatizations for pretabular classical relevance logics. Zbl 1476.03025
2020
Polarity semantics for negation as a modal operator. Zbl 1486.03049
Lin, Yuanlei; Ma, Minghui
2020
About the unification type of modal logics between $$\mathbf{KB}$$ and $$\mathbf{KTB}$$. Zbl 1486.03038
Balbiani, Philippe; Gencer, Çiğdem
2020
Logics for belief as maximally plausible possibility. Zbl 1486.03034
Bonanno, Giacomo
2020
Integrally closed residuated lattices. Zbl 1486.03114
Gil-Férez, José; Lauridsen, Frederik Möllerström; Metcalfe, George
2020
A canonical model for constant domain basic first-order logic. Zbl 1484.03014
Middleton, Ben
2020
Proof theory for positive logic with weak negation. Zbl 1484.03013
Bílková, Marta; Colacito, Almudena
2020
A note on strong axiomatization of Gödel justification logic. Zbl 1461.03023
Pischke, Nicholas
2020
Bayesian confirmation or ordinary confirmation? Zbl 1481.62005
Yuan, Yongfeng
2020
Simplified Kripke-style semantics for some normal modal logics. Zbl 1452.03061
Pietruszczak, Andrzej; Klonowski, Mateusz; Petrukhin, Yaroslav
2020
The dynamics of epistemic attitudes in resource-bounded agents. Zbl 07075851
Balbiani, Philippe; Fernández-Duque, David; Lorini, Emiliano
2019
Dynamic epistemic logics of diffusion and prediction in social networks. Zbl 07075852
Baltag, Alexandru; Christoff, Zoé; Rendsvig, Rasmus K.; Smets, Sonja
2019
A deterministic weakening of Belnap-Dunn logic. Zbl 07067981
Ma, Minghui; Lin, Yuanlei
2019
A duality for involutive bisemilattices. Zbl 1475.06001
Bonzio, Stefano; Loi, Andrea; Peruzzi, Luisa
2019
The fundamental problem of general proof theory. Zbl 07055410
Prawitz, Dag
2019
The naturality of natural deduction. Zbl 07055417
Tranchini, Luca; Pistone, Paolo; Petrolo, Mattia
2019
Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics. Zbl 07055418
Piecha, Thomas; Schroeder-Heister, Peter
2019
The monodic fragment of propositional term modal logic. Zbl 1439.03046
Padmanabha, Anantha; Ramanujam, R.
2019
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter. Zbl 07100699
Rybakov, Mikhail; Shkatov, Dmitry
2019
Analyticity, balance and non-admissibility of Cut in stoic logic. Zbl 07067984
Bobzien, Susanne; Dyckhoff, Roy
2019
Axiomatizing the logic of imagination. Zbl 07100696
Giordani, Alessandro
2019
A propositional dynamic logic for instantial neighborhood semantics. Zbl 07100700
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
2019
Truth-tracking by belief revision. Zbl 1439.03039
Baltag, Alexandru; Gierasimczuk, Nina; Smets, Sonja
2019
Disjunction and existence properties in inquisitive first-order logic. Zbl 07142216
Grilletti, Gianluca
2019
Postponement of $$\mathsf {raa}$$ and Glivenko’s theorem, revisited. Zbl 07055414
Guerrieri, Giulio; Naibo, Alberto
2019
Is there a “Hilbert thesis”? Zbl 1428.03021
Kahle, Reinhard
2019
Inference as doxastic agency. I: The basics of justification stit logic. Zbl 07055416
Olkhovikov, Grigory K.; Wansing, Heinrich
2019
A categorical equivalence for Stonean residuated lattices. Zbl 07067985
Busaniche, Manuela; Cignoli, Roberto; Marcos, Miguel Andrés
2019
Sequent calculi for global modal consequence relations. Zbl 07100695
Ma, Minghui; Chen, Jinsheng
2019
The balanced pseudocomplemented Ockham algebras with the strong endomorphism kernel property. Zbl 07142218
Fang, Jie
2019
A cut-free sequent calculus for defeasible erotetic inferences. Zbl 07142219
Millson, Jared
2019
Proof compression and NP versus PSPACE. Zbl 1477.03247
Gordeev, L.; Haeusler, E. H.
2019
Logicality, double-line rules, and modalities. Zbl 07055413
Gratzl, Norbert; Orlandelli, Eugenio
2019
Intermediate logics admitting a structural hypersequent calculus. Zbl 07067980
Lauridsen, Frederik M.
2019
On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras. Zbl 07100694
Figallo Orellano, Aldo; Pascual, Inés
2019
Propositional epistemic logics with quantification over agents of knowledge (an alternative approach). Zbl 07100701
2019
Back to basics: belief revision through direct selection. Zbl 1477.03040
Hansson, Sven Ove
2019
Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs. Zbl 07142213
Standefer, Shawn
2019
Completeness in equational hybrid propositional type theory. Zbl 07142215
Manzano, Maria; Martins, Manuel; Huertas, Antonia
2019
Valuations: bi, tri, and tetra. Zbl 1450.03002
French, Rohan; Ripley, David
2019
Arithmetical completeness theorem for modal logic $$\mathsf{K}$$. Zbl 1437.03090
Kurahashi, Taishi
2018
Arithmetical soundness and completeness for $$\Sigma_{2}$$ numerations. Zbl 1437.03167
Kurahashi, Taishi
2018
The structure group of a generalized orthomodular lattice. Zbl 1412.06011
Rump, Wolfgang
2018
Convex MV-algebras: many-valued logics meet decision theory. Zbl 1475.06007
Flaminio, T.; Hosni, H.; Lapenta, S.
2018
Stone-type representations and dualities for varieties of bisemilattices. Zbl 1437.06003
Ledda, Antonio
2018
Varieties of BL-algebras. II. Zbl 1437.06017
Aglianò, P.; Montagna, F.
2018
Bisimulation for conditional modalities. Zbl 1437.03083
Baltag, A.; Cinà, G.
2018
Provably true sentences across axiomatizations of Kripke’s theory of truth. Zbl 1437.03162
Nicolai, Carlo
2018
First-order modal logic: frame definability and a Lindström theorem. Zbl 1437.03095
Zoghifard, R.; Pourmahdian, M.
2018
Proof theory for functional modal logic. Zbl 1437.03093
Standefer, Shawn
2018
The finite model property for logics with the tangle modality. Zbl 1437.03087
Goldblatt, Robert; Hodkinson, Ian
2018
A second pretabular classical relevance logic. Zbl 1437.03096
2018
On argumentation logic and propositional logic. Zbl 1437.68166
Kakas, Antonis C.; Mancarella, Paolo; Toni, Francesca
2018
Semi-intuitionistic logic with strong negation. Zbl 1437.03043
Cornejo, Juan Manuel; Viglizzo, Ignacio
2018
Propositional epistemic logics with quantification over agents of knowledge. Zbl 1437.03074
2018
Poset product and BL-chains. Zbl 1437.06018
Busaniche, Manuela; Gomez, Conrado
2018
Principal and Boolean congruences on $$IKt$$-algebras. Zbl 1437.06011
Figallo, Aldo V.; Pascual, Inés; Pelaitay, Gustavo
2018
The category of node-and-choice preforms for extensive-form games. Zbl 1417.91078
Streufert, Peter A.
2018
Truth, partial logic and infinitary proof systems. Zbl 1437.03160
Fischer, Martin; Gratzl, Norbert
2018
Sequent calculi for $$\mathsf{SCI}$$. Zbl 1437.03165
Chlebowski, Szymon
2018
Sequent calculi for semi-De Morgan and De Morgan algebras. Zbl 1437.03181
Ma, Minghui; Liang, Fei
2018
Reconstructing the topology of the elementary self-embedding monoids of countable saturated structures. Zbl 1437.03121
Pech, Christian; Pech, Maja
2018
...and 1325 more Documents
all top 5

### Cited by 3,685 Authors

 68 Dvurečenskij, Anatolij 47 Gabbay, Dov M. 44 Montagna, Franco 44 Wansing, Heinrich Theodor 43 Di Nola, Antonio 39 Bezhanishvili, Guram 38 van Benthem, Johan F. A. K. 36 Kamide, Norihiro 33 Bezhanishvili, Nick 32 Godo, Lluís 32 Hansson, Sven Ove 32 Paoli, Francesco 30 Jansana, Ramon 30 van Ditmarsch, Hans Pieter 28 Esteva, Francesc 28 Flaminio, Tommaso 25 Czelakowski, Janusz 25 Humberstone, Lloyd 25 Ledda, Antonio 25 Maksimova, Larisa L’vovna 25 Noguera, Carles 24 Fernández Duque, David 23 Cintula, Petr 23 Robles, Gemma 22 Moraschini, Tommaso 21 Andréka, Hajnal 21 Chajda, Ivan 21 Galatos, Nikolaos 21 Giuntini, Roberto 21 Goldblatt, Robert Ian 21 Kowalski, Tomasz 21 Palmigiano, Alessandra 21 Sayed Ahmed, Tarek 20 Avron, Arnon 20 Celani, Sergio Arturo 20 Ciabattoni, Agata 20 Ciungu, Lavinia Corina 20 Dunn, Jon Michael 20 Dziobiak, Wiesław 20 Németi, István 19 Gehrke, Mai 19 Petrukhin, Yaroslav Igorevich 19 Priestley, Hilary A. 19 Raftery, James G. 19 Rivieccio, Umberto 19 Smets, Sonja J. L. 19 Venema, Yde 19 Wang, Yanjing 18 Brady, Ross Thomas 18 Font, Josep Maria 18 Hodkinson, Ian Martin 18 Kern-Isberner, Gabriele 18 Ma, Minghui 18 Mundici, Daniele 18 Odintsov, Sergei P. 18 Visser, Albert 18 Voutsadakis, George 17 Baltag, Alexandru 17 Hájek, Petr 17 Iemhoff, Rosalie 17 Lenzi, Giacomo 17 Metcalfe, George 17 Orłowska, Ewa S. 17 Vakarelov, Dimiter 16 Arieli, Ofer 16 Cignoli, Roberto 16 Davey, Brian A. 16 Francez, Nissim 16 Shramko, Yaroslav V. 16 Studer, Thomas 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 van der Hoek, Wiebe 14 Cabrer, Leonardo Manuel 14 Cornejo, Juan Manuel 14 Frič, Roman 14 Lorini, Emiliano 14 Naumov, Pavel G. 14 Omori, Hitoshi 14 Ono, Hiroakira 14 Wolter, Frank 14 Wooldridge, Michael J. 14 Zamansky, Anna 13 Ågotnes, Thomas 13 Bazhenov, Nikolaĭ Alekseevich 13 Buszkowski, Wojciech 13 Caleiro, Carlos 13 Carnielli, Walter Alexandre 13 Égré, Paul 13 Kontinen, Juha ...and 3,585 more Authors
all top 5

### Cited in 284 Journals

 931 Studia Logica 314 Journal of Philosophical Logic 207 Annals of Pure and Applied Logic 199 The Journal of Symbolic Logic 190 Synthese 176 Fuzzy Sets and Systems 159 Journal of Applied Non-Classical Logics 154 The Review of Symbolic Logic 147 Soft Computing 143 Algebra Universalis 128 Theoretical Computer Science 125 Artificial Intelligence 120 Notre Dame Journal of Formal Logic 110 Journal of Logic, Language and Information 108 International Journal of Approximate Reasoning 105 Archive for Mathematical Logic 95 Journal of Applied Logic 92 Logica Universalis 67 Logic and Logical Philosophy 65 Mathematical Logic Quarterly (MLQ) 56 The Bulletin of Symbolic Logic 55 Information and Computation 52 Annals of Mathematics and Artificial Intelligence 50 Information Sciences 45 International Journal of Theoretical Physics 45 Journal of Automated Reasoning 42 Algebra and Logic 41 History and Philosophy of Logic 39 Erkenntnis 35 Order 31 Mathematica Slovaca 31 Bulletin of the Section of Logic 29 MSCS. Mathematical Structures in Computer Science 28 Journal of Logical and Algebraic Methods in Programming 27 Logical Methods in Computer Science 26 Journal of Pure and Applied Algebra 23 International Journal of Algebra and Computation 22 Journal of Algebra 22 Siberian Mathematical Journal 18 Mathematical Notes 18 ACM Transactions on Computational Logic 17 Applied Categorical Structures 16 Czechoslovak Mathematical Journal 16 Transactions of the American Mathematical Society 14 Communications in Algebra 14 Topoi 14 Theory and Practice of Logic Programming 14 Journal of Multiple-Valued Logic and Soft Computing 14 Foundations of Physics 13 Semigroup Forum 13 The Journal of Logic and Algebraic Programming 12 Journal of Computer and System Sciences 11 International Journal of General Systems 10 Kybernetika 10 Indagationes Mathematicae. New Series 9 Discrete Mathematics 9 Mathematical Social Sciences 9 Games and Economic Behavior 9 Sibirskie Èlektronnye Matematicheskie Izvestiya 7 Journal of Mathematical Analysis and Applications 7 Topology and its Applications 7 Foundations of Science 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 Acta Mathematica Sinica. English Series 5 Journal of Intelligent and Fuzzy Systems 5 Iranian Journal of Fuzzy Systems 5 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 5 Nôus 4 Bulletin of the Australian Mathematical Society 4 Computers & Mathematics with Applications 4 Lithuanian Mathematical Journal 4 Moscow University Mathematics Bulletin 4 Advances in Mathematics 4 Demonstratio Mathematica 4 Journal of Geometry 4 Rendiconti del Circolo Matemàtico di Palermo. Serie II 4 Theory and Decision 4 Tôhoku Mathematical Journal. Second Series 4 New Generation Computing 4 International Journal of Computer Mathematics 4 The Journal of Artificial Intelligence Research (JAIR) 4 Doklady Mathematics 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 Symmetry 4 Games 4 Categories and General Algebraic Structures with Applications 3 Communications in Mathematical Physics ...and 184 more Journals
all top 5

### Cited in 45 Fields

 4,648 Mathematical logic and foundations (03-XX) 1,292 Computer science (68-XX) 991 Order, lattices, ordered algebraic structures (06-XX) 350 General algebraic systems (08-XX) 191 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 154 Category theory; homological algebra (18-XX) 138 Quantum theory (81-XX) 112 History and biography (01-XX) 100 General topology (54-XX) 85 General and overarching topics; collections (00-XX) 82 Group theory and generalizations (20-XX) 79 Probability theory and stochastic processes (60-XX) 54 Combinatorics (05-XX) 28 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) 18 Relativity and gravitational theory (83-XX) 17 Statistics (62-XX) 13 Associative rings and algebras (16-XX) 12 Number theory (11-XX) 11 Topological groups, Lie groups (22-XX) 11 Real functions (26-XX) 10 Commutative algebra (13-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 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 Manifolds and cell complexes (57-XX) 3 Algebraic geometry (14-XX) 3 Difference and functional equations (39-XX) 3 Numerical analysis (65-XX) 2 Partial differential equations (35-XX) 2 Fluid mechanics (76-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Mathematics education (97-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Astronomy and astrophysics (85-XX)