Logic Journal of the IGPLOfficial 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: 1,029 Publications (since 1997) all top 5 Latest Issues 31, No. 1 (2023) 30, No. 6 (2022) 30, No. 5 (2022) 30, No. 4 (2022) 30, No. 3 (2022) 30, No. 1 (2022) 29, No. 5 (2021) 29, No. 4 (2021) 29, No. 3 (2021) 29, No. 2 (2021) 29, No. 1 (2021) 28, No. 6 (2020) 28, No. 5 (2020) 28, No. 4 (2020) 28, No. 3 (2020) 28, No. 2 (2020) 28, No. 1 (2020) 27, No. 6 (2019) 27, No. 5 (2019) 27, No. 4 (2019) 27, No. 3 (2019) 27, No. 2 (2019) 27, No. 1 (2018) 26, No. 5 (2018) 26, No. 4 (2018) 26, No. 3 (2018) 26, No. 2 (2018) 26, No. 1 (2018) 25, No. 5 (2017) 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) ...and 49 more Volumes all top 5 Authors 19 De Queiroz, Ruy José Guerra Barretto 19 Gabbay, Dov M. 18 Carnielli, Walter Alexandre 14 Sayed Ahmed, Tarek 13 Corchado, Emilio S. 12 Quintián, Héctor 11 Magnani, Lorenzo 11 Robles, Gemma 9 Avron, Arnon 9 Coniglio, Marcelo Esteban 9 Finger, Marcelo 9 Haeusler, Edward Hermann 9 Rybakov, Vladimir Vladimirovich 9 Veloso, Paulo Augusto S. 8 Ardeshir, Mohammad 8 Bridges, Douglas Suth 8 Nepomuceno-Fernández, Ángel 8 Sernadas, Cristina S. 7 Kamareddine, Fairouz D. 7 Veloso, Sheila R. M. 6 Ayala-Rincón, Mauricio 6 Balbiani, Philippe 6 Benevides, Mario R. F. 6 Dzik, Wojciech 6 Fernández Duque, David 6 Hartonas, Chrysafis 6 Krause, Décio 6 Rasga, João 6 Rivieccio, Umberto 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 Figallo, Aldo Victorio 5 Gencer, Çigdem 5 Hájek, Petr 5 Herrero, Álvaro 5 Hirsch, Robin 5 Ledda, Antonio 5 Marx, Maarten 5 Mateus, Paulo C. 5 Mikulás, Szabolcs 5 Muñoz-Velasco, Emilio 5 Sernadas, Amilcar C. 5 Velázquez-Quesada, Fernando Raymundo 4 Abraham, Ajith 4 Barrio, Eduardo Alejandro 4 Broda, Krysia B. 4 Bruza, Peter D. 4 Castiglioni, José Luis 4 Chajda, Ivan 4 de Freitas, Renata P. 4 de Jongh, Dick H. J. 4 de Oliveira, Anjolina Grisi 4 Dellunde, Pilar 4 Esteva, Francesc 4 Godo, Lluís 4 Golińska-Pilarek, Joanna 4 Gomes da Silva, Samuel 4 Herzig, Andreas 4 Joosten, Joost J. 4 Kern-Isberner, Gabriele 4 Koutras, Costas D. 4 Miglioli, Pierangelo 4 Mints, Grigoriĭ Efroimovich 4 Ognjanović, Zoran 4 Peltier, Nicolas 4 Pizzi, Claudio Ercole Antonio 4 Sakama, Chiaki 4 Schlechta, Karl 4 Shkatov, Dmitry 4 Soler-Toscano, Fernando 4 Stern, Julio Michael 4 Turull Torres, Jose Maria 4 Viana, Petrucio 4 Voutsadakis, George 4 Vuković, Mladen 4 Wansing, Heinrich Theodor 4 Wooldridge, Michael J. 3 Ågotnes, Thomas 3 Alonderis, Romas 3 Arieli, Ofer 3 Bagheri, Seyed Mohammad 3 Barés Gómez, Cristina 3 Bimbó, Katalin 3 Boella, Guido 3 Bokov, Grigoriy V. 3 Caleiro, Carlos 3 Carrara, Massimiliano 3 Casadio, Claudia 3 Cintula, Petr 3 de Campos Sanz, Wagner 3 Dershowitz, Nachum 3 Dignum, F. P. M. 3 Dunin-Kȩplicz, Barbara 3 Ellerman, David P. 3 Ertola Biraben, Rodolfo C. ...and 1,152 more Authors all top 5 Fields 880 Mathematical logic and foundations (03-XX) 368 Computer science (68-XX) 66 Order, lattices, ordered algebraic structures (06-XX) 59 General and overarching topics; collections (00-XX) 25 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 20 Category theory; homological algebra (18-XX) 20 Information and communication theory, circuits (94-XX) 15 General algebraic systems (08-XX) 11 Quantum theory (81-XX) 7 History and biography (01-XX) 7 Statistics (62-XX) 7 Operations research, mathematical programming (90-XX) 6 General topology (54-XX) 6 Mathematics education (97-XX) 5 Combinatorics (05-XX) 4 Associative rings and algebras (16-XX) 4 Group theory and generalizations (20-XX) 2 Number theory (11-XX) 2 Algebraic topology (55-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Geometry (51-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 577 Publications have been cited 2,613 times in 2,001 Documents Cited by ▼ Year ▼ Compositional semantics for a language of imperfect information. Zbl 0945.03034Hodges, Wilfrid 115 1997 Belnap’s four-valued logic and De Morgan lattices. Zbl 0871.03012Font, Josep Maria 59 1997 Products of modal logics. I. Zbl 0902.03008Gabbay, Dov M.; Shehtman, Valentin B. 51 1998 Representation, reasoning, and relational structures: A hybrid logic manifesto. Zbl 0956.03025Blackburn, Patrick 49 2000 A generalized concept lattice. Zbl 1088.06005Krajči, Stanislav 46 2005 The computational complexity of hybrid temporal logics. Zbl 0959.03011Areces, Carlos; Blackburn, Patrick; Marx, Maarten 37 2000 On ignorance and contradiction considered as truth-values. Zbl 1139.03013Dubois, Didier 35 2008 Practical reasoning for very expressive description logics. Zbl 0967.03026Horrocks, Ian; Sattler, Ulrike; Tobies, Stephan 30 2000 Propositional temporal logics: Decidability and completeness. Zbl 1033.03009Lichtenstein, Orna; Pnueli, Amir 28 2000 Hybrid languages and temporal logic. Zbl 0920.03029Blackburn, Patrick; Tzakova, Miroslava 26 1999 The logic of distributive bilattices. Zbl 1214.03056Bou, Félix; Rivieccio, Umberto 25 2011 Multi-valued calculi for logics based on non-determinism. Zbl 1080.03007Avron, Arnon; Konikowska, Beata 25 2005 On some varieties of MTL-algebras. Zbl 1078.03051Noguera, Carles; Esteva, Francesc; Gispert, Joan 25 2005 Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic. Zbl 0948.03013Celani, Sergio; Jansana, Ramon 22 1999 Combinators and structurally free logic. Zbl 0878.03008Dunn, J. Michael; Meyer, Robert K. 22 1997 EQ-algebra-based fuzzy type theory and its extensions. Zbl 1243.03034Novák, Vilém 21 2011 Structural completeness in substructural logics. Zbl 1168.03012Olson, J. S.; Raftery, J. G.; van Alten, C. J. 20 2008 Unification in modal and description logics. Zbl 1258.03018Baader, Franz; Ghilardi, Silvio 20 2011 Substructural logics on display. Zbl 0906.03020Goré, Rajeev 19 1998 Fuzzy closure operators with truth stressers. Zbl 1089.06001Bělohlávek, Radim; Funioková, Taťána; Vychodil, Vilém 19 2005 Resolution-based methods for modal logics. Zbl 0947.03014de Nivelle, Hans; Schmidt, Renate A.; Hustadt, Ullrich 18 2000 Independent bases of admissible rules. Zbl 1146.03008Jeřábek, Emil 18 2008 Changing legal systems: legal abrogations and annulments in defeasible logic. Zbl 1197.68071Governatori, Guido; Rotolo, Antonino 17 2010 On distance-based inconsistency reduction algorithms for pairwise comparisons. Zbl 1201.68114Koczkodaj, W. W.; Szarek, S. J. 16 2010 Equivalence and quantifier rules for logic with imperfect information. Zbl 1160.03007Caicedo, Xavier; Dechesne, Francien; Janssen, Theo M. V. 16 2009 Bisimulation, modal logic and model checking games. Zbl 0920.03034Stirling, Colin 16 1999 Interpolation and FEP for logics of residuated algebras. Zbl 1259.03085Buszkowski, Wojciech 15 2011 Duality via truth: semantic frameworks for lattice-based logics. Zbl 1080.03008Orłowska, Ewa; Rewitzky, Ingrid 14 2005 Coherent conditional probability in a fuzzy logic setting. Zbl 1117.03031Godo, Lluís; Marchioni, Enrico 13 2006 An expansion of first-order Belnap-Dunn logic. Zbl 1342.03025Sano, Katsuhiko; Omori, Hitoshi 13 2014 Multimodal and intuitionistic logics in simple type theory. Zbl 1222.03023Benzmüller, Christoph; Paulson, Lawrence C. 13 2010 Towards a logic of rational agency. Zbl 1029.03014van der Hoek, Wiebe; Wooldridge, Michael 13 2003 Projective unification in modal logic. Zbl 1260.03041Dzik, Wojciech; Wojtylak, Piotr 13 2012 Hyperidentities of De Morgan algebras. Zbl 1276.06005Movsisyan, Yu. M.; Aslanyan, V. A. 13 2012 Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics. Zbl 0938.03042Avellone, Alessandro; Ferrari, Mauro; Miglioli, Pierangelo 12 1999 The rewriting calculus. II. Zbl 0986.03027Cirstea, Horatiu; Kirchner, Claude 12 2001 A resolution/tableaux algorithm for projective approximations in IPC. Zbl 1005.03504Ghilardi, Silvio 12 2002 Bridges between classical and nonmonotonic logic. Zbl 1016.03024Makinson, David 11 2003 Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. Zbl 1215.03048Dowek, Gilles; Gabbay, Murdoch J.; Mulligan, Dominic P. 11 2010 Hybrid logics with Sahlqvist axioms. Zbl 1080.03006ten Cate, Balder; Marx, Maarten; Viana, Petrúcio 11 2005 Algebraic polymodal logic: A survey. Zbl 1012.03060Goldblatt, Robert 11 2000 Decision procedures and model building in equational clause logic. Zbl 0903.03010Fermüller, Christian G.; Leitsch, Alexander 10 1998 Multiplicative conjunction as an extensional conjunction. Zbl 0867.03019Avron, Arnon 10 1997 Relation-changing modal operators. Zbl 1405.03047Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume 10 2015 Strongly decidable properties of modal and intuitionistic calculi. Zbl 0963.03004Maksimova, Larisa 10 2000 Maximum entropy inference with quantified knowledge. Zbl 1133.03326Barnett, Owen; Paris, Jeff 10 2008 Interpolation in practical formal development. Zbl 0981.03035Bicarregui, Juan; Dimitrakos, Theo; Gabbay, Dov; Maibaum, Tim 9 2001 Problem of restricted interpolation in superintuitionistic and some modal logics. Zbl 1203.03035Maksimova, Larisa 9 2010 Dualities for modal N4-lattices. Zbl 1335.03071Jansana, Ramon; Rivieccio, Umberto 9 2014 Generalized truth values. A reply to Dubois. Zbl 1209.03020Wansing, Heinrich; Belnap, Nuel 9 2010 A new principle in the interpretability logic of all reasonable arithmetical theories. Zbl 1228.03040Goris, Evan; Joosten, Joost J. 9 2011 A non-arithmetical Gödel logic. Zbl 1086.03018Hájek, Petr 9 2005 A cut-free Gentzen formulation of the modal logic S5. Zbl 0965.03023Braüner, Torben 9 2000 On the search for a finitizable algebraization of first order logic. Zbl 0973.03008Sain, Ildikó 9 2000 On cylindric algebras satisfying merry-go-round properties. Zbl 1158.03038Ferenczi, Miklòs 9 2007 An alternative approach for quasi-truth. Zbl 1342.03027Coniglio, Marcelo Esteban; da Cruz Silvestrini, Luiz Henrique 8 2014 On the union of well-founded relations. Zbl 0892.68050Doornbos, Henk; von Karger, Burghard 8 1998 Two extensions of the structurally free logic LC. Zbl 0904.03006Bimbó, Katalin; Dunn, J. Michael 8 1998 General patterns for nonmonotonic reasoning: From basic entailments to plausible relations. Zbl 0966.03024Arieli, Ofer; Avron, Arnon 8 2000 The new logic. Zbl 0984.03032Gabbay, Dov; Woods, John 8 2001 A formal logic for abductive reasoning. Zbl 1108.03035Meheus, Joke; Batens, Diderik 8 2006 Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel 8 2017 Extended semantics and inference for the independent choice logic. Zbl 1189.03039Riguzzi, Fabrizio 8 2009 A first-order conditional probability logic. Zbl 1251.03030Milošević, Miloš; Ognjanović, Zoran 8 2012 An introduction to cylindric set algebras. Zbl 0979.03046Monk, J. Donald 8 2000 Information transfer across Chu spaces. Zbl 0963.03055van Benthem, Johan 8 2000 Defining double negation elimination. Zbl 0980.03033Restall, Greg 8 2000 A note on negation in categorial grammar. Zbl 1134.03016Wansing, Heinrich 8 2007 Logics with the qualitative probability operator. Zbl 1138.03024Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag 8 2008 A defeasible logic for modelling policy-based intentions and motivational attitudes. Zbl 1171.03014Governatori, Guido; Padmanabhan, Vineet; Rotolo, Antonino; Sattar, Abdul 8 2009 Agents that look at one another. Zbl 1272.68400Balbiani, Philippe; Gasquet, Olivier; Schwarzentruber, François 8 2013 Many-valued reflexive autoepistemic logic. Zbl 1033.03021Koutras, Costas D.; Zachos, Stathis 8 2000 Finite schematizable algebraic logic. Zbl 0886.03044Sain, Ildikó; Gyuris, Viktor 8 1997 Hybrid completeness. Zbl 0904.03009Blackburn, Patrick; Tzakova, Miroslava 8 1998 Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Zbl 0917.03025Goré, Rajeev 8 1998 A deterministic terminating sequent calculus for Gödel-Dummett logic. Zbl 0929.03057Dyckhoff, Roy 8 1999 Tense operators on De Morgan algebras. Zbl 1347.06012Figallo, Aldo V.; Pelaitay, Gustavo 7 2014 Swap logic. Zbl 1342.03018Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume 7 2014 Higher order \(\beta\) matching is undecidable. Zbl 1014.03017Loader, Ralph 7 2003 A finite relation algebra with undecidable network satisfaction problem. Zbl 0933.03051Hirsch, Robin 7 1999 Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025Gabbay, Dov M.; Shehtman, Valentin B. 7 2000 Creating collective intention through dialogue. Zbl 0974.68201Dignum, Frank; Dunin-Kȩplicz, Barbara; Verbrugge, Rineke 7 2001 Descente infinie + deduction. Zbl 1067.03021Wirth, Claus-Peter 7 2004 A paraconsistent 3-valued logic related to Gödel logic G3. Zbl 1343.03025Robles, Gemma; Méndez, José M. 7 2014 Unification via the \(\lambda s_e\)-style of explicit substitutions. Zbl 0987.03012Ayala-Rincón, Mauricio; Kamareddine, Fairouz 7 2001 Semantics for structurally free logics LC+. Zbl 0986.03019Bimbó, Katalin 7 2001 The class of neat reducts is not elementary. Zbl 0988.03098Sayed-Ahmed, Tarek 7 2001 Self-extensional three-valued paraconsistent logics have no implication. Zbl 1405.03063Avron, Arnon; Beziau, Jean-Yves 7 2017 Well-orders in the transfinite Japaridze algebra. Zbl 1405.03095Fernández-Duque, David; Joosten, Joost J. 7 2014 Partiality and games: Propositional logic. Zbl 0971.03031Sandu, Gabriel; Pietarinen, Ahti 7 2001 On the semantics of informational independence. Zbl 1005.03033Väänänen, Jouko 7 2002 Generalized Kripke semantics for the Lambek-Grishin calculus. Zbl 1301.03025Chernilovskaya, Anna; Gehrke, Mai; van Rooijen, Lorijn 7 2012 How an agent might think. Zbl 1272.68382Szałas, Andrzej 7 2013 Kripke completeness of first-order constructive logics with strong negation. Zbl 1048.03022Hasuo, Ichiro; Kashima, Ryo 7 2003 Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. Zbl 0874.03009Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario 7 1997 Filters and partial orders. Zbl 0884.03027Schlechta, Karl 7 1997 Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce’s existential graphs. Zbl 1306.03004Caterina, Gianluca; Gangle, Rocco 6 2013 Bayesian epistemic values: focus on surprise, measure probability! Zbl 1309.62057Stern, Julio Michael; Pereira, Carlos A. de Bragança 6 2014 Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Zbl 1171.68043Golinska-Pilarek, J.; Muñoz-Velasco, E. 6 2009 HpsUL is not the logic of pseudo-uninorms and their residua. Zbl 1172.03017Wang, Sanmin; Zhao, Bin 6 2009 Logics of (in)sane and (un)reliable beliefs. Zbl 1494.03037Fan, Jie 1 2022 Clause tableaux for maximum and minimum satisfiability. Zbl 07450459Argelich, Josep; Li, Chu Min; Manyà, Felip; Soler, Joan Ramon 1 2021 A resolution calculus for MinSAT. Zbl 07450460Li, Chu-Min; Xiao, Fan; Manyà, Felip 1 2021 Complexity of rule sets in mining incomplete data using characteristic sets and generalized maximal consistent blocks. Zbl 07450465Clark, Patrick G.; Gao, Cheng; Grzymala-Busse, Jerzy W.; Mroczek, Teresa; Niemiec, Rafal 1 2021 Boolean negation and non-conservativity. I: Relevant modal logics. Zbl 1494.03055Øgaard, Tore Fjetland 1 2021 Extensions of paraconsistent weak Kleene logic. Zbl 1490.03017Paoli, Francesco; Pra Baldi, Michele 1 2021 The Russell-Prawitz embedding and the atomization of universal instantiation. Zbl 1494.03031Santo, José Espírito; Ferreira, Gilda 1 2021 On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms. Zbl 1494.03016Carnielli, Walter; Rodrigues, Abilio 1 2021 Recovery operators, paraconsistency and duality. Zbl 1477.03087Carnielli, Walter; Coniglio, Marcelo E.; Rodrigues, Abilio 3 2020 Non-deterministic algebraization of logics by swap structures. Zbl 1477.03089Coniglio, Marcelo E.; Figallo-Orellano, Aldo; Golzio, Ana Claudia 2 2020 Volume I: Recovery operators in logics of formal inconsistency. Zbl 1477.00052 1 2020 Theories of truth based on four-valued infectious logics. Zbl 1477.03072Da Ré, Bruno; Pailos, Federico; Szmuc, Damian 1 2020 Embracing intensionality: paradoxicality and semi-truth operators in fixed point models. Zbl 1477.03018Tourville, Nicholas; Cook, Roy T. 1 2020 Truth in a logic of formal inconsistency: how classical can it get? Zbl 1477.03096Picollo, Lavinia 1 2020 LFIs and methods of classical recapture. Zbl 1477.03098Tajer, Diego 1 2020 Subvaluationism and classical recapture. Zbl 1477.03099Teijeiro, Paula 1 2020 A note on logics of essence and accident. Zbl 1477.03051Gilbert, David R.; Venturi, Giorgio 1 2020 A game theoretical semantics for a logic of formal inconsistency. Zbl 1477.03085Başkent, Can; Henrique Carrasqueira, Pedro 1 2020 Non-involutive twist-structures. Zbl 1477.03097Rivieccio, Umberto; Maia, Paulo; Jung, Achim 1 2020 On the logic that preserves degrees of truth associated to involutive Stone algebras. Zbl 1477.03086Cantú, Liliana M.; Figallo, Martín 1 2020 \(C_n\) algebras with Moisil possibility operators. Zbl 1478.06002Figallo, Aldo V.; Pelaitay, Gustavo; Sarmiento, Jonathan 1 2020 Remarks about the unification type of several non-symmetric non-transitive modal logics. Zbl 1494.03046Balbiani, Philippe 2 2019 On categorical equivalences of equality algebras and monadic equality algebras. Zbl 07067262Liu, Hongxing 2 2019 Tracking reasons with extensions of relevant logics. Zbl 1477.03066Standefer, Shawn 2 2019 Monadic NM-algebras. Zbl 1494.03096Wang, Juntao; He, Pengfei; She, Yanhong 2 2019 Forcing and satisfaction in Kripke models of intuitionistic arithmetic. Zbl 1494.03028Abiri, Maryam; Moniri, Morteza; Zaare, Mostafa 1 2019 Localizing finite-depth Kripke models. Zbl 07067260Mojtahedi, Mojtaba 1 2019 Craig’s trick and a non-sequential system for the Lambek calculus and its fragments. Zbl 07067261Kuznetsov, Stepan; Lugovaya, Valentina; Ryzhova, Anastasiia 1 2019 Analogues of Bull’s theorem for hybrid logic. Zbl 07067263Conradie, Willem; Robinson, Claudette 1 2019 Deontic modals and hyperintensionality. Zbl 1477.03048Faroldi, Federico L. G. 1 2019 A hyperintensional logical framework for deontic reasons. Zbl 1477.03007Faroldi, Federico L. G.; Protopopescu, Tudor 1 2019 From positive PDL to its non-classical extensions. Zbl 1477.03065Sedlár, Igor; Punčochář, Vít 1 2019 Gentzen sequent calculi for some intuitionistic modal logics. Zbl 1477.03055Lin, Zhe; Ma, Minghui 1 2019 Yet another paradefinite logic: the role of conflation. Zbl 1494.03067Kamide, Norihiro; Zohar, Yoni 5 2018 Complexity of finite-variable fragments of propositional modal logics of symmetric frames. Zbl 1494.03053Rybakov, Mikhail; Shkatov, Dmitry 4 2018 Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix. Zbl 1494.03062Robles, Gemma 2 2018 On the structure theory of Łukasiewicz near semirings. Zbl 1499.06056Chajda, Ivan; Fazio, Davide; Ledda, Antonio 2 2018 A decomposition-based method for solving the clustered vehicle routing problem. Zbl 1499.90025Horvat-Marc, Andrei; Fuksz, Levente; Pop, Petrică C.; Dănciulescu, Daniela 2 2018 The quantum logic of direct-sumdecompositions: the dual to the quantum logic of subspaces. Zbl 1499.03067Ellerman, David 1 2018 Proof systems for BAT consequence relations. Zbl 1499.03058Pawlowski, Pawel 1 2018 Automatic proof generation in an axiomatic system for \(\mathsf{CPL}\) by means of the method of Socratic proofs. Zbl 1499.03010Grzelak, Aleksandra; Leszczyńska-Jasion, Dorota 1 2018 Propositional superposition logic. Zbl 1499.03005Tzouvaras, Athanassios 1 2018 Stone duality for lattice expansions. Zbl 1492.06003Hartonas, Chrysafis 1 2018 Projective unification in transitive modal logics. Zbl 1492.03007Kost, Sławomir 1 2018 Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel 8 2017 Self-extensional three-valued paraconsistent logics have no implication. Zbl 1405.03063Avron, Arnon; Beziau, Jean-Yves 7 2017 Order-dual relational semantics for non-distributive propositional logics. Zbl 1405.03071Hartonas, Chrysafis 6 2017 Assertion and hypothesis: a logical framework for their opposition relations. Zbl 1405.03074Carrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro 4 2017 Cut-elimination and deductive polarization in complementary classical logic. Zbl 1405.03088Carnielli, Walter A.; Pulcini, Gabriele 4 2017 \(\eta\)-conversions of IPC implemented in atomic F. Zbl 1405.03091Ferreira, Gilda 3 2017 A paraconsistent route to semantic closure. Zbl 1405.03064Barrio, Eduardo Alejandro; Pailos, Federico Matias; Szmuc, Damian Enrique 3 2017 Weak subintuitionistic logics. Zbl 1405.03029Shirmohammadzadeh Maleki, Fatemeh; de Jongh, Dick 2 2017 Minimizing disjunctive normal forms of pure first-order logic. Zbl 1405.03023Lampert, Timm 2 2017 Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Zbl 1405.03021Stern, Julio Michael 2 2017 Equivalence among RC-type paraconsistent logics. Zbl 1405.03065Osorio, Mauricio; Castellanos Joo, José Abel 1 2017 Decision and optimization problems in the unreliable-circuit logic. Zbl 1405.03072Rasga, J.; Sernadas, C.; Mateus, P.; Sernadas, A. 1 2017 Modal operators for meet-complemented lattices. Zbl 1405.03049Castiglioni, José Luis; Ertola-Biraben, Rodolfo C. 1 2017 Symmetric operators on modal pseudocomplemented De Morgan algebras. Zbl 1405.06005Figallo-Orellano, Aldo; Ziliani, Alicia; Figallo, Martín 1 2017 A complete logic for database abstract state machines. Zbl 1492.68046Ferrarotti, Flavio; Schewe, Klaus-Dieter; Tec, Loredana; Wang, Qing 1 2017 Logically-consistent hypothesis testing and the hexagon of oppositions. Zbl 1492.03014Stern, Julio Michael; Izbicki, Rafael; Esteves, Luis Gustavo; Stern, Rafael Bassi 1 2017 Modal and temporal extensions of non-distributive propositional logics. Zbl 1405.03051Hartonas, Chrysafis 6 2016 Löwenheim-Skolem theorems for non-classical first-order algebraizable logics. Zbl 1405.03102Dellunde, Pilar; García-Cerdaña, Àngel; Noguera, Carles 5 2016 Some classes of quasi-pseudo-MV algebras. Zbl 1405.06006Chen, Wenjuan; Davvaz, Bijan 5 2016 Weak arithmetical interpretations for the logic of proofs. Zbl 1405.03096Kuznets, Roman; Studer, Thomas 4 2016 Decidability and complexity of fibred logics without shared connectives. Zbl 1405.03032Marcelino, Sérgio; Caleiro, Carlos 4 2016 Uniqueness of axiomatic extensions of cut-free classical propositional logic. Zbl 1405.03022Piazza, Mario; Pulcini, Gabriele 4 2016 Representing quantum structures as near semirings. Zbl 1405.06007Bonzio, Stefano; Chajda, Ivan; Ledda, Antonio 4 2016 Grafting hypersequents onto nested sequents. Zbl 1405.03092Kuznets, Roman; Lellmann, Björn 3 2016 Pavelka-style fuzzy justification logics. Zbl 1405.03040Ghari, Meghdad 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.03061Robles, Gemma; Méndez, José M. 3 2016 Theory of disjunctive attacks. I. Zbl 1407.68464Gabbay, D.; Gabbay, M. 2 2016 On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics. Zbl 1405.03059Coniglio, Marcelo E.; Esteva, Francesc; Godo, Lluís 2 2016 On the parallel computation thesis. Zbl 1407.68186Dershowitz, Nachum; Falkovich-Derzhavetz, Evgenia 2 2016 Carnapian truthlikeness. Zbl 1405.03011Cevolani, Gustavo 2 2016 Skolemization in intermediate logics with the finite model property. Zbl 1405.03068Baaz, Matthias; Iemhoff, Rosalie 1 2016 Some relevance logics from the point of view of relational semantics. Zbl 1405.03054Bimbó, Katalin 1 2016 Common cause abduction: the formation of theoretical concepts and models in science. Zbl 1405.03020Schurz, Gerhard 1 2016 Undecidable problems for propositional calculi with implication. Zbl 1405.03031Bokov, Grigoriy V. 1 2016 Relation-changing modal operators. Zbl 1405.03047Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume 10 2015 A general framework for product representations: bilattices and beyond. Zbl 1405.06002Cabrer, L. M.; Priestley, H. A. 6 2015 First steps towards probabilistic justification logic. Zbl 1405.03057Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas 5 2015 On guarded transformation in the modal \(\mu\)-calculus. Zbl 1405.03048Bruse, Florian; Friedmann, Oliver; Lange, Martin 4 2015 Logical consistency in simultaneous statistical test procedures. Zbl 1405.62105Izbicki, Rafael; Esteves, Luís Gustavo 4 2015 A formal account of dishonesty. Zbl 1405.03042Sakama, Chiaki; Caminada, Martin; Herzig, Andreas 3 2015 Reduction of provability logics to \(\Sigma_1\)-provability logics. Zbl 1405.03094Ardeshir, Mohammad; Mojtahedi, S. Mojtaba 3 2015 A binary Routley semantics for intuitionistic De Morgan minimal logic \(H_M\) and its extensions. Zbl 1405.03066Robles, Gemma; Méndez, José M. 2 2015 On frontal operators in Hilbert algebras. Zbl 1407.03079Castiglioni, 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.08006Campercholi, Miguel; Stronkowski, Michał M.; Vaggione, Diego 2 2015 How to make up one’s mind. Zbl 1405.03044Zhang, Li; Hansson, Sven Ove 2 2015 Forgetting complex propositions. Zbl 1405.03039Ferná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.06004Alizadeh, Majid; Joharizadeh, Nima 1 2015 Explicit substitution calculi with de Bruijn indices and intersection type systems. Zbl 1405.03037Ventura, Daniel Lima; Kamareddine, Fairouz; Ayala-Rincón, Mauricio 1 2015 Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication. Zbl 1405.03030Bokov, Grigoriy V. 1 2015 Some non-classical approaches to the Brandenburger-Keisler paradox. Zbl 1405.03038Başkent, Can 1 2015 Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\). Zbl 1405.03050Dzik, Wojciech; Wojtylak, Piotr 1 2015 First-order aspects of tree paths. Zbl 1405.03078Kellerman, Ruaan 1 2015 Base-extension semantics for intuitionistic sentential logic. Zbl 1405.03028Sandqvist, Tor 1 2015 Relative expressive power of navigational querying on graphs using transitive closure. Zbl 1407.68134Surinx, 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.03098Shamkanov, Daniyar 1 2015 The attack as strong negation. I. Zbl 1405.03027Gabbay, D.; Gabbay, M. 1 2015 ...and 477 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,919 Authors 21 Avron, Arnon 21 Kamide, Norihiro 21 Sayed Ahmed, Tarek 19 Rivieccio, Umberto 18 Maksimova, Larisa L’vovna 16 Bimbó, Katalin 16 Medina, Jesús 15 Gabbay, Dov M. 15 Galliani, Pietro 15 Rybakov, Vladimir Vladimirovich 14 Wansing, Heinrich Theodor 13 Areces, Carlos 13 Bělohlávek, Radim 13 Dubois, Didier 13 Novák, Vilém 13 Ognjanović, Zoran 13 Voutsadakis, George 12 Balbiani, Philippe 12 Gabbay, Murdoch James 12 Martins, Manuel António 12 Movsisyan, Yuri Movses 12 Robles, Gemma 12 van Benthem, Johan F. A. K. 11 Fernández Duque, David 11 Humberstone, Lloyd 11 Marcelino, Sérgio 11 Ojeda-Aciego, Manuel 11 Palmigiano, Alessandra 11 Schmidt, Renate A. 11 Väänänen, Jouko Antero 11 Vychodil, Vilém 11 Zamansky, Anna 10 Bezhanishvili, Nick 10 Blackburn, Patrick 10 Dunn, Jon Michael 10 Hirsch, Robin 10 Konecny, Jan 10 Ma, Minghui 9 Arieli, Ofer 9 Benzmüller, Christoph Ewald 9 Bezhanishvili, Guram 9 Caleiro, Carlos 9 Coniglio, Marcelo Esteban 9 Godo, Lluís 9 Iemhoff, Rosalie 9 Kontinen, Juha 9 Moraschini, Tommaso 9 Noguera, Carles 9 Pelaitay, Gustavo 9 Perović, Aleksandar 9 Raftery, James G. 9 Wooldridge, Michael J. 9 Yun, Veta Fëdorovna 8 Ayala-Rincón, Mauricio 8 Badia, Guillermo 8 Barbero, Fausto 8 Benevides, Mario R. F. 8 Ciungu, Lavinia Corina 8 Conradie, Willem 8 Ferenczi, Miklós 8 Hustadt, Ullrich 8 Jansana, Ramon 8 Kesner, Delia 8 Koutras, Costas D. 8 Kurucz, Agi 8 Lange, Martin 8 Lawry, Jonathan 8 Marcos, João 8 Omori, Hitoshi 8 Orłowska, Ewa S. 8 Peltier, Nicolas 8 Rasga, João 8 Sernadas, Cristina S. 8 Virtema, Jonni 8 Yang, Fan 7 Andréka, Hajnal 7 Aslanyan, Vahagn A. 7 Demri, Stéphane P. 7 Figallo, Aldo Victorio 7 Governatori, Guido 7 Hodkinson, Ian Martin 7 Joosten, Joost J. 7 Kuznetsov, Stepan L’vovich 7 Lorini, Emiliano 7 Madeira, Alexandre 7 Negri, Sara 7 Németi, István 7 Paoli, Francesco 7 Pocs, Jozef 7 Rašković, Miodrag D. 7 Sernadas, Amilcar C. 7 Shramko, Yaroslav V. 7 van Ditmarsch, Hans Pieter 7 Wolter, Frank 7 Zakharyaschev, Michael Viktorovich 6 Bartl, Eduard 6 Carnielli, Walter Alexandre 6 Ciucci, Davide 6 Cornejo, Maria Eugenia 6 Dershowitz, Nachum ...and 1,819 more Authors all top 5 Cited in 164 Journals 181 Studia Logica 93 Annals of Pure and Applied Logic 81 Journal of Philosophical Logic 80 Journal of Applied Non-Classical Logics 61 Fuzzy Sets and Systems 59 Theoretical Computer Science 51 The Review of Symbolic Logic 50 Synthese 50 Journal of Logic, Language and Information 49 Journal of Applied Logic 47 The Journal of Symbolic Logic 43 International Journal of Approximate Reasoning 42 Logica Universalis 41 Artificial Intelligence 39 Soft Computing 37 Information Sciences 34 Notre Dame Journal of Formal Logic 30 Information and Computation 30 Journal of Automated Reasoning 30 Archive for Mathematical Logic 29 Annals of Mathematics and Artificial Intelligence 28 Mathematical Logic Quarterly (MLQ) 24 Algebra Universalis 23 Logic and Logical Philosophy 21 The Bulletin of Symbolic Logic 18 Logical Methods in Computer Science 12 Algebra and Logic 12 Journal of Logical and Algebraic Methods in Programming 11 Journal of Symbolic Computation 11 ACM Transactions on Computational Logic 10 MSCS. Mathematical Structures in Computer Science 9 Journal of Computer and System Sciences 9 Bulletin of the Section of Logic 8 Siberian Mathematical Journal 8 Theory and Practice of Logic Programming 7 Formal Aspects of Computing 7 The Journal of Logic and Algebraic Programming 7 Journal of Multiple-Valued Logic and Soft Computing 6 International Journal of General Systems 6 Applied Mathematics and Computation 6 European Journal of Operational Research 6 Applied Categorical Structures 6 Erkenntnis 6 Foundations of Science 5 Communications in Algebra 5 Transactions of the American Mathematical Society 5 International Journal of Computer Mathematics 5 Fundamenta Informaticae 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 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 Proceedings of the Steklov Institute of Mathematics 4 Asian-European Journal of Mathematics 3 Journal of Pure and Applied Algebra 3 Mathematica Slovaca 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 Foundations of Physics 3 Symmetry 3 Frontiers of Computer Science 2 Acta Informatica 2 Discrete Applied Mathematics 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. Simulation and Computation 2 Communications in Statistics. Theory and Methods 2 Higher-Order and Symbolic Computation 2 CEJOR. Central European Journal of Operations Research 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 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Armenian Journal of Mathematics 2 TWMS Journal of Pure and Applied 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 Mathematics 1 International Journal of Theoretical Physics 1 Mathematische Semesterberichte 1 Russian Mathematical Surveys ...and 64 more Journals all top 5 Cited in 35 Fields 1,583 Mathematical logic and foundations (03-XX) 731 Computer science (68-XX) 221 Order, lattices, ordered algebraic structures (06-XX) 73 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 60 General algebraic systems (08-XX) 33 Category theory; homological algebra (18-XX) 29 History and biography (01-XX) 22 General topology (54-XX) 20 General and overarching topics; collections (00-XX) 20 Statistics (62-XX) 20 Information and communication theory, circuits (94-XX) 19 Quantum theory (81-XX) 19 Operations research, mathematical programming (90-XX) 18 Combinatorics (05-XX) 11 Group theory and generalizations (20-XX) 8 Probability theory and stochastic processes (60-XX) 7 Biology and other natural sciences (92-XX) 7 Systems theory; control (93-XX) 6 Real functions (26-XX) 5 Number theory (11-XX) 5 Commutative algebra (13-XX) 5 Associative rings and algebras (16-XX) 4 Mechanics of deformable solids (74-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Measure and integration (28-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Numerical analysis (65-XX) 3 Relativity and gravitational theory (83-XX) 2 Field theory and polynomials (12-XX) 2 Geometry (51-XX) 1 Nonassociative rings and algebras (17-XX) 1 Partial differential equations (35-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year