×

Logic Journal of the IGPL

Official publication of the International Interest Group in Pure and Applied Logics (IGPL)

Short Title: Log. J. IGPL
Publisher: Oxford University Press, Oxford
ISSN: 1367-0751; 1368-9894/e
Online: https://academic.oup.com/jigpal/issue
Predecessor: Journal of the IGPL
Comments: Indexed cover-to-cover
Documents Indexed: 935 Publications (since 1997)
all top 5

Latest Issues

30, No. 2 (2022)
30, No. 1 (2022)
29, No. 5 (2021)
29, No. 3 (2021)
29, No. 2 (2021)
29, No. 1 (2021)
28, No. 6 (2020)
28, No. 5 (2020)
27, No. 5 (2019)
27, No. 4 (2019)
27, No. 3 (2019)
27, No. 2 (2019)
27, No. 1 (2018)
26, No. 1 (2018)
25, No. 4 (2017)
25, No. 3 (2017)
25, No. 2 (2017)
24, No. 6 (2016)
24, No. 5 (2016)
24, No. 4 (2016)
24, No. 3 (2016)
24, No. 2 (2016)
24, No. 1 (2016)
23, No. 6 (2015)
23, No. 5 (2015)
23, No. 4 (2015)
23, No. 3 (2015)
23, No. 2 (2015)
23, No. 1 (2015)
22, No. 6 (2014)
22, No. 5 (2014)
22, No. 4 (2014)
22, No. 3 (2014)
22, No. 2 (2014)
22, No. 1 (2014)
21, No. 6 (2013)
21, No. 5 (2013)
21, No. 4 (2013)
21, No. 3 (2013)
21, No. 2 (2013)
21, No. 1 (2013)
20, No. 6 (2012)
20, No. 5 (2012)
20, No. 4 (2012)
20, No. 3 (2012)
20, No. 2 (2012)
20, No. 1 (2012)
19, No. 6 (2011)
19, No. 5 (2011)
19, No. 4 (2011)
19, No. 3 (2011)
19, No. 2 (2011)
19, No. 1 (2011)
18, No. 6 (2010)
18, No. 5 (2010)
18, No. 4 (2010)
18, No. 3 (2010)
18, No. 2 (2010)
18, No. 1 (2010)
17, No. 6 (2009)
17, No. 5 (2009)
17, No. 4 (2009)
17, No. 3 (2009)
17, No. 2 (2009)
17, No. 1 (2009)
16, No. 6 (2008)
16, No. 5 (2008)
16, No. 4 (2008)
16, No. 3 (2008)
16, No. 2 (2008)
16, No. 1 (2008)
15, No. 5-6 (2007)
15, No. 4 (2007)
15, No. 3 (2007)
15, No. 2 (2007)
15, No. 1 (2007)
14, No. 6 (2006)
14, No. 5 (2006)
14, No. 4 (2006)
14, No. 3 (2006)
14, No. 2 (2006)
14, No. 1 (2006)
13, No. 6 (2005)
13, No. 5 (2005)
13, No. 4 (2005)
13, No. 3 (2005)
13, No. 2 (2005)
13, No. 1 (2005)
12, No. 6 (2004)
12, No. 5 (2004)
12, No. 4 (2004)
12, No. 3 (2004)
12, No. 2 (2004)
12, No. 1 (2004)
11, No. 6 (2003)
11, No. 5 (2003)
11, No. 4 (2003)
11, No. 3 (2003)
11, No. 2 (2003)
11, No. 1 (2003)
...and 34 more Volumes
all top 5

Authors

19 Gabbay, Dov M.
18 De Queiroz, Ruy José Guerra Barretto
16 Carnielli, Walter Alexandre
14 Sayed Ahmed, Tarek
10 Magnani, Lorenzo
10 Robles, Gemma
9 Finger, Marcelo
9 Haeusler, Edward Hermann
9 Rybakov, Vladimir Vladimirovich
9 Veloso, Paulo Augusto S.
8 Avron, Arnon
8 Bridges, Douglas Suth
8 Coniglio, Marcelo Esteban
8 Corchado, Emilio S.
8 Quintián, Héctor
8 Sernadas, Cristina S.
7 Ardeshir, Mohammad
7 Kamareddine, Fairouz D.
7 Veloso, Sheila R. M.
6 Ayala-Rincón, Mauricio
6 Benevides, Mario R. F.
6 Dzik, Wojciech
6 Fernández Duque, David
6 Krause, Décio
6 Nepomuceno-Fernández, Ángel
6 Rasga, João
6 van der Hoek, Wiebe
6 Woods, John
5 Alizadeh, Majid
5 Areces, Carlos
5 Béziau, Jean-Yves
5 Blackburn, Patrick
5 de Paiva, Valeria
5 Hájek, Petr
5 Hartonas, Chrysafis
5 Marx, Maarten
5 Mateus, Paulo C.
5 Rivieccio, Umberto
5 Sernadas, Amilcar C.
4 Abraham, Ajith
4 Balbiani, Philippe
4 Barrio, Eduardo Alejandro
4 Broda, Krysia B.
4 Castiglioni, José Luis
4 de Freitas, Renata P.
4 de Jongh, Dick H. J.
4 de Oliveira, Anjolina Grisi
4 Dellunde, Pilar
4 Esteva, Francesc
4 Figallo, Aldo Victorio
4 Gencer, Çigdem
4 Godo, Lluís
4 Golińska-Pilarek, Joanna
4 Gomes da Silva, Samuel
4 Herrero, Álvaro
4 Herzig, Andreas
4 Hirsch, Robin
4 Joosten, Joost J.
4 Kern-Isberner, Gabriele
4 Ledda, Antonio
4 Miglioli, Pierangelo
4 Mikulás, Szabolcs
4 Mints, Grigoriĭ Efroimovich
4 Muñoz-Velasco, Emilio
4 Ognjanović, Zoran
4 Peltier, Nicolas
4 Pizzi, Claudio Ercole Antonio
4 Sakama, Chiaki
4 Schlechta, Karl
4 Soler-Toscano, Fernando
4 Viana, Petrucio
4 Voutsadakis, George
4 Wansing, Heinrich Theodor
4 Wooldridge, Michael J.
3 Ågotnes, Thomas
3 Arieli, Ofer
3 Bimbó, Katalin
3 Boella, Guido
3 Bokov, Grigoriy V.
3 Bruza, Peter D.
3 Caleiro, Carlos
3 Casadio, Claudia
3 Chajda, Ivan
3 Cintula, Petr
3 de Campos Sanz, Wagner
3 Dershowitz, Nachum
3 Dignum, F. P. M.
3 Dunin-Kȩplicz, Barbara
3 Ertola Biraben, Rodolfo C.
3 Ferreira, Gilda
3 Figallo, Martín
3 Font, Josep Maria
3 Gabbay, Michael J.
3 García Bringas, Pablo
3 Ghilardi, Silvio
3 Goranko, Valentin F.
3 Goris, Evan
3 Graña, Manuel
3 Hodges, Wilfrid
3 Humberstone, Lloyd
...and 1,052 more Authors

Publications by Year

Citations contained in zbMATH Open

545 Publications have been cited 2,351 times in 1,855 Documents Cited by Year
Compositional semantics for a language of imperfect information. Zbl 0945.03034
Hodges, Wilfrid
93
1997
Belnap’s four-valued logic and De Morgan lattices. Zbl 0871.03012
Font, Josep Maria
53
1997
Products of modal logics. I. Zbl 0902.03008
Gabbay, Dov M.; Shehtman, Valentin B.
47
1998
A generalized concept lattice. Zbl 1088.06005
Krajči, Stanislav
46
2005
Representation, reasoning, and relational structures: A hybrid logic manifesto. Zbl 0956.03025
Blackburn, Patrick
44
2000
The computational complexity of hybrid temporal logics. Zbl 0959.03011
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
33
2000
On ignorance and contradiction considered as truth-values. Zbl 1139.03013
Dubois, Didier
33
2008
Practical reasoning for very expressive description logics. Zbl 0967.03026
Horrocks, Ian; Sattler, Ulrike; Tobies, Stephan
30
2000
Propositional temporal logics: Decidability and completeness. Zbl 1033.03009
Lichtenstein, Orna; Pnueli, Amir
26
2000
The logic of distributive bilattices. Zbl 1214.03056
Bou, Félix; Rivieccio, Umberto
23
2011
On some varieties of MTL-algebras. Zbl 1078.03051
Noguera, Carles; Esteva, Francesc; Gispert, Joan
23
2005
Hybrid languages and temporal logic. Zbl 0920.03029
Blackburn, Patrick; Tzakova, Miroslava
22
1999
Combinators and structurally free logic. Zbl 0878.03008
Dunn, J. Michael; Meyer, Robert K.
22
1997
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic. Zbl 0948.03013
Celani, Sergio; Jansana, Ramon
20
1999
Multi-valued calculi for logics based on non-determinism. Zbl 1080.03007
Avron, Arnon; Konikowska, Beata
20
2005
Fuzzy closure operators with truth stressers. Zbl 1089.06001
Bělohlávek, Radim; Funioková, Taťána; Vychodil, Vilém
19
2005
Structural completeness in substructural logics. Zbl 1168.03012
Olson, J. S.; Raftery, J. G.; van Alten, C. J.
19
2008
EQ-algebra-based fuzzy type theory and its extensions. Zbl 1243.03034
Novák, Vilém
19
2011
Resolution-based methods for modal logics. Zbl 0947.03014
de Nivelle, Hans; Schmidt, Renate A.; Hustadt, Ullrich
17
2000
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
17
2011
Substructural logics on display. Zbl 0906.03020
Goré, Rajeev
16
1998
Changing legal systems: legal abrogations and annulments in defeasible logic. Zbl 1197.68071
Governatori, Guido; Rotolo, Antonino
16
2010
Independent bases of admissible rules. Zbl 1146.03008
Jeřábek, Emil
16
2008
Equivalence and quantifier rules for logic with imperfect information. Zbl 1160.03007
Caicedo, Xavier; Dechesne, Francien; Janssen, Theo M. V.
15
2009
Bisimulation, modal logic and model checking games. Zbl 0920.03034
Stirling, Colin
14
1999
On distance-based inconsistency reduction algorithms for pairwise comparisons. Zbl 1201.68114
Koczkodaj, W. W.; Szarek, S. J.
14
2010
Interpolation and FEP for logics of residuated algebras. Zbl 1259.03085
Buszkowski, Wojciech
14
2011
Duality via truth: semantic frameworks for lattice-based logics. Zbl 1080.03008
Orłowska, Ewa; Rewitzky, Ingrid
13
2005
Towards a logic of rational agency. Zbl 1029.03014
van der Hoek, Wiebe; Wooldridge, Michael
13
2003
Coherent conditional probability in a fuzzy logic setting. Zbl 1117.03031
Godo, Lluís; Marchioni, Enrico
13
2006
A resolution/tableaux algorithm for projective approximations in IPC. Zbl 1005.03504
Ghilardi, Silvio
12
2002
The rewriting calculus. II. Zbl 0986.03027
Cirstea, Horatiu; Kirchner, Claude
12
2001
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics. Zbl 0938.03042
Avellone, Alessandro; Ferrari, Mauro; Miglioli, Pierangelo
12
1999
Hyperidentities of De Morgan algebras. Zbl 1276.06005
Movsisyan, Yu. M.; Aslanyan, V. A.
12
2012
Algebraic polymodal logic: A survey. Zbl 1012.03060
Goldblatt, Robert
11
2000
Multimodal and intuitionistic logics in simple type theory. Zbl 1222.03023
Benzmüller, Christoph; Paulson, Lawrence C.
11
2010
Hybrid logics with Sahlqvist axioms. Zbl 1080.03006
ten Cate, Balder; Marx, Maarten; Viana, Petrúcio
11
2005
Bridges between classical and nonmonotonic logic. Zbl 1016.03024
Makinson, David
11
2003
An expansion of first-order Belnap-Dunn logic. Zbl 1342.03025
Sano, Katsuhiko; Omori, Hitoshi
11
2014
Multiplicative conjunction as an extensional conjunction. Zbl 0867.03019
Avron, Arnon
10
1997
Decision procedures and model building in equational clause logic. Zbl 0903.03010
Fermüller, Christian G.; Leitsch, Alexander
10
1998
Projective unification in modal logic. Zbl 1260.03041
Dzik, Wojciech; Wojtylak, Piotr
10
2012
A cut-free Gentzen formulation of the modal logic S5. Zbl 0965.03023
Braüner, Torben
9
2000
On the search for a finitizable algebraization of first order logic. Zbl 0973.03008
Sain, Ildikó
9
2000
Strongly decidable properties of modal and intuitionistic calculi. Zbl 0963.03004
Maksimova, Larisa
9
2000
Problem of restricted interpolation in superintuitionistic and some modal logics. Zbl 1203.03035
Maksimova, Larisa
9
2010
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. Zbl 1215.03048
Dowek, Gilles; Gabbay, Murdoch J.; Mulligan, Dominic P.
9
2010
On cylindric algebras satisfying merry-go-round properties. Zbl 1158.03038
Ferenczi, Miklòs
9
2007
Two extensions of the structurally free logic LC. Zbl 0904.03006
Bimbó, Katalin; Dunn, J. Michael
8
1998
Hybrid completeness. Zbl 0904.03009
Blackburn, Patrick; Tzakova, Miroslava
8
1998
Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Zbl 0917.03025
Goré, Rajeev
8
1998
An introduction to cylindric set algebras. Zbl 0979.03046
Monk, J. Donald
8
2000
Information transfer across Chu spaces. Zbl 0963.03055
van Benthem, Johan
8
2000
The new logic. Zbl 0984.03032
Gabbay, Dov; Woods, John
8
2001
Finite schematizable algebraic logic. Zbl 0886.03044
Sain, Ildikó; Gyuris, Viktor
8
1997
On the union of well-founded relations. Zbl 0892.68050
Doornbos, Henk; von Karger, Burghard
8
1998
A new principle in the interpretability logic of all reasonable arithmetical theories. Zbl 1228.03040
Goris, Evan; Joosten, Joost J.
8
2011
A non-arithmetical Gödel logic. Zbl 1086.03018
Hájek, Petr
8
2005
Logics with the qualitative probability operator. Zbl 1138.03024
Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
8
2008
Many-valued reflexive autoepistemic logic. Zbl 1033.03021
Koutras, Costas D.; Zachos, Stathis
8
2000
A deterministic terminating sequent calculus for Gödel-Dummett logic. Zbl 0929.03057
Dyckhoff, Roy
7
1999
General patterns for nonmonotonic reasoning: From basic entailments to plausible relations. Zbl 0966.03024
Arieli, Ofer; Avron, Arnon
7
2000
Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025
Gabbay, Dov M.; Shehtman, Valentin B.
7
2000
Defining double negation elimination. Zbl 0980.03033
Restall, Greg
7
2000
Partiality and games: Propositional logic. Zbl 0971.03031
Sandu, Gabriel; Pietarinen, Ahti
7
2001
Interpolation in practical formal development. Zbl 0981.03035
Bicarregui, Juan; Dimitrakos, Theo; Gabbay, Dov; Maibaum, Tim
7
2001
Creating collective intention through dialogue. Zbl 0974.68201
Dignum, Frank; Dunin-Kȩplicz, Barbara; Verbrugge, Rineke
7
2001
Unification via the \(\lambda s_e\)-style of explicit substitutions. Zbl 0987.03012
Ayala-Rincón, Mauricio; Kamareddine, Fairouz
7
2001
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. Zbl 0874.03009
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario
7
1997
A formal logic for abductive reasoning. Zbl 1108.03035
Meheus, Joke; Batens, Diderik
7
2006
Generalized truth values. A reply to Dubois. Zbl 1209.03020
Wansing, Heinrich; Belnap, Nuel
7
2010
A first-order conditional probability logic. Zbl 1251.03030
Milošević, Miloš; Ognjanović, Zoran
7
2012
Higher order \(\beta\) matching is undecidable. Zbl 1014.03017
Loader, Ralph
7
2003
A note on negation in categorial grammar. Zbl 1134.03016
Wansing, Heinrich
7
2007
Maximum entropy inference with quantified knowledge. Zbl 1133.03326
Barnett, Owen; Paris, Jeff
7
2008
Kripke completeness of first-order constructive logics with strong negation. Zbl 1048.03022
Hasuo, Ichiro; Kashima, Ryo
7
2003
A paraconsistent 3-valued logic related to Gödel logic G3. Zbl 1343.03025
Robles, Gemma; Méndez, José M.
7
2014
Tense operators on De Morgan algebras. Zbl 1347.06012
Figallo, Aldo V.; Pelaitay, Gustavo
7
2014
An alternative approach for quasi-truth. Zbl 1342.03027
Coniglio, Marcelo Esteban; da Cruz Silvestrini, Luiz Henrique
7
2014
The unrestricted combination of temporal logic systems. Zbl 1003.03015
Finger, Marcelo; Weiss, M. Angela
6
2002
Approximate belief revision. Zbl 1005.03020
Chopra, Samir; Parikh, Rohit; Wassermann, Renata
6
2001
On the semantics of informational independence. Zbl 1005.03033
Väänänen, Jouko
6
2002
An analysis of (linear) exponentials based on extended sequents. Zbl 0934.03077
Guerrini, Stefano; Martini, Simone; Masini, Andrea
6
1998
Classical negation can be expressed by one of its halves. Zbl 0924.03012
Béziau, Jean-Yves
6
1999
Equality-free logic: The method of diagrams and preservation theorems. Zbl 0942.03044
Dellunde, Pilar
6
1999
Embeddings of propositional monomodal logics. Zbl 0963.03035
Zolin, Evgeni E.
6
2000
A computationally grounded logic of visibility, perception, and knowledge. Zbl 0974.68203
Wooldridge, Michael; Lomuscio, Alessio
6
2001
The rewriting calculus. I. Zbl 0986.03026
Cirstea, Horatiu; Kirchner, Claude
6
2001
Semantics for structurally free logics LC+. Zbl 0986.03019
Bimbó, Katalin
6
2001
The class of neat reducts is not elementary. Zbl 0988.03098
Sayed-Ahmed, Tarek
6
2001
Modal foundations for predicate logic. Zbl 0949.03517
van Benthem, Johan
6
1997
Relation algebras from cylindric and polyadic algebras. Zbl 0886.03042
Németi, István; Simon, András
6
1997
Filters and partial orders. Zbl 0884.03027
Schlechta, Karl
6
1997
A fast deterministic algorithm for formulas that have many satisfying assignments. Zbl 0897.03043
Hirsch, Edward A.
6
1998
Advice on abductive logic. Zbl 1108.03008
Gabbay, Dov; Woods, John
6
2006
A finite relation algebra with undecidable network satisfaction problem. Zbl 0933.03051
Hirsch, Robin
6
1999
A defeasible logic for modelling policy-based intentions and motivational attitudes. Zbl 1171.03014
Governatori, Guido; Padmanabhan, Vineet; Rotolo, Antonino; Sattar, Abdul
6
2009
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Zbl 1171.68043
Golinska-Pilarek, J.; Muñoz-Velasco, E.
6
2009
HpsUL is not the logic of pseudo-uninorms and their residua. Zbl 1172.03017
Wang, Sanmin; Zhao, Bin
6
2009
Robust normative systems and a logic of norm compliance. Zbl 1198.68232
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2010
Extensions of paraconsistent weak Kleene logic. Zbl 07438997
Paoli, Francesco; Pra Baldi, Michele
1
2021
The Russell-Prawitz embedding and the atomization of universal instantiation. Zbl 07438998
Santo, José Espírito; Ferreira, Gilda
1
2021
Non-deterministic algebraization of logics by swap structures. Zbl 1477.03089
Coniglio, Marcelo E.; Figallo-Orellano, Aldo; Golzio, Ana Claudia
2
2020
Recovery operators, paraconsistency and duality. Zbl 1477.03087
Carnielli, Walter; Coniglio, Marcelo E.; Rodrigues, Abilio
1
2020
Theories of truth based on four-valued infectious logics. Zbl 1477.03072
Da Ré, Bruno; Pailos, Federico; Szmuc, Damian
1
2020
Embracing intensionality: paradoxicality and semi-truth operators in fixed point models. Zbl 1477.03018
Tourville, Nicholas; Cook, Roy T.
1
2020
LFIs and methods of classical recapture. Zbl 1477.03098
Tajer, Diego
1
2020
A note on logics of essence and accident. Zbl 1477.03051
Gilbert, David R.; Venturi, Giorgio
1
2020
A game theoretical semantics for a logic of formal inconsistency. Zbl 1477.03085
Başkent, Can; Henrique Carrasqueira, Pedro
1
2020
Remarks about the unification type of several non-symmetric non-transitive modal logics. Zbl 07125821
Balbiani, Philippe
2
2019
Localizing finite-depth Kripke models. Zbl 07067260
Mojtahedi, Mojtaba
1
2019
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments. Zbl 07067261
Kuznetsov, Stepan; Lugovaya, Valentina; Ryzhova, Anastasiia
1
2019
Analogues of Bull’s theorem for hybrid logic. Zbl 07067263
Conradie, Willem; Robinson, Claudette
1
2019
Forcing and satisfaction in Kripke models of intuitionistic arithmetic. Zbl 07125822
Abiri, Maryam; Moniri, Morteza; Zaare, Mostafa
1
2019
Yet another paradefinite logic: the role of conflation. Zbl 07125818
Kamide, Norihiro; Zohar, Yoni
3
2018
On the structure theory of Łukasiewicz near semirings. Zbl 07072095
Chajda, Ivan; Fazio, Davide; Ledda, Antonio
2
2018
A decomposition-based method for solving the clustered vehicle routing problem. Zbl 07072098
Horvat-Marc, Andrei; Fuksz, Levente; Pop, Petrică C.; Dănciulescu, Daniela
2
2018
Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix. Zbl 07125817
Robles, Gemma
2
2018
Proof systems for BAT consequence relations. Zbl 07072099
Pawlowski, Pawel
1
2018
Automatic proof generation in an axiomatic system for \(\mathsf{CPL}\) by means of the method of socratic proofs. Zbl 07072100
Grzelak, Aleksandra; Leszczyńska-Jasion, Dorota
1
2018
Propositional superposition logic. Zbl 07072101
Tzouvaras, Athanassios
1
2018
Complexity of finite-variable fragments of propositional modal logics of symmetric frames. Zbl 07125816
Rybakov, Mikhail; Shkatov, Dmitry
1
2018
Order-dual relational semantics for non-distributive propositional logics. Zbl 1405.03071
Hartonas, Chrysafis
6
2017
Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel
6
2017
Self-extensional three-valued paraconsistent logics have no implication. Zbl 1405.03063
Avron, Arnon; Beziau, Jean-Yves
5
2017
Assertion and hypothesis: a logical framework for their opposition relations. Zbl 1405.03074
Carrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro
4
2017
Cut-elimination and deductive polarization in complementary classical logic. Zbl 1405.03088
Carnielli, Walter A.; Pulcini, Gabriele
4
2017
A paraconsistent route to semantic closure. Zbl 1405.03064
Barrio, Eduardo Alejandro; Pailos, Federico Matias; Szmuc, Damian Enrique
3
2017
\(\eta\)-conversions of IPC implemented in atomic F. Zbl 1405.03091
Ferreira, Gilda
2
2017
Weak subintuitionistic logics. Zbl 1405.03029
Shirmohammadzadeh Maleki, Fatemeh; de Jongh, Dick
1
2017
Equivalence among RC-type paraconsistent logics. Zbl 1405.03065
Osorio, Mauricio; Castellanos Joo, José Abel
1
2017
Minimizing disjunctive normal forms of pure first-order logic. Zbl 1405.03023
Lampert, Timm
1
2017
Modal operators for meet-complemented lattices. Zbl 1405.03049
Castiglioni, José Luis; Ertola-Biraben, Rodolfo C.
1
2017
Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Zbl 1405.03021
Stern, Julio Michael
1
2017
Modal and temporal extensions of non-distributive propositional logics. Zbl 1405.03051
Hartonas, Chrysafis
6
2016
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics. Zbl 1405.03102
Dellunde, Pilar; García-Cerdaña, Àngel; Noguera, Carles
5
2016
Some classes of quasi-pseudo-MV algebras. Zbl 1405.06006
Chen, Wenjuan; Davvaz, Bijan
5
2016
Uniqueness of axiomatic extensions of cut-free classical propositional logic. Zbl 1405.03022
Piazza, Mario; Pulcini, Gabriele
4
2016
Representing quantum structures as near semirings. Zbl 1405.06007
Bonzio, Stefano; Chajda, Ivan; Ledda, Antonio
4
2016
Grafting hypersequents onto nested sequents. Zbl 1405.03092
Kuznets, Roman; Lellmann, Björn
3
2016
Decidability and complexity of fibred logics without shared connectives. Zbl 1405.03032
Marcelino, Sérgio; Caleiro, Carlos
3
2016
A companion to Brady’s 4-valued relevant logic \(\mathrm{BN}4\): the 4-valued logic of entailment \(\mathrm{E}_4\). Zbl 1405.03061
Robles, Gemma; Méndez, José M.
3
2016
Theory of disjunctive attacks. I. Zbl 1407.68464
Gabbay, D.; Gabbay, M.
2
2016
On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics. Zbl 1405.03059
Coniglio, Marcelo E.; Esteva, Francesc; Godo, Lluís
2
2016
On the parallel computation thesis. Zbl 1407.68186
Dershowitz, Nachum; Falkovich-Derzhavetz, Evgenia
2
2016
Carnapian truthlikeness. Zbl 1405.03011
Cevolani, Gustavo
2
2016
Pavelka-style fuzzy justification logics. Zbl 1405.03040
Ghari, Meghdad
2
2016
Skolemization in intermediate logics with the finite model property. Zbl 1405.03068
Baaz, Matthias; Iemhoff, Rosalie
1
2016
Some relevance logics from the point of view of relational semantics. Zbl 1405.03054
Bimbó, Katalin
1
2016
Weak arithmetical interpretations for the logic of proofs. Zbl 1405.03096
Kuznets, Roman; Studer, Thomas
1
2016
Common cause abduction: the formation of theoretical concepts and models in science. Zbl 1405.03020
Schurz, Gerhard
1
2016
Undecidable problems for propositional calculi with implication. Zbl 1405.03031
Bokov, Grigoriy V.
1
2016
Relation-changing modal operators. Zbl 1405.03047
Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume
6
2015
A general framework for product representations: bilattices and beyond. Zbl 1405.06002
Cabrer, L. M.; Priestley, H. A.
5
2015
On guarded transformation in the modal \(\mu\)-calculus. Zbl 1405.03048
Bruse, Florian; Friedmann, Oliver; Lange, Martin
3
2015
First steps towards probabilistic justification logic. Zbl 1405.03057
Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas
3
2015
Reduction of provability logics to \(\Sigma_1\)-provability logics. Zbl 1405.03094
Ardeshir, Mohammad; Mojtahedi, S. Mojtaba
3
2015
A binary Routley semantics for intuitionistic De Morgan minimal logic \(H_M\) and its extensions. Zbl 1405.03066
Robles, Gemma; Méndez, José M.
2
2015
On frontal operators in Hilbert algebras. Zbl 1407.03079
Castiglioni, José L.; San Martín, Hernán J.
2
2015
On structural completeness versus almost structural completeness problem: a discriminator varieties case study. Zbl 1405.08006
Campercholi, Miguel; Stronkowski, Michał M.; Vaggione, Diego
2
2015
A formal account of dishonesty. Zbl 1405.03042
Sakama, Chiaki; Caminada, Martin; Herzig, Andreas
2
2015
How to make up one’s mind. Zbl 1405.03044
Zhang, Li; Hansson, Sven Ove
2
2015
Forgetting complex propositions. Zbl 1405.03039
Fernández-Duque, David; Nepomuceno-Fernández, Ángel; Sarrión-Morrillo, Enrique; Soler-Toscano, Fernando; Velázquez-Quesada, Fernando R.
2
2015
Counting weak Heyting algebras on finite distributive lattices. Zbl 1405.06004
Alizadeh, Majid; Joharizadeh, Nima
1
2015
Explicit substitution calculi with de Bruijn indices and intersection type systems. Zbl 1405.03037
Ventura, Daniel Lima; Kamareddine, Fairouz; Ayala-Rincón, Mauricio
1
2015
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication. Zbl 1405.03030
Bokov, Grigoriy V.
1
2015
Some non-classical approaches to the Brandenburger-Keisler paradox. Zbl 1405.03038
Başkent, Can
1
2015
Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\). Zbl 1405.03050
Dzik, Wojciech; Wojtylak, Piotr
1
2015
First-order aspects of tree paths. Zbl 1405.03078
Kellerman, Ruaan
1
2015
Base-extension semantics for intuitionistic sentential logic. Zbl 1405.03028
Sandqvist, Tor
1
2015
Logical consistency in simultaneous statistical test procedures. Zbl 1405.62105
Izbicki, Rafael; Esteves, Luís Gustavo
1
2015
Relative expressive power of navigational querying on graphs using transitive closure. Zbl 1407.68134
Surinx, Dimitri; Fletcher, George H. L.; Gyssens, Marc; Leinders, Dirk; Van den Bussche, Jan; Van Gucht, Dirk; Vansummeren, Stijn; Wu, Yuqing
1
2015
Nested sequents for provability logic \(\mathsf{GLP}\). Zbl 1405.03098
Shamkanov, Daniyar
1
2015
The attack as strong negation. I. Zbl 1405.03027
Gabbay, D.; Gabbay, M.
1
2015
A combinatorial version of the Svenonius theorem on definability. Zbl 1405.03076
Semenov, A. L.; Soprunov, S. F.
1
2015
An expansion of first-order Belnap-Dunn logic. Zbl 1342.03025
Sano, Katsuhiko; Omori, Hitoshi
11
2014
A paraconsistent 3-valued logic related to Gödel logic G3. Zbl 1343.03025
Robles, Gemma; Méndez, José M.
7
2014
Tense operators on De Morgan algebras. Zbl 1347.06012
Figallo, Aldo V.; Pelaitay, Gustavo
7
2014
An alternative approach for quasi-truth. Zbl 1342.03027
Coniglio, Marcelo Esteban; da Cruz Silvestrini, Luiz Henrique
7
2014
An introduction to partition logic. Zbl 1343.03026
Ellerman, David
6
2014
Dualities for modal N4-lattices. Zbl 1335.03071
Jansana, Ramon; Rivieccio, Umberto
6
2014
Swap logic. Zbl 1342.03018
Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume
6
2014
Well-orders in the transfinite Japaridze algebra. Zbl 1405.03095
Fernández-Duque, David; Joosten, Joost J.
5
2014
Finitely many-valued logics and natural deduction. Zbl 1328.03022
Englander, Cecilia; Haeusler, Edward Hermann; Pereira, Luiz Carlos
5
2014
Logics of varieties, logics of semilattices and conjunction. Zbl 1405.03103
Font, Josep Maria; Moraschini, Tommaso
4
2014
Logics of formal inconsistency arising from systems of fuzzy logic. Zbl 1405.03062
Coniglio, Marcelo E.; Esteva, Francesc; Godo, Lluís
4
2014
Characterizing intermediate tense logics in terms of Galois connections. Zbl 1405.03069
Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro
4
2014
Applications of ultraproducts: from compactness to fuzzy elementary classes. Zbl 1343.03023
Dellunde, Pilar
4
2014
Randomized game semantics for semi-fuzzy quantifiers. Zbl 1342.03026
Fermüller, Christian G.; Roschger, Christoph
4
2014
Bayesian epistemic values: focus on surprise, measure probability! Zbl 1309.62057
Stern, Julio Michael; de Bragança Pereira, Carlos A.
4
2014
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation. Zbl 1306.03014
Castiglioni, José Luis; Ertola Biraben, Rodolfo C.
4
2014
Constructive semantics, admissibility of rules and the validity of Peirce’s law. Zbl 1323.03086
de Campos Sanz, Wagner; Piecha, Thomas; Schroeder-Heister, Peter
4
2014
Tarski’s theorem and liar-like paradoxes. Zbl 1343.03006
Hsiung, Ming
3
2014
Modal twist-structures over residuated lattices. Zbl 1335.03072
Ono, Hiroakira; Rivieccio, Umberto
3
2014
Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\). Zbl 1342.03017
Rybakov, Vladimir
3
2014
Deontic logic (adapted) for normative conflicts. Zbl 1314.03022
Goble, Lou
3
2014
A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics. Zbl 1330.03059
Robles, Gemma; Méndez, José M.
2
2014
On the interrelation between systems of spheres and epistemic entrenchment relations. Zbl 1342.03016
Reis, Maurício D. L.
2
2014
On an inferential semantics for classical logic. Zbl 1343.03009
Makinson, David
2
2014
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP. Zbl 1342.03020
Lin, Zhe
2
2014
...and 445 more Documents
all top 5

Cited by 1,799 Authors

21 Avron, Arnon
21 Sayed Ahmed, Tarek
19 Kamide, Norihiro
18 Maksimova, Larisa L’vovna
17 Rivieccio, Umberto
16 Bimbó, Katalin
15 Gabbay, Dov M.
15 Medina, Jesús
14 Wansing, Heinrich Theodor
13 Areces, Carlos
13 Bělohlávek, Radim
13 Dubois, Didier
13 Galliani, Pietro
13 Novák, Vilém
13 Rybakov, Vladimir Vladimirovich
13 Voutsadakis, George
12 Balbiani, Philippe
12 Gabbay, Murdoch James
12 Ognjanović, Zoran
12 Robles, Gemma
12 van Benthem, Johan F. A. K.
11 Humberstone, Lloyd
11 Movsisyan, Yuri Movses
11 Ojeda-Aciego, Manuel
11 Väänänen, Jouko Antero
11 Vychodil, Vilém
11 Zamansky, Anna
10 Dunn, Jon Michael
10 Hirsch, Robin
10 Konecny, Jan
10 Palmigiano, Alessandra
10 Schmidt, Renate A.
9 Arieli, Ofer
9 Benzmüller, Christoph Ewald
9 Caleiro, Carlos
9 Godo, Lluís
9 Iemhoff, Rosalie
9 Ma, Minghui
9 Marcelino, Sérgio
9 Martins, Manuel António
9 Noguera, Carles
9 Perović, Aleksandar
9 Raftery, James G.
9 Wooldridge, Michael J.
9 Yun, Veta Fëdorovna
8 Ayala-Rincón, Mauricio
8 Bezhanishvili, Nick
8 Blackburn, Patrick
8 Conradie, Willem
8 Ferenczi, Miklós
8 Jansana, Ramon
8 Kontinen, Juha
8 Koutras, Costas D.
8 Kurucz, Agi
8 Lawry, Jonathan
8 Moraschini, Tommaso
8 Pelaitay, Gustavo
8 Peltier, Nicolas
8 Rasga, João
8 Sernadas, Cristina S.
8 Yang, Fan
7 Andréka, Hajnal
7 Aslanyan, Vahagn A.
7 Benevides, Mario R. F.
7 Ciungu, Lavinia Corina
7 Fernández Duque, David
7 Figallo, Aldo Victorio
7 Governatori, Guido
7 Hodkinson, Ian Martin
7 Kesner, Delia
7 Kuznetsov, Stepan L’vovich
7 Lange, Martin
7 Lorini, Emiliano
7 Negri, Sara
7 Németi, István
7 Omori, Hitoshi
7 Orłowska, Ewa S.
7 Paoli, Francesco
7 Pocs, Jozef
7 Rašković, Miodrag D.
7 Sernadas, Amilcar C.
7 van Ditmarsch, Hans Pieter
7 Wolter, Frank
7 Zakharyaschev, Michael Viktorovich
6 Badia, Guillermo
6 Barbero, Fausto
6 Bartl, Eduard
6 Bezhanishvili, Guram
6 Ciucci, Davide
6 Coniglio, Marcelo Esteban
6 Demri, Stéphane P.
6 Dershowitz, Nachum
6 Doder, Dragan
6 Dyckhoff, Roy
6 Esteva, Francesc
6 Fermé, Eduardo Leopoldo
6 Fiorino, Guido
6 Goranko, Valentin F.
6 Hájek, Petr
6 Hartonas, Chrysafis
...and 1,699 more Authors
all top 5

Cited in 157 Journals

175 Studia Logica
79 Annals of Pure and Applied Logic
79 Journal of Applied Non-Classical Logics
71 Journal of Philosophical Logic
61 Fuzzy Sets and Systems
57 Theoretical Computer Science
49 Synthese
49 Journal of Applied Logic
47 Journal of Logic, Language and Information
46 The Journal of Symbolic Logic
43 The Review of Symbolic Logic
41 Artificial Intelligence
38 International Journal of Approximate Reasoning
38 Logica Universalis
37 Information Sciences
31 Notre Dame Journal of Formal Logic
30 Soft Computing
29 Journal of Automated Reasoning
29 Annals of Mathematics and Artificial Intelligence
28 Archive for Mathematical Logic
28 Mathematical Logic Quarterly (MLQ)
26 Information and Computation
24 Algebra Universalis
22 Logic and Logical Philosophy
20 The Bulletin of Symbolic Logic
14 Logical Methods in Computer Science
12 Journal of Logical and Algebraic Methods in Programming
11 Algebra and Logic
11 Journal of Symbolic Computation
9 Journal of Computer and System Sciences
9 Bulletin of the Section of Logic
9 MSCS. Mathematical Structures in Computer Science
9 ACM Transactions on Computational Logic
8 Theory and Practice of Logic Programming
7 Siberian Mathematical Journal
7 Formal Aspects of Computing
7 The Journal of Logic and Algebraic Programming
6 International Journal of General Systems
6 Applied Mathematics and Computation
6 European Journal of Operational Research
6 Applied Categorical Structures
6 Erkenntnis
5 Communications in Algebra
5 Transactions of the American Mathematical Society
5 International Journal of Computer Mathematics
5 Foundations of Science
5 Journal of Siberian Federal University. Mathematics & Physics
4 Information Processing Letters
4 Machine Learning
4 Indagationes Mathematicae. New Series
4 Formal Methods in System Design
4 Topoi
4 Fundamenta Informaticae
4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
4 Journal of Multiple-Valued Logic and Soft Computing
4 Proceedings of the Steklov Institute of Mathematics
4 Asian-European Journal of Mathematics
3 Journal of Pure and Applied Algebra
3 Computers & Operations Research
3 International Journal of Intelligent Systems
3 International Journal of Foundations of Computer Science
3 Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences
3 Theory and Applications of Categories
3 Symmetry
3 Frontiers of Computer Science
2 Acta Informatica
2 Lithuanian Mathematical Journal
2 Advances in Mathematics
2 Demonstratio Mathematica
2 International Journal for Numerical Methods in Engineering
2 Journal of Computational and Applied Mathematics
2 Quaestiones Mathematicae
2 History and Philosophy of Logic
2 Order
2 Algorithmica
2 AI Communications
2 Communications in Statistics. Theory and Methods
2 Higher-Order and Symbolic Computation
2 International Game Theory Review
2 Computer Languages, Systems & Structures
2 Central European Journal of Mathematics
2 Structural and Multidisciplinary Optimization
2 Computational Linguistics
2 Foundations of Physics
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Armenian Journal of Mathematics
2 European Journal for Philosophy of Science
2 Axiomathes
2 European Journal of Mathematics
1 Biological Cybernetics
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 International Journal of Theoretical Physics
1 Mathematische Semesterberichte
1 Russian Mathematical Surveys
1 Acta Mathematica Vietnamica
1 Czechoslovak Mathematical Journal
1 International Journal of Mathematics and Mathematical Sciences
1 The Journal of Mathematical Sociology
...and 57 more Journals
all top 5

Cited in 37 Fields

1,474 Mathematical logic and foundations (03-XX)
677 Computer science (68-XX)
202 Order, lattices, ordered algebraic structures (06-XX)
72 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
57 General algebraic systems (08-XX)
30 Category theory; homological algebra (18-XX)
27 History and biography (01-XX)
21 General topology (54-XX)
18 General and overarching topics; collections (00-XX)
18 Operations research, mathematical programming (90-XX)
17 Combinatorics (05-XX)
17 Information and communication theory, circuits (94-XX)
16 Quantum theory (81-XX)
14 Statistics (62-XX)
8 Group theory and generalizations (20-XX)
7 Probability theory and stochastic processes (60-XX)
7 Systems theory; control (93-XX)
6 Biology and other natural sciences (92-XX)
5 Associative rings and algebras (16-XX)
5 Real functions (26-XX)
4 Number theory (11-XX)
4 Commutative algebra (13-XX)
4 Numerical analysis (65-XX)
4 Mechanics of deformable solids (74-XX)
3 Measure and integration (28-XX)
3 Dynamical systems and ergodic theory (37-XX)
3 Relativity and gravitational theory (83-XX)
2 Field theory and polynomials (12-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Geometry (51-XX)
1 Nonassociative rings and algebras (17-XX)
1 Special functions (33-XX)
1 Partial differential equations (35-XX)
1 Sequences, series, summability (40-XX)
1 Operator theory (47-XX)
1 Convex and discrete geometry (52-XX)
1 Optics, electromagnetic theory (78-XX)

Citations by Year