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: Journal; Indexed cover-to-cover Documents Indexed: 1,067 Publications (since 1997) all top 5 Latest Issues 31, No. 6 (2023) 31, No. 5 (2023) 31, No. 4 (2023) 31, No. 3 (2023) 31, No. 2 (2023) 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) ...and 54 more Volumes all top 5 Authors 20 De Queiroz, Ruy José Guerra Barretto 19 Gabbay, Dov M. 18 Carnielli, Walter Alexandre 14 Corchado, Emilio S. 14 Quintián, Héctor 14 Sayed Ahmed, Tarek 12 Robles, Gemma 11 Coniglio, Marcelo Esteban 11 Magnani, Lorenzo 10 Finger, Marcelo 10 Méndez, José M. 9 Ardeshir, Mohammad 9 Avron, Arnon 9 Haeusler, Edward Hermann 9 Rybakov, Vladimir Vladimirovich 9 Veloso, Paulo Augusto S. 8 Bridges, Douglas Suth 8 Nepomuceno-Fernández, Ángel 8 Sernadas, Cristina S. 7 Balbiani, Philippe 7 Kamareddine, Fairouz D. 7 Rivieccio, Umberto 7 Veloso, Sheila R. M. 6 Alizadeh, Majid 6 Ayala-Rincón, Mauricio 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 van der Hoek, Wiebe 6 Woods, John 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 Hirsch, Robin 5 Ledda, Antonio 5 Marx, Maarten 5 Mateus, Paulo C. 5 Mikulás, Szabolcs 5 Muñoz-Velasco, Emilio 5 Pizzi, Claudio Ercole Antonio 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 la Cal, Enrique Antonio 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 Graña, Manuel 4 Herrero, Álvaro 4 Herzig, Andreas 4 Hodges, Wilfrid 4 Humberstone, Lloyd 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 Sakama, Chiaki 4 Schlechta, Karl 4 Shkatov, Dmitry 4 Soler-Toscano, Fernando 4 Stern, Julio Michael 4 Turull Torres, Jose Maria 4 Väänänen, Jouko Antero 4 van Benthem, Johan F. A. K. 4 Viana, Petrucio 4 Villar Flecha, José Ramón 4 Voutsadakis, George 4 Vuković, Mladen 4 Wansing, Heinrich Theodor 4 Wooldridge, Michael J. 3 Ågotnes, Thomas 3 Alonderis, Romas 3 Arieli, Ofer 3 Badia, Guillermo 3 Bagheri, Seyed Mohammad 3 Barés Gómez, Cristina 3 Bimbó, Katalin 3 Boella, Guido 3 Bokov, Grigoriy V. 3 Caleiro, Carlos ...and 1,199 more Authors all top 5 Fields 912 Mathematical logic and foundations (03-XX) 383 Computer science (68-XX) 70 Order, lattices, ordered algebraic structures (06-XX) 64 General and overarching topics; collections (00-XX) 25 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 21 Information and communication theory, circuits (94-XX) 20 Category theory; homological algebra (18-XX) 15 General algebraic systems (08-XX) 12 Quantum theory (81-XX) 8 History and biography (01-XX) 8 Operations research, mathematical programming (90-XX) 7 Statistics (62-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 646 Publications have been cited 3,102 times in 2,349 Documents Cited by ▼ Year ▼ Compositional semantics for a language of imperfect information. Zbl 0945.03034 Hodges, Wilfrid 123 1997 Belnap’s four-valued logic and De Morgan lattices. Zbl 0871.03012 Font, Josep Maria 65 1997 Products of modal logics. I. Zbl 0902.03008 Gabbay, Dov M.; Shehtman, Valentin B. 57 1998 Representation, reasoning, and relational structures: A hybrid logic manifesto. Zbl 0956.03025 Blackburn, Patrick 52 2000 A generalized concept lattice. Zbl 1088.06005 Krajči, Stanislav 51 2005 The computational complexity of hybrid temporal logics. Zbl 0959.03011 Areces, Carlos; Blackburn, Patrick; Marx, Maarten 38 2000 On ignorance and contradiction considered as truth-values. Zbl 1139.03013 Dubois, Didier 38 2008 Practical reasoning for very expressive description logics. Zbl 0967.03026 Horrocks, Ian; Sattler, Ulrike; Tobies, Stephan 34 2000 Multi-valued calculi for logics based on non-determinism. Zbl 1080.03007 Avron, Arnon; Konikowska, Beata 33 2005 Propositional temporal logics: Decidability and completeness. Zbl 1033.03009 Lichtenstein, Orna; Pnueli, Amir 32 2000 Hybrid languages and temporal logic. Zbl 0920.03029 Blackburn, Patrick; Tzakova, Miroslava 26 1999 Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic. Zbl 0948.03013 Celani, Sergio; Jansana, Ramon 26 1999 On some varieties of MTL-algebras. Zbl 1078.03051 Noguera, Carles; Esteva, Francesc; Gispert, Joan 25 2005 Structural completeness in substructural logics. Zbl 1168.03012 Olson, J. S.; Raftery, J. G.; van Alten, C. J. 25 2008 Combinators and structurally free logic. Zbl 0878.03008 Dunn, J. Michael; Meyer, Robert K. 24 1997 The logic of distributive bilattices. Zbl 1214.03056 Bou, Félix; Rivieccio, Umberto 24 2011 Unification in modal and description logics. Zbl 1258.03018 Baader, Franz; Ghilardi, Silvio 22 2011 Independent bases of admissible rules. Zbl 1146.03008 Jeřábek, Emil 22 2008 Fuzzy closure operators with truth stressers. Zbl 1089.06001 Bělohlávek, Radim; Funioková, Taťána; Vychodil, Vilém 21 2005 EQ-algebra-based fuzzy type theory and its extensions. Zbl 1243.03034 Novák, Vilém 21 2011 Substructural logics on display. Zbl 0906.03020 Goré, Rajeev 20 1998 Changing legal systems: legal abrogations and annulments in defeasible logic. Zbl 1197.68071 Governatori, Guido; Rotolo, Antonino 20 2010 Resolution-based methods for modal logics. Zbl 0947.03014 de Nivelle, Hans; Schmidt, Renate A.; Hustadt, Ullrich 18 2000 Bisimulation, modal logic and model checking games. Zbl 0920.03034 Stirling, Colin 17 1999 Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036 Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel 17 2017 Interpolation and FEP for logics of residuated algebras. Zbl 1259.03085 Buszkowski, Wojciech 17 2011 Relation-changing modal operators. Zbl 1405.03047 Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume 16 2015 Equivalence and quantifier rules for logic with imperfect information. Zbl 1160.03007 Caicedo, Xavier; Dechesne, Francien; Janssen, Theo M. V. 16 2009 On distance-based inconsistency reduction algorithms for pairwise comparisons. Zbl 1201.68114 Koczkodaj, W. W.; Szarek, S. J. 16 2010 Towards a logic of rational agency. Zbl 1029.03014 van der Hoek, Wiebe; Wooldridge, Michael 16 2003 Duality via truth: semantic frameworks for lattice-based logics. Zbl 1080.03008 Orłowska, Ewa; Rewitzky, Ingrid 15 2005 Projective unification in modal logic. Zbl 1260.03041 Dzik, Wojciech; Wojtylak, Piotr 15 2012 An expansion of first-order Belnap-Dunn logic. Zbl 1342.03025 Sano, Katsuhiko; Omori, Hitoshi 14 2014 Logics with the qualitative probability operator. Zbl 1138.03024 Ognjanović, Zoran; Perović, Aleksandar; Rašković, Miodrag 14 2008 Coherent conditional probability in a fuzzy logic setting. Zbl 1117.03031 Godo, Lluís; Marchioni, Enrico 14 2006 A resolution/tableaux algorithm for projective approximations in IPC. Zbl 1005.03504 Ghilardi, Silvio 13 2002 Multimodal and intuitionistic logics in simple type theory. Zbl 1222.03023 Benzmüller, Christoph; Paulson, Lawrence C. 13 2010 Maximum entropy inference with quantified knowledge. Zbl 1133.03326 Barnett, Owen; Paris, Jeff 13 2008 Hyperidentities of De Morgan algebras. Zbl 1276.06005 Movsisyan, 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.03042 Avellone, Alessandro; Ferrari, Mauro; Miglioli, Pierangelo 12 1999 Bridges between classical and nonmonotonic logic. Zbl 1016.03024 Makinson, David 12 2003 A cut-free Gentzen formulation of the modal logic S5. Zbl 0965.03023 Braüner, Torben 12 2000 The rewriting calculus. II. Zbl 0986.03027 Cirstea, Horatiu; Kirchner, Claude 12 2001 General patterns for nonmonotonic reasoning: From basic entailments to plausible relations. Zbl 0966.03024 Arieli, Ofer; Avron, Arnon 11 2000 Algebraic polymodal logic: A survey. Zbl 1012.03060 Goldblatt, Robert 11 2000 Hybrid logics with Sahlqvist axioms. Zbl 1080.03006 ten Cate, Balder; Marx, Maarten; Viana, Petrúcio 11 2005 A first-order conditional probability logic. Zbl 1251.03030 Milošević, Miloš; Ognjanović, Zoran 11 2012 A defeasible logic for modelling policy-based intentions and motivational attitudes. Zbl 1171.03014 Governatori, Guido; Padmanabhan, Vineet; Rotolo, Antonino; Sattar, Abdul 11 2009 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. 11 2010 A new principle in the interpretability logic of all reasonable arithmetical theories. Zbl 1228.03040 Goris, Evan; Joosten, Joost J. 11 2011 Tense operators on De Morgan algebras. Zbl 1347.06012 Figallo, Aldo V.; Pelaitay, Gustavo 10 2014 Products of modal logics. II: Relativised quantifiers in classical logic. Zbl 0970.03025 Gabbay, Dov M.; Shehtman, Valentin B. 10 2000 On the search for a finitizable algebraization of first order logic. Zbl 0973.03008 Sain, Ildikó 10 2000 Information transfer across Chu spaces. Zbl 0963.03055 van Benthem, Johan 10 2000 Strongly decidable properties of modal and intuitionistic calculi. Zbl 0963.03004 Maksimova, Larisa 10 2000 The class of neat reducts is not elementary. Zbl 0988.03098 Sayed-Ahmed, Tarek 10 2001 Well-orders in the transfinite Japaridze algebra. Zbl 1405.03095 Fernández-Duque, David; Joosten, Joost J. 10 2014 Dualities for modal N4-lattices. Zbl 1335.03071 Jansana, Ramon; Rivieccio, Umberto 10 2014 Decision procedures and model building in equational clause logic. Zbl 0903.03010 Fermüller, Christian G.; Leitsch, Alexander 10 1998 A non-arithmetical Gödel logic. Zbl 1086.03018 Hájek, Petr 10 2005 Multiplicative conjunction as an extensional conjunction. Zbl 0867.03019 Avron, Arnon 10 1997 An alternative approach for quasi-truth. Zbl 1342.03027 Coniglio, Marcelo Esteban; da Cruz Silvestrini, Luiz Henrique 9 2014 Defining double negation elimination. Zbl 0980.03033 Restall, Greg 9 2000 Gaggles, Gentzen and Galois: How to display your favourite substructural logic. Zbl 0917.03025 Goré, Rajeev 9 1998 An analysis of (linear) exponentials based on extended sequents. Zbl 0934.03077 Guerrini, Stefano; Martini, Simone; Masini, Andrea 9 1998 Interpolation in practical formal development. Zbl 0981.03035 Bicarregui, Juan; Dimitrakos, Theo; Gabbay, Dov; Maibaum, Tim 9 2001 A formal logic for abductive reasoning. Zbl 1108.03035 Meheus, Joke; Batens, Diderik 9 2006 Descente infinie + deduction. Zbl 1067.03021 Wirth, Claus-Peter 9 2004 Intuitionistic propositional logic with Galois connections. Zbl 1221.03012 Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro 9 2010 Generalized truth values. A reply to Dubois. Zbl 1209.03020 Wansing, Heinrich; Belnap, Nuel 9 2010 On cylindric algebras satisfying merry-go-round properties. Zbl 1158.03038 Ferenczi, Miklòs 9 2007 Connecting dynamic epistemic and temporal epistemic logics. Zbl 1285.03008 van Ditmarsch, Hans; van der Hoek, Wiebe; Ruan, Ji 9 2013 Problem of restricted interpolation in superintuitionistic and some modal logics. Zbl 1203.03035 Maksimova, Larisa 9 2010 Monadic NM-algebras. Zbl 1494.03096 Wang, Juntao; He, Pengfei; She, Yanhong 9 2019 A brief note about Rott contraction. Zbl 0923.03041 Fermé, Eduardo L.; Rodriguez, Ricardo O. 8 1998 Classical negation can be expressed by one of its halves. Zbl 0924.03012 Béziau, Jean-Yves 8 1999 A finite relation algebra with undecidable network satisfaction problem. Zbl 0933.03051 Hirsch, Robin 8 1999 Swap logic. Zbl 1342.03018 Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume 8 2014 An introduction to cylindric set algebras. Zbl 0979.03046 Monk, J. Donald 8 2000 The new logic. Zbl 0984.03032 Gabbay, Dov; Woods, John 8 2001 The rewriting calculus. I. Zbl 0986.03026 Cirstea, Horatiu; Kirchner, Claude 8 2001 Characterizing intermediate tense logics in terms of Galois connections. Zbl 1405.03069 Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro 8 2014 First steps towards probabilistic justification logic. Zbl 1405.03057 Kokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran; Studer, Thomas 8 2015 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. 8 2016 A paraconsistent 3-valued logic related to Gödel logic G3. Zbl 1343.03025 Robles, Gemma; Méndez, José M. 8 2014 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 Two extensions of the structurally free logic LC. Zbl 0904.03006 Bimbó, Katalin; Dunn, J. Michael 8 1998 Hybrid completeness. Zbl 0904.03009 Blackburn, Patrick; Tzakova, Miroslava 8 1998 Extended semantics and inference for the independent choice logic. Zbl 1189.03039 Riguzzi, Fabrizio 8 2009 A note on negation in categorial grammar. Zbl 1134.03016 Wansing, Heinrich 8 2007 Generalized Kripke semantics for the Lambek-Grishin calculus. Zbl 1301.03025 Chernilovskaya, Anna; Gehrke, Mai; van Rooijen, Lorijn 8 2012 Jeffrey conditioning and external Bayesianity. Zbl 1196.03039 Wagner, Carl 8 2010 Many-valued reflexive autoepistemic logic. Zbl 1033.03021 Koutras, Costas D.; Zachos, Stathis 8 2000 Comparing computational power. Zbl 1152.03031 Boker, Udi; Dershowitz, Nachum 8 2006 A deterministic terminating sequent calculus for Gödel-Dummett logic. Zbl 0929.03057 Dyckhoff, Roy 7 1999 Bayesian epistemic values: focus on surprise, measure probability! Zbl 1309.62057 Stern, Julio Michael; Pereira, Carlos A. de Bragança 7 2014 Ultimate normal forms for parallelized natural deductions. Zbl 1010.03048 Tennant, Neil 7 2002 On the semantics of informational independence. Zbl 1005.03033 Väänänen, Jouko 7 2002 Higher order \(\beta\) matching is undecidable. Zbl 1014.03017 Loader, Ralph 7 2003 Algorithmic correspondence for hybrid logic with binder. Zbl 1515.03111 Zhao, Zhiguang 1 2023 On intermediate justification logics. Zbl 1515.03129 Pischke, Nicholas 1 2023 Free choice permission, legitimization and relating semantics. Zbl 1515.03071 Glavaničová, Daniela; Jarmużek, Tomasz; Klonowski, Mateusz; Kulicki, Piotr 1 2023 Proof systems for 3-valued logics based on Gödel’s implication. Zbl 1494.03059 Avron, Arnon 2 2022 \(\infty\)-groupoid generated by an arbitrary topological \(\lambda\)-model. Zbl 1494.03033 Martínez-Rivillas, Daniel O.; de Queiroz, Ruy J. G. B. 2 2022 Undecidability of the logic of partial quasiary predicates. Zbl 1494.03076 Rybakov, Mikhail; Shkatov, Dmitry 2 2022 A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic. Zbl 1507.03085 Robles, Gemma; Méndez, José M. 2 2022 Logics of (in)sane and (un)reliable beliefs. Zbl 1494.03037 Fan, Jie 2 2022 Fragments of quasi-Nelson: the algebraizable core. Zbl 1499.03075 Rivieccio, Umberto 1 2022 Logics of ignorance and being wrong. Zbl 1499.03014 Gilbert, David; Kubyshkina, Ekaterina; Petrolo, Mattia; Venturi, Giorgio 1 2022 The algebra of non-deterministic programs: demonic operations, orders and axioms. Zbl 1499.08001 Hirsch, Robin; Mikulás, Szabolcs; Stokes, Tim 1 2022 Gödel justification logics and realization. Zbl 1494.03042 Pischke, Nicholas 1 2022 New tableau characterizations for non-clausal MaxSAT problem. Zbl 1494.03074 Fiorino, Guido 1 2022 Unification with parameters in the implication fragment of classical propositional logic. Zbl 1494.03025 Balbiani, Philippe; Mojtahedi, Mojtaba 1 2022 On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms. Zbl 1494.03016 Carnielli, Walter; Rodrigues, Abilio 4 2021 Extensions of paraconsistent weak Kleene logic. Zbl 1490.03017 Paoli, Francesco; Pra Baldi, Michele 3 2021 The subformula property of natural deduction derivations and analytic cuts. Zbl 1494.03090 Borisavljević, Mirjana 2 2021 Clause tableaux for maximum and minimum satisfiability. Zbl 1524.68426 Argelich, Josep; Li, Chu Min; Manyà, Felip; Soler, Joan Ramon 2 2021 A resolution calculus for MinSAT. Zbl 1524.68427 Li, Chu-Min; Xiao, Fan; Manyà, Felip 2 2021 Boolean negation and non-conservativity. I: Relevant modal logics. Zbl 1494.03055 Øgaard, Tore Fjetland 2 2021 Tableaux for essence and contingency. Zbl 1494.03054 Venturi, Giorgio; Teixeira Yago, Pedro 1 2021 Elementary-base cirquent calculus. II: Choice quantifiers. Zbl 1494.03075 Japaridze, Giorgi 1 2021 The Russell-Prawitz embedding and the atomization of universal instantiation. Zbl 1494.03031 Santo, José Espírito; Ferreira, Gilda 1 2021 Complexity of rule sets in mining incomplete data using characteristic sets and generalized maximal consistent blocks. Zbl 1523.68088 Clark, Patrick G.; Gao, Cheng; Grzymala-Busse, Jerzy W.; Mroczek, Teresa; Niemiec, Rafal 1 2021 Boolean negation and non-conservativity. III: The Ackermann constant. Zbl 1494.03057 Øgaard, Tore Fjetland 1 2021 Pragmatic logics for hypotheses and evidence. Zbl 1494.03035 Carrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro 1 2021 A semantic approach to non-prioritized belief revision. Zbl 1494.03041 Perrotin, Elise; Velázquez-Quesada, Fernando R. 1 2021 Recovery operators, paraconsistency and duality. Zbl 1477.03087 Carnielli, Walter; Coniglio, Marcelo E.; Rodrigues, Abilio 6 2020 Non-deterministic algebraization of logics by swap structures. Zbl 1477.03089 Coniglio, Marcelo E.; Figallo-Orellano, Aldo; Golzio, Ana Claudia 5 2020 Truth in a logic of formal inconsistency: how classical can it get? Zbl 1477.03096 Picollo, Lavinia 4 2020 Non-involutive twist-structures. Zbl 1477.03097 Rivieccio, Umberto; Maia, Paulo; Jung, Achim 4 2020 Theories of truth based on four-valued infectious logics. Zbl 1477.03072 Da Ré, Bruno; Pailos, Federico; Szmuc, Damian 3 2020 A note on logics of essence and accident. Zbl 1477.03051 Gilbert, David R.; Venturi, Giorgio 3 2020 Embracing intensionality: paradoxicality and semi-truth operators in fixed point models. Zbl 1477.03018 Tourville, Nicholas; Cook, Roy T. 2 2020 \(C_n\) algebras with Moisil possibility operators. Zbl 1478.06002 Figallo, Aldo V.; Pelaitay, Gustavo; Sarmiento, Jonathan 2 2020 Volume I: Recovery operators in logics of formal inconsistency. Zbl 1477.00052 1 2020 Normality operators and classical recapture in many-valued logic. Zbl 1477.03071 Ciuni, Roberto; Carrara, Massimiliano 1 2020 LFIs and methods of classical recapture. Zbl 1477.03098 Tajer, Diego 1 2020 Subvaluationism and classical recapture. Zbl 1477.03099 Teijeiro, Paula 1 2020 Society semantics for four-valued Łukasiewicz logic. Zbl 1477.03070 Bezerra, Edson Vinícius 1 2020 A game theoretical semantics for a logic of formal inconsistency. Zbl 1477.03085 Başkent, Can; Henrique Carrasqueira, Pedro 1 2020 On the logic that preserves degrees of truth associated to involutive Stone algebras. Zbl 1477.03086 Cantú, Liliana M.; Figallo, Martín 1 2020 An axiomatic approach to \(\mathbf{CG}^{\prime}_3\) logic. Zbl 1478.03052 Pérez-Gaspar, Miguel; Hernández-Tello, Alejandro; Arrazola Ramírez, José; Osorio Galindo, Mauricio 1 2020 Nelson’s logic \(\mathcal{S}\). Zbl 1478.03044 Nascimento, Thiago; Rivieccio, Umberto; Marcos, João; Spinks, Matthew 1 2020 Modal logic with non-deterministic semantics. I: Propositional case. Zbl 1494.03049 Coniglio, Marcelo E.; Luis, Fariñas Del Cerro; Newton, Marques Peron 1 2020 Dually hemimorphic semi-Nelson algebras. Zbl 1494.06004 Cornejo, Juan Manuel; San Martín, Hernán Javier 1 2020 Monadic NM-algebras. Zbl 1494.03096 Wang, Juntao; He, Pengfei; She, Yanhong 9 2019 A hyperintensional logical framework for deontic reasons. Zbl 1477.03007 Faroldi, Federico L. G.; Protopopescu, Tudor 4 2019 Tracking reasons with extensions of relevant logics. Zbl 1477.03066 Standefer, Shawn 4 2019 Deontic modals and hyperintensionality. Zbl 1477.03048 Faroldi, Federico L. G. 3 2019 Craig’s trick and a non-sequential system for the Lambek calculus and its fragments. Zbl 1515.03114 Kuznetsov, Stepan; Lugovaya, Valentina; Ryzhova, Anastasiia 2 2019 On categorical equivalences of equality algebras and monadic equality algebras. Zbl 1515.03231 Liu, Hongxing 2 2019 Remarks about the unification type of several non-symmetric non-transitive modal logics. Zbl 1494.03046 Balbiani, Philippe 2 2019 Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value. Zbl 1494.03063 Robles, Gemma; Méndez, José M. 2 2019 Localizing finite-depth Kripke models. Zbl 1515.03055 Mojtahedi, Mojtaba 1 2019 Analogues of Bull’s theorem for hybrid logic. Zbl 1515.03092 Conradie, Willem; Robinson, Claudette 1 2019 Probabilistic logic of quantum observations. Zbl 1515.03228 Sernadas, A.; Rasga, J.; Sernadas, C.; Alcácer, L.; Henriques, A. B. 1 2019 Forcing and satisfaction in Kripke models of intuitionistic arithmetic. Zbl 1494.03028 Abiri, Maryam; Moniri, Morteza; Zaare, Mostafa 1 2019 Game-theoretic semantics for non-distributive logics. Zbl 1494.03073 Hartonas, Chrysafis 1 2019 A modal extension of Jaśkowski’s discussive logic \(\mathbf{D}_{\mathbf{2}}\). Zbl 1477.03056 Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek; Pietruszczak, Andrzej 1 2019 Proof theory for quantified monotone modal logics. Zbl 1477.03057 Negri, Sara; Orlandelli, Eugenio 1 2019 From positive PDL to its non-classical extensions. Zbl 1477.03065 Sedlár, Igor; Punčochář, Vít 1 2019 Semantics for first-order superposition logic. Zbl 1477.03105 Tzouvaras, Athanassios 1 2019 Gentzen sequent calculi for some intuitionistic modal logics. Zbl 1477.03055 Lin, Zhe; Ma, Minghui 1 2019 Complexity of finite-variable fragments of propositional modal logics of symmetric frames. Zbl 1494.03053 Rybakov, Mikhail; Shkatov, Dmitry 7 2018 Yet another paradefinite logic: the role of conflation. Zbl 1494.03067 Kamide, Norihiro; Zohar, Yoni 7 2018 Stone duality for lattice expansions. Zbl 1492.06003 Hartonas, Chrysafis 7 2018 Complexity and expressivity of propositional dynamic logics with finitely many variables. Zbl 1492.03013 Rybakov, Mikhail; Shkatov, Dmitry 5 2018 Automatic proof generation in an axiomatic system for \(\mathsf{CPL}\) by means of the method of Socratic proofs. Zbl 1499.03010 Grzelak, Aleksandra; Leszczyńska-Jasion, Dorota 3 2018 Reduced Routley-Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix. Zbl 1494.03062 Robles, Gemma 3 2018 Projective unification in transitive modal logics. Zbl 1492.03007 Kost, Sławomir 3 2018 On the structure theory of Łukasiewicz near semirings. Zbl 1499.06056 Chajda, Ivan; Fazio, Davide; Ledda, Antonio 2 2018 On Kalman’s functor for bounded hemi-implicative semilattices and hemi-implicative lattices. Zbl 1499.06027 Jansana, Ramon; San Martín, Hernán Javier 2 2018 A decomposition-based method for solving the clustered vehicle routing problem. Zbl 1499.90025 Horvat-Marc, Andrei; Fuksz, Levente; Pop, Petrică C.; Dănciulescu, Daniela 2 2018 Propositional superposition logic. Zbl 1499.03005 Tzouvaras, Athanassios 2 2018 Gödel’s second incompleteness theorem for \(\Sigma_n\)-definable theories. Zbl 1492.03019 Chao, Conden; Seraji, Payam 2 2018 Trees for E. Zbl 1492.03009 Standefer, Shawn 2 2018 A topological duality for tense \(LM_n\)-algebras and applications. Zbl 1492.06002 Figallo, Aldo V.; Pascual, Inés; Pelaitay, Gustavo 2 2018 A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras. Zbl 1492.06001 Cornejo, Juan Manuel; San Martín, Hernán Javier 2 2018 The quantum logic of direct-sumdecompositions: the dual to the quantum logic of subspaces. Zbl 1499.03067 Ellerman, David 1 2018 Proof systems for BAT consequence relations. Zbl 1499.03058 Pawlowski, Pawel 1 2018 Some structural properties of quasi-degrees. Zbl 1499.03033 Omanadze, Roland Sh. 1 2018 Pattern-based calculi with finitary matching. Zbl 1492.68040 Alves, Sandra; Dundua, Besik; Florido, Mário; Kutsia, Temur 1 2018 A quick guided tour to the modal logic S4.2. Zbl 1492.03006 Chalki, Aggeliki; Koutras, Costas D.; Zikos, Yorgos 1 2018 From forcing to satisfaction in Kripke models of intuitionistic predicate logic. Zbl 1492.03003 Abiri, Maryam; Moniri, Morteza; Zaare, Mostafa 1 2018 Non-idempotent intersection types for the lambda-calculus. Zbl 1405.03036 Bucciarelli, Antonio; Kesner, Delia; Ventura, Daniel 17 2017 Order-dual relational semantics for non-distributive propositional logics. Zbl 1405.03071 Hartonas, Chrysafis 7 2017 Self-extensional three-valued paraconsistent logics have no implication. Zbl 1405.03063 Avron, Arnon; Beziau, Jean-Yves 7 2017 Assertion and hypothesis: a logical framework for their opposition relations. Zbl 1405.03074 Carrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro 6 2017 Cut-elimination and deductive polarization in complementary classical logic. Zbl 1405.03088 Carnielli, Walter A.; Pulcini, Gabriele 5 2017 \(\eta\)-conversions of IPC implemented in atomic F. Zbl 1405.03091 Ferreira, Gilda 4 2017 Modal dependence logics: axiomatizations and model-theoretic properties. Zbl 1492.03011 Yang, Fan 4 2017 Weak subintuitionistic logics. Zbl 1405.03029 Shirmohammadzadeh Maleki, Fatemeh; de Jongh, Dick 3 2017 Minimizing disjunctive normal forms of pure first-order logic. Zbl 1405.03023 Lampert, Timm 3 2017 A paraconsistent route to semantic closure. Zbl 1405.03064 Barrio, Eduardo Alejandro; Pailos, Federico Matias; Szmuc, Damian Enrique 3 2017 The free non-commutative cylindric algebras are not atomic. Zbl 1492.03023 Khaled, Mohamed 3 2017 A complete logic for database abstract state machines. Zbl 1492.68046 Ferrarotti, Flavio; Schewe, Klaus-Dieter; Tec, Loredana; Wang, Qing 3 2017 Logically-consistent hypothesis testing and the hexagon of oppositions. Zbl 1492.03014 Stern, Julio Michael; Izbicki, Rafael; Esteves, Luis Gustavo; Stern, Rafael Bassi 3 2017 Decidability of interpretability logics \(\mathbf{IL}\text{\texttt{M}}_0\) and \(\mathbf{IL}\text{\texttt{W}}^*\). Zbl 1492.03021 Mikec, Luka; Perkov, Tin; Vuković, Mladen 3 2017 Logical information theory: new logical foundations for information theory. Zbl 1492.94039 Ellerman, David 3 2017 ...and 546 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,145 Authors 25 Sayed Ahmed, Tarek 23 Kamide, Norihiro 22 Avron, Arnon 21 Rivieccio, Umberto 20 Ognjanović, Zoran 20 Robles, Gemma 18 Maksimova, Larisa L’vovna 18 Rybakov, Vladimir Vladimirovich 17 Gabbay, Dov M. 17 Galliani, Pietro 16 Bimbó, Katalin 15 Dubois, Didier 15 Fernández Duque, David 15 Méndez, José M. 15 Wansing, Heinrich Theodor 14 Areces, Carlos 14 Bělohlávek, Radim 14 Ma, Minghui 14 Medina, Jesús 13 Balbiani, Philippe 13 Marcelino, Sérgio 13 Martins, Manuel António 13 Novák, Vilém 13 Pelaitay, Gustavo 13 Voutsadakis, George 13 Yang, Fan 12 Bezhanishvili, Nick 12 Ciungu, Lavinia Corina 12 Dunn, Jon Michael 12 Gabbay, Murdoch James 12 Godo, Lluís 12 Humberstone, Lloyd 12 Kesner, Delia 12 Moraschini, Tommaso 12 Movsisyan, Yuri Movses 12 Ojeda-Aciego, Manuel 12 Palmigiano, Alessandra 12 Perović, Aleksandar 12 Väänänen, Jouko Antero 12 van Benthem, Johan F. A. K. 12 Vychodil, Vilém 12 Zamansky, Anna 11 Caleiro, Carlos 11 Iemhoff, Rosalie 11 Konecny, Jan 11 Petrukhin, Yaroslav Igorevich 11 Raftery, James G. 11 Schmidt, Renate A. 10 Arieli, Ofer 10 Blackburn, Patrick 10 Coniglio, Marcelo Esteban 10 Governatori, Guido 10 Joosten, Joost J. 10 Kontinen, Juha 10 van Ditmarsch, Hans Pieter 9 Ayala-Rincón, Mauricio 9 Benevides, Mario R. F. 9 Benzmüller, Christoph Ewald 9 Doder, Dragan 9 Figallo, Aldo Victorio 9 Goranko, Valentin F. 9 Hirsch, Robin 9 Koutras, Costas D. 9 Lange, Martin 9 Noguera, Carles 9 Rasga, João 9 Rašković, Miodrag D. 9 Sernadas, Cristina S. 9 Studer, Thomas 9 Wooldridge, Michael J. 9 Yun, Veta Fëdorovna 8 Andréka, Hajnal 8 Badia, Guillermo 8 Barbero, Fausto 8 Bezhanishvili, Guram 8 Carnielli, Walter Alexandre 8 Conradie, Willem 8 Demri, Stéphane P. 8 Dershowitz, Nachum 8 Esteva, Francesc 8 Ferenczi, Miklós 8 Fermé, Eduardo Leopoldo 8 Fervari, Raul 8 Hartonas, Chrysafis 8 Hustadt, Ullrich 8 Jansana, Ramon 8 Kurucz, Agi 8 Lawry, Jonathan 8 Marcos, João 8 Németi, István 8 Omori, Hitoshi 8 Orłowska, Ewa S. 8 Paoli, Francesco 8 Peltier, Nicolas 8 Prade, Henri M. 8 Shramko, Yaroslav V. 8 Veloso, Paulo Augusto S. 8 Veloso, Sheila R. M. 8 Virtema, Jonni 7 Aslanyan, Vahagn A. ...and 2,045 more Authors all top 5 Cited in 183 Journals 206 Studia Logica 98 Annals of Pure and Applied Logic 90 Journal of Philosophical Logic 86 Journal of Applied Non-Classical Logics 66 Fuzzy Sets and Systems 63 Synthese 60 Theoretical Computer Science 59 The Review of Symbolic Logic 58 Journal of Logic, Language and Information 50 International Journal of Approximate Reasoning 50 Journal of Applied Logic 49 The Journal of Symbolic Logic 48 Logica Universalis 44 Soft Computing 42 Artificial Intelligence 40 Mathematical Logic Quarterly (MLQ) 39 Information Sciences 36 Notre Dame Journal of Formal Logic 35 Archive for Mathematical Logic 34 Information and Computation 32 Bulletin of the Section of Logic 32 Journal of Automated Reasoning 32 Logic and Logical Philosophy 30 Algebra Universalis 30 Annals of Mathematics and Artificial Intelligence 25 Logical Methods in Computer Science 22 The Bulletin of Symbolic Logic 16 ACM Transactions on Computational Logic 14 Algebra and Logic 14 Journal of Logical and Algebraic Methods in Programming 12 MSCS. Mathematical Structures in Computer Science 11 Journal of Symbolic Computation 10 Journal of Computer and System Sciences 10 Siberian Mathematical Journal 9 Theory and Practice of Logic Programming 9 Logicheskie Issledovaniya 8 Journal of Multiple-Valued Logic and Soft Computing 7 Formal Aspects of Computing 7 Foundations of Science 7 The Journal of Logic and Algebraic Programming 6 International Journal of General Systems 6 European Journal of Operational Research 6 Applied Categorical Structures 6 Erkenntnis 5 Communications in Algebra 5 Information Processing Letters 5 Applied Mathematics and Computation 5 Mathematica Slovaca 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 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 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 The American Statistician 2 Discrete Applied Mathematics 2 International Journal of Theoretical Physics 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 Semigroup Forum 2 History and Philosophy of Logic 2 Order 2 Algorithmica 2 Neural Networks 2 AI Communications 2 Communications in Statistics. Simulation and Computation 2 Communications in Statistics. Theory and Methods 2 The Journal of Artificial Intelligence Research (JAIR) 2 Doklady Mathematics 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 Iranian Journal of Fuzzy Systems 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Contributions to Discrete Mathematics 2 Armenian Journal of Mathematics 2 TWMS Journal of Pure and Applied Mathematics ...and 83 more Journals all top 5 Cited in 39 Fields 1,882 Mathematical logic and foundations (03-XX) 833 Computer science (68-XX) 264 Order, lattices, ordered algebraic structures (06-XX) 74 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 71 General algebraic systems (08-XX) 40 Category theory; homological algebra (18-XX) 31 History and biography (01-XX) 26 General topology (54-XX) 23 General and overarching topics; collections (00-XX) 23 Statistics (62-XX) 22 Combinatorics (05-XX) 22 Information and communication theory, circuits (94-XX) 21 Quantum theory (81-XX) 21 Operations research, mathematical programming (90-XX) 11 Group theory and generalizations (20-XX) 9 Probability theory and stochastic processes (60-XX) 7 Biology and other natural sciences (92-XX) 7 Systems theory; control (93-XX) 6 Associative rings and algebras (16-XX) 6 Real functions (26-XX) 5 Number theory (11-XX) 5 Commutative algebra (13-XX) 5 Measure and integration (28-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Numerical analysis (65-XX) 4 Mechanics of deformable solids (74-XX) 3 Relativity and gravitational theory (83-XX) 2 Field theory and polynomials (12-XX) 2 Topological groups, Lie groups (22-XX) 2 Functional analysis (46-XX) 2 Geometry (51-XX) 1 Nonassociative rings and algebras (17-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Partial differential equations (35-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Optics, electromagnetic theory (78-XX) Citations by Year