×

zbMATH — the first resource for mathematics

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: 879 Publications (since 1997)
all top 5

Latest Issues

28, No. 6 (2020)
28, No. 5 (2020)
27, No. 5 (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)
10, No. 6 (2002)
10, No. 5 (2002)
10, No. 4 (2002)
10, No. 3 (2002)
10, No. 2 (2002)
10, No. 1 (2002)
9, No. 6 (2001)
...and 27 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
9 Finger, Marcelo
9 Haeusler, Edward Hermann
9 Robles, Gemma
9 Rybakov, Vladimir Vladimirovich
9 Veloso, Paulo Augusto S.
8 Avron, Arnon
8 Bridges, Douglas Suth
8 Coniglio, Marcelo Esteban
7 Ardeshir, Mohammad
7 Kamareddine, Fairouz D.
7 Sernadas, Cristina S.
7 Veloso, Sheila R. M.
6 Ayala-Rincón, Mauricio
6 Benevides, Mario R. F.
6 Corchado, Emilio S.
6 Dzik, Wojciech
6 Krause, Décio
6 Nepomuceno-Fernández, Ángel
6 van der Hoek, Wiebe
6 Woods, John
5 Areces, Carlos
5 Béziau, Jean-Yves
5 Blackburn, Patrick
5 de Paiva, Valeria
5 Fernández Duque, David
5 Hájek, Petr
5 Hartonas, Chrysafis
5 Marx, Maarten
5 Mateus, Paulo C.
5 Quintián, Héctor
4 Abraham, Ajith
4 Alizadeh, Majid
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 Herrero, Álvaro
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 E. A.
4 Rasga, João
4 Rivieccio, Umberto
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 Balbiani, Philippe
3 Bimbó, Katalin
3 Boella, Guido
3 Bokov, Grigoriy V.
3 Bruza, Peter D.
3 Caleiro, Carlos
3 Casadio, Claudia
3 de Campos Sanz, Wagner
3 Dershowitz, Nachum
3 Dignum, F. P. M.
3 Dunin-Kȩplicz, Barbara
3 Ertola Biraben, Rodolfo C.
3 Figallo, Martín
3 Font, Josep Maria
3 Gabbay, Michael J.
3 García Bringas, Pablo
3 Ghilardi, Silvio
3 Gomes da Silva, Samuel
3 Goranko, Valentin F.
3 Goris, Evan
3 Graña, Manuel
3 Herzig, Andreas
3 Hodges, Wilfrid
3 Humberstone, Lloyd
3 Iemhoff, Rosalie
3 Inoue, Katsumi
3 Jansana, Ramon
3 Järvinen, Jouni
...and 942 more Authors

Publications by Year

Citations contained in zbMATH Open

513 Publications have been cited 2,169 times in 1,712 Documents Cited by Year
Compositional semantics for a language of imperfect information. Zbl 0945.03034
Hodges, Wilfrid
86
1997
Belnap’s four-valued logic and De Morgan lattices. Zbl 0871.03012
Font, Josep Maria
50
1997
Products of modal logics. I. Zbl 0902.03008
Gabbay, Dov M.; Shehtman, Valentin B.
45
1998
Representation, reasoning, and relational structures: A hybrid logic manifesto. Zbl 0956.03025
Blackburn, Patrick
44
2000
A generalized concept lattice. Zbl 1088.06005
Krajči, Stanislav
44
2005
On ignorance and contradiction considered as truth-values. Zbl 1139.03013
Dubois, Didier
33
2008
The computational complexity of hybrid temporal logics. Zbl 0959.03011
Areces, Carlos; Blackburn, Patrick; Marx, Maarten
32
2000
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
24
2000
The logic of distributive bilattices. Zbl 1214.03056
Bou, Félix; Rivieccio, Umberto
22
2011
Hybrid languages and temporal logic. Zbl 0920.03029
Blackburn, Patrick; Tzakova, Miroslava
22
1999
On some varieties of MTL-algebras. Zbl 1078.03051
Noguera, Carles; Esteva, Francesc; Gispert, Joan
22
2005
Combinators and structurally free logic. Zbl 0878.03008
Dunn, J. Michael; Meyer, Robert K.
21
1997
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic. Zbl 0948.03013
Celani, Sergio; Jansana, Ramon
19
1999
Structural completeness in substructural logics. Zbl 1168.03012
Olson, J. S.; Raftery, J. G.; van Alten, C. J.
19
2008
Multi-valued calculi for logics based on non-determinism. Zbl 1080.03007
Avron, Arnon; Konikowska, Beata
19
2005
Fuzzy closure operators with truth stressers. Zbl 1089.06001
Bělohlávek, Radim; Funioková, Taťána; Vychodil, Vilém
19
2005
EQ-algebra-based fuzzy type theory and its extensions. Zbl 1243.03034
Novák, Vilém
18
2011
Substructural logics on display. Zbl 0906.03020
Goré, Rajeev
16
1998
Resolution-based methods for modal logics. Zbl 0947.03014
de Nivelle, Hans; Schmidt, Renate A.; Hustadt, Ullrich
16
2000
Equivalence and quantifier rules for logic with imperfect information. Zbl 1160.03007
Caicedo, Xavier; Dechesne, Francien; Janssen, Theo M. V.
15
2009
Independent bases of admissible rules. Zbl 1146.03008
Jeřábek, Emil
14
2008
On distance-based inconsistency reduction algorithms for pairwise comparisons. Zbl 1201.68114
Koczkodaj, W. W.; Szarek, S. J.
13
2010
Towards a logic of rational agency. Zbl 1029.03014
van der Hoek, Wiebe; Wooldridge, Michael
13
2003
Bisimulation, modal logic and model checking games. Zbl 0920.03034
Stirling, Colin
13
1999
Unification in modal and description logics. Zbl 1258.03018
Baader, Franz; Ghilardi, Silvio
13
2011
Hyperidentities of De Morgan algebras. Zbl 1276.06005
Movsisyan, Yu. M.; Aslanyan, V. A.
12
2012
A resolution/tableaux algorithm for projective approximations in IPC. Zbl 1005.03504
Ghilardi, Silvio
12
2002
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
The rewriting calculus. II. Zbl 0986.03027
Cirstea, Horatiu; Kirchner, Claude
12
2001
Changing legal systems: legal abrogations and annulments in defeasible logic. Zbl 1197.68071
Governatori, Guido; Rotolo, Antonino
12
2010
Interpolation and FEP for logics of residuated algebras. Zbl 1259.03085
Buszkowski, Wojciech
12
2011
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
Algebraic polymodal logic: A survey. Zbl 1012.03060
Goldblatt, Robert
11
2000
Duality via truth: semantic frameworks for lattice-based logics. Zbl 1080.03008
Orłowska, Ewa; Rewitzky, Ingrid
11
2005
Decision procedures and model building in equational clause logic. Zbl 0903.03010
Fermüller, Christian G.; Leitsch, Alexander
10
1998
An expansion of first-order Belnap-Dunn logic. Zbl 1342.03025
Sano, Katsuhiko; Omori, Hitoshi
10
2014
Coherent conditional probability in a fuzzy logic setting. Zbl 1117.03031
Godo, Lluís; Marchioni, Enrico
10
2006
Strongly decidable properties of modal and intuitionistic calculi. Zbl 0963.03004
Maksimova, Larisa
9
2000
On the search for a finitizable algebraization of first order logic. Zbl 0973.03008
Sain, Ildikó
9
2000
Multiplicative conjunction as an extensional conjunction. Zbl 0867.03019
Avron, Arnon
9
1997
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.
8
2010
Multimodal and intuitionistic logics in simple type theory. Zbl 1222.03023
Benzmüller, Christoph; Paulson, Lawrence C.
8
2010
A new principle in the interpretability logic of all reasonable arithmetical theories. Zbl 1228.03040
Goris, Evan; Joosten, Joost J.
8
2011
Information transfer across Chu spaces. Zbl 0963.03055
van Benthem, Johan
8
2000
Two extensions of the structurally free logic LC. Zbl 0904.03006
Bimbó, Katalin; Dunn, J. Michael
8
1998
A cut-free Gentzen formulation of the modal logic S5. Zbl 0965.03023
Braüner, Torben
8
2000
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
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
Many-valued reflexive autoepistemic logic. Zbl 1033.03021
Koutras, Costas D.; Zachos, Stathis
8
2000
On cylindric algebras satisfying merry-go-round properties. Zbl 1158.03038
Ferenczi, Miklòs
8
2007
Problem of restricted interpolation in superintuitionistic and some modal logics. Zbl 1203.03035
Maksimova, Larisa
8
2010
Logics with the qualitative probability operator. Zbl 1138.03024
Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag
8
2008
A non-arithmetical Gödel logic. Zbl 1086.03018
Hájek, Petr
8
2005
Generalized truth values. A reply to Dubois. Zbl 1209.03020
Wansing, Heinrich; Belnap, Nuel
7
2010
Defining double negation elimination. Zbl 0980.03033
Restall, Greg
7
2000
Higher order \(\beta\) matching is undecidable. Zbl 1014.03017
Loader, Ralph
7
2003
Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025
Gabbay, Dov M.; Shehtman, Valentin B.
7
2000
An introduction to cylindric set algebras. Zbl 0979.03046
Monk, J. Donald
7
2000
A deterministic terminating sequent calculus for Gödel-Dummett logic. Zbl 0929.03057
Dyckhoff, Roy
7
1999
Partiality and games: Propositional logic. Zbl 0971.03031
Sandu, Gabriel; Pietarinen, Ahti
7
2001
The new logic. Zbl 0984.03032
Gabbay, Dov; Woods, John
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
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
Maximum entropy inference with quantified knowledge. Zbl 1133.03326
Barnett, Owen; Paris, Jeff
7
2008
A formal logic for abductive reasoning. Zbl 1108.03035
Meheus, Joke; Batens, Diderik
7
2006
Generalized Kripke semantics for the Lambek-Grishin calculus. Zbl 1301.03025
Chernilovskaya, Anna; Gehrke, Mai; van Rooijen, Lorijn
6
2012
Agents that look at one another. Zbl 1272.68400
Balbiani, Philippe; Gasquet, Olivier; Schwarzentruber, François
6
2013
Embeddings of propositional monomodal logics. Zbl 0963.03035
Zolin, Evgeni E.
6
2000
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
Sequent calculi for intuitionistic linear logic with strong negation. Zbl 1014.03057
Kamide, Norihiro
6
2002
Equality-free logic: The method of diagrams and preservation theorems. Zbl 0942.03044
Dellunde, Pilar
6
1999
General patterns for nonmonotonic reasoning: From basic entailments to plausible relations. Zbl 0966.03024
Arieli, Ofer; Avron, Arnon
6
2000
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
A finite relation algebra with undecidable network satisfaction problem. Zbl 0933.03051
Hirsch, Robin
6
1999
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
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
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
Descente infinie + deduction. Zbl 1067.03021
Wirth, Claus-Peter
6
2004
The unrestricted combination of temporal logic systems. Zbl 1003.03015
Finger, Marcelo; Weiss, M. Angela
6
2002
Robust normative systems and a logic of norm compliance. Zbl 1198.68232
Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael
6
2010
A note on negation in categorial grammar. Zbl 1134.03016
Wansing, Heinrich
6
2007
Defeasible inheritance systems and reactive diagrams. Zbl 1155.68081
Gabbay, Dov M.; Schlechta, Karl
6
2009
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
Tense operators on De Morgan algebras. Zbl 1347.06012
Figallo, Aldo V.; Pelaitay, Gustavo
6
2014
A neat embedding theorem for expansions of cylindric algebras. Zbl 1119.03066
Sayed-Ahmed, Tarek; Samir, Basim
6
2007
Projective unification in modal logic. Zbl 1260.03041
Dzik, Wojciech; Wojtylak, Piotr
6
2012
Non-deterministic algebraization of logics by swap structures. Zbl 07291119
Coniglio, Marcelo E.; Figallo-Orellano, Aldo; Golzio, Ana Claudia
1
2020
Remarks about the unification type of several non-symmetric non-transitive modal logics. Zbl 07125821
Balbiani, Philippe
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
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
Complexity of finite-variable fragments of propositional modal logics of symmetric frames. Zbl 07125816
Rybakov, Mikhail; Shkatov, Dmitry
1
2018
Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix. Zbl 07125817
Robles, Gemma
1
2018
Proof systems for BAT consequence relations. Zbl 07072099
Pawlowski, Pawel
1
2018
Propositional superposition logic. Zbl 07072101
Tzouvaras, Athanassios
1
2018
Order-dual relational semantics for non-distributive propositional logics. Zbl 1405.03071
Hartonas, Chrysafis
4
2017
Self-extensional three-valued paraconsistent logics have no implication. Zbl 1405.03063
Avron, Arnon; Beziau, Jean-Yves
4
2017
Assertion and hypothesis: a logical framework for their opposition relations. Zbl 1405.03074
Carrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro
3
2017
Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036
Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel
3
2017
\(\eta\)-conversions of IPC implemented in atomic F. Zbl 1405.03091
Ferreira, Gilda
1
2017
Equivalence among RC-type paraconsistent logics. Zbl 1405.03065
Osorio, Mauricio; Castellanos Joo, José Abel
1
2017
Cut-elimination and deductive polarization in complementary classical logic. Zbl 1405.03088
Carnielli, Walter A.; Pulcini, Gabriele
1
2017
Minimizing disjunctive normal forms of pure first-order logic. Zbl 1405.03023
Lampert, Timm
1
2017
A paraconsistent route to semantic closure. Zbl 1405.03064
Barrio, Eduardo Alejandro; Pailos, Federico Matias; Szmuc, Damian Enrique
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
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
Modal and temporal extensions of non-distributive propositional logics. Zbl 1405.03051
Hartonas, Chrysafis
4
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
Theory of disjunctive attacks. I. Zbl 1407.68464
Gabbay, D.; Gabbay, M.
2
2016
On the parallel computation thesis. Zbl 1407.68186
Dershowitz, Nachum; Falkovich-Derzhavetz, Evgenia
2
2016
Decidability and complexity of fibred logics without shared connectives. Zbl 1405.03032
Marcelino, Sérgio; Caleiro, Carlos
2
2016
Skolemization in intermediate logics with the finite model property. Zbl 1405.03068
Baaz, Matthias; Iemhoff, Rosalie
1
2016
Common cause abduction: the formation of theoretical concepts and models in science. Zbl 1405.03020
Schurz, Gerhard
1
2016
Pavelka-style fuzzy justification logics. Zbl 1405.03040
Ghari, Meghdad
1
2016
Undecidable problems for propositional calculi with implication. Zbl 1405.03031
Bokov, Grigoriy V.
1
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.
1
2016
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
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
Relation-changing modal operators. Zbl 1405.03047
Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume
2
2015
How to make up one’s mind. Zbl 1405.03044
Zhang, Li; Hansson, Sven Ove
2
2015
Reduction of provability logics to \(\Sigma_1\)-provability logics. Zbl 1405.03094
Ardeshir, Mohammad; Mojtahedi, S. Mojtaba
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
A formal account of dishonesty. Zbl 1405.03042
Sakama, Chiaki; Caminada, Martin; Herzig, Andreas
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 steps towards probabilistic justification logic. Zbl 1405.03057
Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas
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
An expansion of first-order Belnap-Dunn logic. Zbl 1342.03025
Sano, Katsuhiko; Omori, Hitoshi
10
2014
A paraconsistent 3-valued logic related to Gödel logic G3. Zbl 1343.03025
Robles, Gemma; Méndez, José M.
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
Tense operators on De Morgan algebras. Zbl 1347.06012
Figallo, Aldo V.; Pelaitay, Gustavo
6
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
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
Swap logic. Zbl 1342.03018
Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume
4
2014
An alternative approach for quasi-truth. Zbl 1342.03027
Coniglio, Marcelo Esteban; da Cruz Silvestrini, Luiz Henrique
4
2014
Modal twist-structures over residuated lattices. Zbl 1335.03072
Ono, Hiroakira; Rivieccio, Umberto
3
2014
Finitely many-valued logics and natural deduction. Zbl 1328.03022
Englander, Cecilia; Haeusler, Edward Hermann; Pereira, Luiz Carlos
3
2014
Logics of varieties, logics of semilattices and conjunction. Zbl 1405.03103
Font, Josep Maria; Moraschini, Tommaso
3
2014
Logics of formal inconsistency arising from systems of fuzzy logic. Zbl 1405.03062
Coniglio, Marcelo E.; Esteva, Francesc; Godo, Lluís
3
2014
Well-orders in the transfinite Japaridze algebra. Zbl 1405.03095
Fernández-Duque, David; Joosten, Joost J.
3
2014
Characterizing intermediate tense logics in terms of Galois connections. Zbl 1405.03069
Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro
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
Tarski’s theorem and liar-like paradoxes. Zbl 1343.03006
Hsiung, Ming
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
Interpolation property and homogeneous structures. Zbl 1338.03057
Gyenis, Zalán
2
2014
Signalling in independence-friendly logic. Zbl 1323.03031
Barbero, Fausto; Sandu, Gabriel
2
2014
Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\). Zbl 1342.03017
Rybakov, Vladimir
2
2014
A cut-free sequent calculus for relevant logic RW. Zbl 1343.03019
Ilić, Mirjana; Boričić, Branislav
2
2014
Decomposition of multiple AGM contraction: possibility and impossibility results. Zbl 1315.03026
Hansson, Sven Ove
2
2014
Deontic logic (adapted) for normative conflicts. Zbl 1314.03022
Goble, Lou
2
2014
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm. Zbl 1305.68157
Lambán, L.; Rubio, J.; Martín-Mateos, F. J.; Ruiz-Reina, J. L.
1
2014
First-order hybrid logic: introduction and survey. Zbl 1343.03012
Braüner, Torben
1
2014
A first-order probabilistic logic with approximate conditional probabilities. Zbl 1305.03021
Ikodinović, Nebojša; Rašković, Miodrag; Marković, Zoran; Ognjanović, Zoran
1
2014
Semantic analysis of non-reflexive logics. Zbl 1305.03023
Arenhart, Jonas Rafael Becker
1
2014
The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination. Zbl 1343.03013
Ghilardi, Silvio; Mints, Grigori
1
2014
Bayesian epistemic values: focus on surprise, measure probability! Zbl 1309.62057
Stern, Julio Michael; de Bragança Pereira, Carlos A.
1
2014
Intuitionistic N-graphs. Zbl 1328.03054
Quispe-Cruz, Marcela; de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.; de Paiva, Valeria
1
2014
Justifying induction on modal \(\mu\)-formulae. Zbl 1405.03046
Alberucci, Luca; Krähenbühl, Jürg; Studer, Thomas
1
2014
PDL for structured data: a graph-calculus approach. Zbl 1407.68340
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
1
2014
Linear logic model of state revisited. Zbl 1407.03076
de Paiva, Valeria
1
2014
Agents that look at one another. Zbl 1272.68400
Balbiani, Philippe; Gasquet, Olivier; Schwarzentruber, François
6
2013
Strong, universal and provably non-trivial set theory by means of adaptive logic. Zbl 1284.03240
Verdee, Peter
5
2013
Writing out unifiers for formulas with coefficients in intuitionistic logic. Zbl 1277.03004
Rybakov, Vladimir V.
5
2013
Connecting dynamic epistemic and temporal epistemic logics. Zbl 1285.03008
van Ditmarsch, Hans; van der Hoek, Wiebe; Ruan, Ji
5
2013
Is abduction ignorance-preserving? Conventions, models and fictions in science. Zbl 1343.03008
Magnani, Lorenzo
5
2013
Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce’s existential graphs. Zbl 1306.03004
Caterina, Gianluca; Gangle, Rocco
5
2013
...and 413 more Documents
all top 5

Cited by 1,674 Authors

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

Cited in 150 Journals

161 Studia Logica
76 Annals of Pure and Applied Logic
76 Journal of Applied Non-Classical Logics
65 Journal of Philosophical Logic
61 Fuzzy Sets and Systems
57 Theoretical Computer Science
49 Journal of Applied Logic
45 Journal of Logic, Language and Information
42 The Journal of Symbolic Logic
40 Synthese
38 Artificial Intelligence
37 Information Sciences
37 International Journal of Approximate Reasoning
37 Logica Universalis
37 The Review of Symbolic Logic
30 Soft Computing
29 Notre Dame Journal of Formal Logic
28 Mathematical Logic Quarterly (MLQ)
28 Annals of Mathematics and Artificial Intelligence
27 Archive for Mathematical Logic
26 Journal of Automated Reasoning
24 Algebra Universalis
24 Information and Computation
19 The Bulletin of Symbolic Logic
13 Logic and Logical Philosophy
13 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 Formal Aspects of Computing
7 The Journal of Logic and Algebraic Programming
6 International Journal of General Systems
6 Applied Mathematics and Computation
6 Siberian Mathematical Journal
6 European Journal of Operational Research
6 Applied Categorical Structures
5 Communications in Algebra
5 Transactions of the American Mathematical Society
5 International Journal of Computer Mathematics
5 Erkenntnis
5 Foundations of Science
4 Information Processing Letters
4 Machine Learning
4 Indagationes Mathematicae. New Series
4 Formal Methods in System Design
4 Topoi
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
3 Journal of Pure and Applied Algebra
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 Asian-European Journal of Mathematics
3 Symmetry
3 Frontiers of Computer Science
3 Journal of Siberian Federal University. Mathematics & Physics
2 Acta Informatica
2 Lithuanian Mathematical Journal
2 Demonstratio Mathematica
2 International Journal for Numerical Methods in Engineering
2 Quaestiones Mathematicae
2 History and Philosophy of Logic
2 Order
2 Algorithmica
2 AI Communications
2 Higher-Order and Symbolic Computation
2 Fundamenta Informaticae
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 Advances in Mathematics
1 Czechoslovak Mathematical Journal
1 International Journal of Mathematics and Mathematical Sciences
1 The Journal of Mathematical Sociology
1 Journal of Optimization Theory and Applications
1 Kybernetika
1 Mathematica Slovaca
...and 50 more Journals

Citations by Year