## 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
all top 5

### Fields

 802 Mathematical logic and foundations (03-XX) 379 Computer science (68-XX) 54 Order, lattices, ordered algebraic structures (06-XX) 53 General and overarching topics; collections (00-XX) 22 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 16 Information and communication theory, circuits (94-XX) 15 Category theory; homological algebra (18-XX) 13 General algebraic systems (08-XX) 9 Quantum theory (81-XX) 6 History and biography (01-XX) 6 General topology (54-XX) 6 Mathematics education (97-XX) 5 Combinatorics (05-XX) 5 Statistics (62-XX) 3 Associative rings and algebras (16-XX) 3 Operations research, mathematical programming (90-XX) 2 Number theory (11-XX) 2 Group theory and generalizations (20-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Functional analysis (46-XX) 1 Geometry (51-XX) 1 Algebraic topology (55-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX)

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