×

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: 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

Publications by Year

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 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