Journal of Logic and Computation Short Title: J. Log. Comput. Publisher: Oxford University Press, Oxford ISSN: 0955-792X; 1465-363X/e Online: https://academic.oup.com/logcom/issue Comments: Journal; Indexed cover-to-cover; Published electronic only as of Vol. 26 (2016). Print ISSN until then: 0955-792X. Documents Indexed: 1,645 Publications (since 1990) all top 5 Latest Issues 34, No. 1 (2024) 33, No. 8 (2023) 33, No. 7 (2023) 33, No. 6 (2023) 33, No. 5 (2023) 33, No. 4 (2023) 33, No. 3 (2023) 33, No. 2 (2023) 33, No. 1 (2023) 32, No. 8 (2022) 32, No. 7 (2022) 32, No. 6 (2022) 32, No. 5 (2022) 32, No. 4 (2022) 32, No. 3 (2022) 32, No. 2 (2022) 32, No. 1 (2022) 31, No. 8 (2021) 31, No. 7 (2021) 31, No. 6 (2021) 31, No. 5 (2021) 31, No. 4 (2021) 31, No. 3 (2021) 31, No. 2 (2021) 31, No. 1 (2021) 30, No. 8 (2020) 30, No. 7 (2020) 30, No. 6 (2020) 30, No. 5 (2020) 30, No. 4 (2020) 30, No. 3 (2020) 30, No. 2 (2020) 30, No. 1 (2020) 29, No. 8 (2019) 29, No. 7 (2019) 29, No. 6 (2019) 29, No. 5 (2019) 29, No. 4 (2019) 29, No. 3 (2019) 29, No. 2 (2019) 29, No. 1 (2019) 28, No. 8 (2018) 28, No. 7 (2018) 28, No. 6 (2018) 28, No. 5 (2018) 28, No. 4 (2018) 28, No. 3 (2018) 28, No. 2 (2018) 28, No. 1 (2018) 27, No. 8 (2017) 27, No. 7 (2017) 27, No. 6 (2017) 27, No. 5 (2017) 27, No. 4 (2017) 27, No. 3 (2017) 27, No. 2 (2017) 27, No. 1 (2017) 26, No. 6 (2016) 26, No. 5 (2016) 26, No. 4 (2016) 26, No. 3 (2016) 26, No. 2 (2016) 26, No. 1 (2016) 25, No. 6 (2015) 25, No. 5 (2015) 25, No. 4 (2015) 25, No. 3 (2015) 25, No. 2 (2015) 25, No. 1 (2015) 24, No. 6 (2014) 24, No. 5 (2014) 24, No. 4 (2014) 24, No. 3 (2014) 24, No. 2 (2014) 24, No. 1 (2014) 23, No. 6 (2013) 23, No. 5 (2013) 23, No. 4 (2013) 23, No. 3 (2013) 23, No. 2 (2013) 23, No. 1 (2013) 22, No. 6 (2012) 22, No. 5 (2012) 22, No. 4 (2012) 22, No. 3 (2012) 22, No. 2 (2012) 22, No. 1 (2012) 21, No. 6 (2011) 21, No. 5 (2011) 21, No. 4 (2011) 21, No. 3 (2011) 21, No. 2 (2011) 21, No. 1 (2011) 20, No. 6 (2010) 20, No. 5 (2010) 20, No. 4 (2010) 20, No. 3 (2010) 20, No. 2 (2010) 20, No. 1 (2010) 19, No. 6 (2009) ...and 110 more Volumes all top 5 Authors 14 Pym, David J. 13 Sernadas, Amilcar C. 12 Gabbay, Dov M. 12 Godo, Lluís 12 Sernadas, Cristina S. 11 Kamide, Norihiro 10 Demri, Stéphane P. 9 Alechina, Natasha 9 Bezhanishvili, Nick 9 Esteva, Francesc 9 Galmiche, Didier 9 Montagna, Franco 9 Naumov, Pavel G. 9 Palmigiano, Alessandra 9 Strasser, Christian 9 Turner, Raymond 9 van der Hoek, Wiebe 8 Artemov, Sergei 8 Baaz, Matthias 8 Balbiani, Philippe 8 Coniglio, Marcelo Esteban 8 Rasga, João 8 Schlechta, Karl 8 van Benthem, Johan F. A. K. 8 Woltran, Stefan 8 Wooldridge, Michael J. 7 Ågotnes, Thomas 7 Avron, Arnon 7 Bench-Capon, Trevor J. M. 7 Cenzer, Douglas 7 Costantini, Stefania 7 Diaconescu, Răzvan 7 Fisher, Michael 7 Fitting, Melvin Chris 7 Goré, Rajeev Prabhakar 7 Herzig, Andreas 7 Jeřábek, Emil 7 Löwe, Benedikt 7 Ognjanović, Zoran 7 Reynolds, Mark Alexander 7 Rybakov, Mikhail Nikolaevich 7 Shkatov, Dmitry 7 Sorbi, Andrea 7 van Ditmarsch, Hans Pieter 6 Aguzzoli, Stefano 6 Beckmann, Arnold 6 Bělohlávek, Radim 6 Bolander, Thomas 6 Ciabattoni, Agata 6 Gabbay, Murdoch James 6 Gaĭnă, Daniel 6 Grossi, Davide 6 Kamareddine, Fairouz D. 6 Lorini, Emiliano 6 Meyer, John-Jules Charles 6 Olivetti, Nicola 6 Rybakov, Vladimir Vladimirovich 6 Studer, Thomas 6 Wolter, Frank 6 Zhao, Zhiguang 5 Areces, Carlos 5 Aucher, Guillaume 5 Barmpalias, George 5 Bodirsky, Manuel 5 Braüner, Torben 5 Carnielli, Walter Alexandre 5 Collinson, Matthew 5 D’Agostino, Giovanna 5 Davis, Ernest 5 Di Nola, Antonio 5 Flaminio, Tommaso 5 Giordano, Laura 5 Giunchiglia, Fausto 5 Goranko, Valentin F. 5 Hájek, Petr 5 Hansson, Sven Ove 5 Jennings, Nicholas R. 5 Kaminski, Michael 5 Kurz, Alexander 5 Lehmann, Daniel J. 5 Lenzi, Giacomo 5 Liao, Beishui 5 Maratea, Marco 5 Peltier, Nicolas 5 Policriti, Alberto 5 Primiero, Giuseppe 5 Sano, Katsuhiko 5 Sedlár, Igor 5 Soskov, Ivan N. 5 Soskova, Alexandra A. 5 Stewart, Iain A. 5 Van De Putte, Frederik 5 van Eijck, Jan 5 Vesic, Srdjan 5 Zakharyaschev, Michael Viktorovich 4 Adámek, Jiří 4 Arieli, Ofer 4 Baader, Franz 4 Benferhat, Salem 4 Bistarelli, Stefano ...and 1,910 more Authors all top 5 Fields 1,328 Mathematical logic and foundations (03-XX) 989 Computer science (68-XX) 70 Order, lattices, ordered algebraic structures (06-XX) 66 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 56 General and overarching topics; collections (00-XX) 32 Category theory; homological algebra (18-XX) 17 Combinatorics (05-XX) 15 General algebraic systems (08-XX) 10 Quantum theory (81-XX) 10 Information and communication theory, circuits (94-XX) 8 History and biography (01-XX) 5 Operations research, mathematical programming (90-XX) 4 General topology (54-XX) 4 Biology and other natural sciences (92-XX) 3 Group theory and generalizations (20-XX) 3 Probability theory and stochastic processes (60-XX) 2 Measure and integration (28-XX) 2 Partial differential equations (35-XX) 2 Geometry (51-XX) 2 Algebraic topology (55-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Integral equations (45-XX) 1 Statistics (62-XX) 1 Relativity and gravitational theory (83-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,161 Publications have been cited 8,208 times in 5,709 Documents Cited by ▼ Year ▼ Logic programming with focusing proofs in linear logic. Zbl 0764.03020 Andreoli, Jean-Marc 175 1992 Rewrite-based equational theorem proving with selection and simplification. Zbl 0814.68117 Bachmair, Leo; Ganzinger, Harald 118 1994 A modal logic for coalitional power in games. Zbl 1003.91006 Pauly, Marc 113 2002 Persuasion in practical argument using value-based argumentation frameworks. Zbl 1043.03026 Bench-Capon, Trevor J. M. 102 2003 Merging information under constraints: A logical framework. Zbl 1020.68086 Konieczny, Sébastien; Pino Pérez, Ramón 101 2002 Using the universal modality: Gains and questions. Zbl 0774.03003 Goranko, Valentin; Passy, Solomon 89 1992 A logic programming language with lambda-abstraction, function variables, and simple unification. Zbl 0738.68016 Miller, Dale 83 1991 Abductive logic programming. Zbl 0778.68081 Kakas, A. C.; Kowalski, R. A.; Toni, F. 79 1992 Abstract interpretation frameworks. Zbl 0783.68073 Cousot, Patrick; Cousot, Radhia 72 1992 Non-deterministic multiple-valued structures. Zbl 1070.03010 Avron, Arnon; Lev, Iddo 62 2005 Complexity results for nonmonotonic logics. Zbl 0765.03012 Gottlob, Georg 61 1992 On the minimum many-valued modal logic over a finite residuated lattice. Zbl 1252.03040 Bou, Félix; Esteva, Francesc; Godo, Lluís; Rodríguez, Ricardo Oscar 58 2011 Hoops and fuzzy logic. Zbl 1039.03016 Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco 58 2003 A modal logic for chopping intervals. Zbl 0744.03022 Venema, Yde 55 1991 Introducing justification into epistemic logic. Zbl 1088.03015 Artemov, Sergei; Nogina, Elena 53 2005 Admissible rules of modal logics. Zbl 1077.03011 Jeřábek, Emil 48 2005 Sequent calculi for induction and infinite descent. Zbl 1242.03084 Brotherston, James; Simpson, Alex 46 2011 The taming of the cut. Classical refutations with analytic cut. Zbl 0806.03037 D’Agostino, Marcello; Mondadori, Marco 45 1994 Kleene’s logic, generalized. Zbl 0744.03025 Fitting, Melvin 41 1991 Comparing LTL semantics for runtime verification. Zbl 1213.68363 Bauer, Andreas; Leucker, Martin; Schallhart, Christian 41 2010 Reasoning about space: the modal way. Zbl 1054.03015 Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram 40 2003 An axiomatization of the temporal logic with until and since over the real numbers. Zbl 0744.03018 Gabbay, D. M.; Hodkinson, I. M. 40 1990 Constraint satisfaction with countable homogeneous templates. Zbl 1113.03026 Bodirsky, Manuel; Nešetřil, Jaroslav 39 2006 Possibilistic and standard probabilistic semantics of conditional knowledge bases. Zbl 0945.68166 Benferhat, Salem; Dubois, Didier; Prade, Henri 37 1999 The trilattice of constructive truth values. Zbl 0996.03014 Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi 37 2001 Unification through projectivity. Zbl 0894.08004 Ghilardi, Silvio 37 1997 Argumentation semantics for defeasible logic. Zbl 1067.03038 Governatori, Guido; Maher, Michael J.; Antoniou, Grigoris; Billington, David 35 2004 Agents that reason and negotiate by arguing. Zbl 0904.68061 Parsons, Simon; Sierra, Carles; Jennings, Nick 35 1998 On the relationship between abduction and deduction. Zbl 0734.68085 Console, Luca; Theseider Dupré, Daniele; Torasso, Pietro 34 1991 Robust semantics for argumentation frameworks. Zbl 0933.68088 Jakobovits, Hadassa; Vermeir, Dirk 33 1999 Fuzzy logics with noncommutative conjunctions. Zbl 1036.03018 Hájek, Petr 33 2003 Algebraic semantics for paraconsistent Nelson’s logic. Zbl 1034.03029 Odintsov, Sergei P. 32 2003 Actions and events in interval temporal logic. Zbl 0815.68100 Allen, James F.; Ferguson, George 31 1994 Similarity relations in concept lattices. Zbl 0972.06008 Bělohlávek, Radim 30 2000 Semi-stable semantics. Zbl 1267.68223 Caminada, Martin W. A.; Carnielli, Walter A.; Dunne, Paul E. 30 2012 A description logic with transitive and inverse roles and role hierarchies. Zbl 0940.03039 Horrocks, Ian; Sattler, Ulrike 29 1999 Termination for hybrid tableaus. Zbl 1140.03005 Bolander, Thomas; Blackburn, Patrick 29 2007 Operators and laws for combining preference relations. Zbl 1008.91027 Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves 28 2002 On weakly cancellative fuzzy logics. Zbl 1113.03021 Montagna, Franco; Noguera, Carles; Horčík, Rostislav 27 2006 Hypersequent calculi for Gödel logics – a survey. Zbl 1051.03046 Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G. 27 2003 Semantics-based translation methods for modal logics. Zbl 0746.03010 Ohlbach, H. J. 27 1991 Falsification, natural deduction and bi-intuitionistic logic. Zbl 1444.03009 Wansing, Heinrich 27 2016 Internalizing labelled deduction. Zbl 0953.03018 Blackburn, Patrick 26 2000 An \(O(n\;\log\;n)\)-space decision procedure for intuitionistic propositional logic. Zbl 0788.03010 Hudelmaier, Jörg 26 1993 Sequent calculi for normal modal propositional logics. Zbl 0799.03014 Wansing, Heinrich 26 1994 State constraints revisited. Zbl 0815.68096 Lin, Fangzen; Reiter, Ray 26 1994 A decision procedure and complete axiomatization of finite interval temporal logic with projection. Zbl 1050.03012 Bowman, Howard; Thompson, Simon 26 2003 Compositionality through an operational semantics of contexts. Zbl 0738.68056 Larsen, Kim G.; Liu, Xinxin 26 1991 Differential-algebraic dynamic logic for differential-algebraic programs. Zbl 1191.03024 Platzer, André 26 2010 Constructive logic with strong negation as a substructural logic. Zbl 1205.03040 Busaniche, Manuela; Cignoli, Roberto 26 2010 The dynamic logic of permission. Zbl 0855.03008 van der Meyden, Ron 25 1996 Nominal (universal) algebra: equational logic with names and binding. Zbl 1191.08003 Gabbay, Murdoch J.; Mathijssen, Aad 25 2009 Reasoning about rational, but not logically omniscient, agents. Zbl 0884.03026 Ho Ngoc Duc 24 1997 Tableaux for logics of subinterval structures over dense orderings. Zbl 1188.03009 Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro 24 2010 On decision problems related to the preferred semantics for argumentation frameworks. Zbl 1032.03518 Cayrol, Claudette; Doutre, Sylvie; Mengin, Jerome 24 2003 Coherence and flexibility in dialogue games for argumentation. Zbl 1092.03014 Prakken, Henry 23 2005 Injective models and disjunctive relations. Zbl 0788.03032 Freund, Michael 23 1993 Propositions as [types]. Zbl 1050.03016 Awodey, Steven; Bauer, Andrej 23 2004 Logics preserving degrees of truth from varieties of residuated lattices. Zbl 1197.03023 Bou, Félix; Esteva, Francesc; Font, Josep Maria; Gil, Àngel J.; Godo, Lluís; Torrens, Antoni; Verdú, Ventura 23 2009 Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026 Babenyshev, Sergey; Rybakov, Vladimir 23 2011 Properties and complexity of some formal inter-agent dialogues. Zbl 1038.03037 Parsons, Simon; Wooldridge, Michael; Amgoud, Leila 23 2003 Characterizing logical consequence in many-valued logic. Zbl 1386.03021 Chemla, Emmanuel; Égré, Paul; Spector, Benjamin 22 2017 A linearization of the lambda-calculus and consequences. Zbl 0953.03014 Kfoury, Assaf J. 22 2000 PSpace reasoning for graded modal logics. Zbl 0992.03028 Tobies, Stephan 22 2001 Admissible rules of Łukasiewicz logic. Zbl 1216.03042 Jerábek, Emil 22 2010 Exemplaric expressivity of modal logics. Zbl 1234.03009 Jacobs, Bart; Sokolova, Ana 22 2010 Some probability logics with new types of probability operators. Zbl 0941.03022 Ognjanović, Zoran; Rašković, Miodrag 21 1999 Optimizing description logic subsumption. Zbl 0940.03038 Horrocks, Ian; Patel-Schneider, Peter F. 21 1999 Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames. Zbl 1371.03035 Caicedo, Xavier; Rodríguez, Ricardo Oscar 21 2015 Decision procedures for BDI logics. Zbl 0904.68158 Rao, Anand S.; Georgeff, Michael P. 21 1998 Four-valued modal logic: Kripke semantics and duality. Zbl 1444.03073 Rivieccio, Umberto; Jung, Achim; Jansana, Ramon 20 2017 Defeasible dialectics: A controversy-oriented approach towards defeasible argumentation. Zbl 0789.03026 Vreeswijk, Gerard 20 1993 Hyperresolution and automated model building. Zbl 0861.68086 Fermüller, Christian; Leitsch, Alexander 20 1996 Epistemic actions as resources. Zbl 1183.03010 Baltag, Alexandru; Coecke, Bob; Sadrzadeh, Mehrnoosh 20 2007 Coercive subtyping. Zbl 0920.03062 Luo, Zhaohui 19 1999 Logic programming with strong negation and inexact predicates. Zbl 0738.68018 Wagner, Gerd 19 1991 Multi-type display calculus for dynamic epistemic logic. Zbl 1403.03027 Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta 19 2016 Algorithmic randomness of closed sets. Zbl 1155.03031 Barmpalias, George; Brodhead, Paul; Cenzer, Douglas; Dashti, Seyyed; Weber, Rebecca 19 2007 Fibring of logics as a categorial construction. Zbl 0942.03064 Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos 18 1999 On the expressive power of three-valued and four-valued languages. Zbl 0941.03012 Avron, Arnon 18 1999 Systems for knowledge and belief. Zbl 0790.03024 van der Hoek, Wiebe 18 1993 Beyond rational monotony: Some strong non-Horn rules for nonmonotonic inference relations. Zbl 0937.03036 Bezzazi, Hassan; Makinson, David; Pino Pérez, Ramón 18 1997 Paraconsistent stable semantics for extended disjunctive programs. Zbl 0827.68070 Sakama, Chiaki; Inoue, Katsumi 18 1995 On product logic with truth-constants. Zbl 1102.03030 Savický, Petr; Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Noguera, Carles 18 2006 Can we make the second incompleteness theorem coordinate free? Zbl 1262.03123 Visser, Albert 18 2011 Some syntactical observations on linear logic. Zbl 0745.03025 Schellinx, Harold 18 1991 Tableaux for public announcement logic. Zbl 1189.03019 Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago 18 2010 Embedding alternating-time temporal logic in strategic STIT logic of agency. Zbl 1120.03014 Broersen, Jan; Herzig, Andreas; Troquard, Nicolas 18 2006 The collapse of the bounded width hierarchy. Zbl 1353.68107 Barto, Libor 17 2016 A proof-theoretic approach to logic programming. I: Clauses as rules. Zbl 0723.68028 Hallnäs, Lars; Schroeder-Heister, Peter 17 1990 On the correspondence between modal and classical logic: An automated approach. Zbl 0802.03009 Szalas, Andrzej 17 1993 Introduction to cirquent calculus and abstract resource semantics. Zbl 1113.03023 Japaridze, Giorgi 17 2006 On a hierarchy of \(5^{\prime}\rightarrow 3^{\prime}\) sensing Watson-Crick finite automata languages. Zbl 1284.68362 Nagy, Benedek 17 2013 Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068 Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell 17 2012 A jump inversion theorem for the degree spectra. Zbl 1165.03018 Soskova, Alexandra A.; Soskov, Ivan N. 17 2009 On instance-level update and erasure in description logic ontologies. Zbl 1181.68274 de Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo 17 2009 Bases of admissible rules of Łukasiewicz logic. Zbl 1216.03043 Jeřábek, Emil 17 2010 Cut-free sequent calculi for C-systems with generalized finite-valued semantics. Zbl 1267.03032 Avron, Arnon; Konikowska, Beata; Zamansky, Anna 17 2013 Tableau-based decision procedures for hybrid logic. Zbl 1122.03006 Bolander, Thomas; Braüner, Torben 17 2006 DefLog: On the logical interpretation of prima facie justified assumptions. Zbl 1032.03507 Verheij, Bart 17 2003 A logic-based tractable approximation of probability. Zbl 07686428 Baldi, Paolo; Hosni, Hykel 1 2023 Generic logical encoding for argumentation. Zbl 07686429 Besnard, Philippe; Doutre, Sylvie; Duchatelle, Théo; Lagasquie-Schiex, Marie-Christine 1 2023 A principle-based account of self-attacking arguments in gradual semantics. Zbl 07669819 Beuselinck, Vivien; Delobelle, Jérôme; Vesic, Srdjan 1 2023 Observing interventions: a logic for thinking about experiments. Zbl 07801574 Barbero, Fausto; Schulz, Katrin; Velázquez-Quesada, Fernando R.; Xie, Kaibo 1 2023 Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models. Zbl 07801575 Belardinelli, Gaia; Rendsvig, Rasmus K. 1 2023 Basic modal congruent and monotonic multilattice logics. Zbl 07801582 Grigoriev, Oleg; Petrukhin, Yaroslav 1 2023 Projective classes as images of accessible functors. Zbl 07655497 Wehrung, Friedrich 1 2023 Satisfiability of constrained Horn clauses on algebraic data types: a transformation-based approach. Zbl 07486296 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 4 2022 Opinion diffusion and campaigning on society graphs. Zbl 07582729 Faliszewski, Piotr; Gonen, Rica; Koutecký, Martin; Talmon, Nimrod 4 2022 On the computational properties of basic mathematical notions. Zbl 07638209 Normann, Dag; Sanders, Sam 3 2022 Densely computable structures. Zbl 07582718 Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina 3 2022 Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic. Zbl 07589714 Wang, Juntao; He, Pengfei; Yang, Jiang; Wang, Mei; He, Xiaoli 3 2022 Computability of glued manifolds. Zbl 07471450 Čelar, Matea; IljazoviĆ, Zvonko 2 2022 A labelling semantics and strong admissibility for weighted argumentation frameworks. Zbl 07486291 Bistarelli, Stefano; Taticchi, Carlo 2 2022 Dialectica logical principles: not only rules. Zbl 07638213 Trotta, Davide; Spadetto, Matteo; de Paiva, Valeria 2 2022 Complexity of finite-variable fragments of products with non-transitive modal logics. Zbl 07589718 Rybakov, Mikhail; Shkatov, Dmitry 2 2022 Strictly join irreducible varieties of residuated lattices. Zbl 07471449 Aglianò, Paolo; Ugolini, Sara 1 2022 The first-order theory of the computably enumerable equivalence relations in the uncountable setting. Zbl 07471451 Andrews, Uri; Lempp, Steffen; Mustafa, Manat; Schweber, Noah D. 1 2022 Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics. Zbl 07471453 Grätz, Lukas 1 2022 Modular non-deterministic semantics for T, TB, S4, S5 and more. Zbl 07471454 Pawlowski, Pawel; La Rosa, Elio 1 2022 A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. Zbl 07486288 Giordano, Laura; Gliozzi, Valentina; Theseider Dupré, Daniele 1 2022 Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. Zbl 07486290 Girlando, Marianna; Lellmann, Björn; Olivetti, Nicola; Pesce, Stefano; Pozzato, Gian Luca 1 2022 Belief contraction and erasure in fragments of propositional logic. Zbl 07610425 Creignou, Nadia; Ktari, RaÏda; Papini, Odile 1 2022 A parameterized view on the complexity of dependence and independence logic. Zbl 07638204 Kontinen, Juha; Meier, Arne; Mahmood, Yasir 1 2022 A logic of interactive proofs. Zbl 07638205 Lehnherr, David; Ognjanović, Zoran; Studer, Thomas 1 2022 On embedding Lambek calculus into commutative categorial grammars. Zbl 07582715 Slavnov, Sergey 1 2022 An ASP-based solver for parametrized-difference revision. Zbl 07582720 Aravanis, Theofanis 1 2022 Markov chain model representation of information diffusion in social networks. Zbl 07582730 Dennis, Louise A.; Fu, Yu; Slavkovik, Marija 1 2022 Change in social networks: some dynamic extensions of social epistemic logic. Zbl 07582731 Fernández González, Saúl 1 2022 Containment logics: algebraic counterparts and reduced models. Zbl 07589716 Bonzio, Stefano; Baldi, Michele Pra 1 2022 Countably many sublogics of the interpretability logic IL having fixed point properties. Zbl 07589722 Okawa, Yuya 1 2022 The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis. Zbl 1509.03037 Normann, Dag; Sanders, Sam 8 2021 Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages. Zbl 07398783 Rybakov, Mikhail; Shkatov, Dmitry 5 2021 Completeness theorems for first-order logic analysed in constructive type theory. Extended version. Zbl 07471462 Forster, Yannick; Kirst, Dominik; Wehr, Dominik 4 2021 Relating structure and power: comonadic semantics for computational resources. Zbl 1509.03097 Abramsky, Samson; Shah, Nihil 4 2021 Fibrational bisimulations and quantitative reasoning: extended version. Zbl 1509.18026 Sprunger, David; Katsumata, Shin-ya; Dubut, Jérémy; Hasuo, Ichiro 4 2021 Complexity of finite-variable fragments of products with K. Zbl 07332113 Rybakov, Mikhail; Shkatov, Dmitry 4 2021 Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages. Zbl 1477.03028 Rybakov, Mikhail; Shkatov, Dmitry 4 2021 Abstract argumentation and the rational man. Zbl 07332122 Kampik, Timotheus; Nieves, Juan Carlos 4 2021 Negation as a modality in a quantified setting. Zbl 07398787 Speranski, Stanislav O. 3 2021 Dualities and algebraic geometry of Baire functions in non-classical logic. Zbl 07423156 Di Nola, Antonio; Lapenta, Serafina; Lenzi, Giacomo 3 2021 On the correspondence between nested calculi and semantic systems for intuitionistic logics. Zbl 1509.03033 Lyon, Tim 2 2021 Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. Zbl 07398778 Girlando, Marianna; Negri, Sara; Olivetti, Nicola 2 2021 Logics of formal inconsistency based on distributive involutive residuated lattices. Zbl 07398782 Esteva, F.; Figallo-Orellano, A.; Flaminio, T.; Godo, L. 2 2021 An efficient reasoning method on logic programming using partial evaluation in vector spaces. Zbl 07398785 Nguyen, Hien D.; Sakama, Chiaki; Sato, Taisuke; Inoue, Katsumi 2 2021 Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic. Zbl 07423146 Tesi, Matteo; Negri, Sara 2 2021 Computational errors and suspension in a PWK epistemic agent. Zbl 07423151 Carrara, Massimiliano; Zhu, Wei 2 2021 On the Turing complexity of learning finite families of algebraic structures. Zbl 07423157 Bazhenov, Nikolay; San Mauro, Luca 2 2021 Algorithmic correspondence and canonicity for possibility semantics. Zbl 07332117 Zhao, Zhiguang 2 2021 Extensional realizability for intuitionistic set theory. Zbl 07332121 Frittaion, Emanuele; Rathjen, Michael 2 2021 Logics for reasoning about degrees of confirmation. Zbl 07451583 DautoviĆ, Šejla; Doder, Dragan; OgnjanoviĆ, Zoran 2 2021 Modal logics and group polarization. Zbl 07451585 Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas 2 2021 Feedback hyperjump. Zbl 1509.03134 Aguilera, Juan P.; Lubarsky, Robert S. 1 2021 Knowledge of uncertain worlds: programming with logical constraints. Zbl 1509.68038 Liu, Yanhong A.; Stoller, Scott D. 1 2021 Parameterized complexity of abduction in Schaefer’s framework. Zbl 1509.68111 Mahmood, Yasir; Meier, Arne; Schmidt, Johannes 1 2021 Categorical and algebraic aspects of the intuitionistic modal logic \(\mathrm{IEL}^{\text{--}}\) and its predicate extensions. Zbl 1510.03011 Rogozin, Daniel 1 2021 Intuitionistic multi-agent subatomic natural deduction for belief and knowledge. Zbl 07398772 Więckowski, Bartosz 1 2021 Internal proof calculi for modal logics with separating conjunction. Zbl 07398775 Demri, Stéphane; Fervari, Raul; Mansutti, Alessio 1 2021 Labelled cyclic proofs for separation logic. Zbl 07398776 Galmiche, Didier; Méry, Daniel 1 2021 Labelled calculi for quantified modal logics with definite descriptions. Zbl 07398777 Orlandelli, Eugenio 1 2021 Notes on conjunctive and quasi degrees. Zbl 07398786 Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea 1 2021 Handling inconsistency in partially preordered ontologies: the Elect method. Zbl 07398788 Belabbes, Sihem; Benferhat, Salem; Chomicki, Jan 1 2021 Reasoning about strategic voting in modal logic quickly becomes undecidable. Zbl 07399897 Parmann, Erik; Ågotnes, Thomas 1 2021 Steps and traces. Zbl 1509.18003 Rot, Jurriaan; Jacobs, Bart; Levy, Paul Blain 1 2021 A recursion theoretic foundation of computation over real numbers. Zbl 07423148 Ng, Keng Meng; Tavana, Nazanin R.; Yang, Yue 1 2021 Topological semantics of conservativity and interpretability logics. Zbl 07423150 Iwata, Sohei; Kurahashi, Taishi 1 2021 Epistemic extensions of substructural inquisitive logics. Zbl 07423154 Punčochář, Vít; Sedlár, Igor 1 2021 Type inhabitation of atomic polymorphism is undecidable. Zbl 07332112 Protin, M. Clarence 1 2021 Probabilities of first-order sentences on sparse random relational structures: an application to definability on random CNF formulas. Zbl 07332114 Larrauri, Lázaro Alberto 1 2021 On the strongest three-valued paraconsistent logic contained in classical logic and its dual. Zbl 07332119 Middelburg, C. A. 1 2021 Operator algebras with hyperarithmetic theory. Zbl 07332120 Goldbring, Isaac; Hart, Bradd 1 2021 Frame definability, canonicity and cut elimination in common sense modal predicate logics. Zbl 07451573 Sawasaki, Takahiro; Sano, Katsuhiko 1 2021 Group belief. Zbl 07451574 Ågotnes, Thomas; Wáng, Yì N. 1 2021 Ambiguity and context learning in signalling games. Zbl 07451575 Tang, Liping 1 2021 Semirings of evidence. Zbl 07451579 Baur, Michael; Studer, Thomas 1 2021 Guaranteeing admissibility of abstract argumentation frameworks with rationality and feasibility constraints. Zbl 07451581 Chen, Weiwei 1 2021 The language of epistemic specifications (refined) including a prototype solver. Zbl 1489.68272 Kahl, Patrick; Watson, Richard; Balai, Evgenii; Gelfond, Michael; Zhang, Yuanlin 14 2020 Open sets in computability theory and reverse mathematics. Zbl 1472.03012 Normann, Dag; Sanders, Sam 14 2020 Embeddings of Bishop spaces. Zbl 1515.03224 Petrakis, Iosif 8 2020 Optimum stable model search: algorithms and implementation. Zbl 1487.68206 Alviano, Mario; Dodaro, Carmine; Marques-Silva, Joao; Ricca, Francesco 8 2020 Losing connection: the modal logic of definable link deletion. Zbl 1509.03072 Li, Dazhu 6 2020 Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages. Zbl 07285871 Rybakov, Mikhail; Shkatov, Dmitry 5 2020 The unreasonable effectiveness of nonstandard analysis. Zbl 1516.03023 Sanders, Sam 4 2020 On uniform belief revision. Zbl 1464.03014 Aravanis, Theofanis 4 2020 Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 1515.03220 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 3 2020 Probabilistic justification logic. Zbl 1515.03073 Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas 3 2020 Recursive enumerability and elementary frame definability in predicate modal logic. Zbl 1515.03106 Rybakov, Mikhail; Shkatov, Dmitry 3 2020 First-order swap structures semantics for some logics of formal inconsistency. Zbl 07285868 Coniglio, Marcelo E.; Figallo-Orellano, Aldo; Golzio, Ana C. 3 2020 A study of possible-worlds semantics of relevance-sensitive belief revision. Zbl 1509.03061 Aravanis, Theofanis; Peppas, Pavlos; Williams, Mary-Anne 2 2020 Self-full ceers and the uniform join operator. Zbl 1509.03125 Andrews, Uri; Schweber, Noah; Sorbi, Andrea 2 2020 Power Kripke-Platek set theory and the axiom of choice. Zbl 1515.03201 Rathjen, Michael 2 2020 Declarative encodings of acyclicity properties. Zbl 1487.68222 Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi 2 2020 Ordered models for concept representation. Zbl 07285864 Freund, Michael 2 2020 Founded semantics and constraint semantics of logic rules. Zbl 07285901 Liu, Yanhong A.; Stoller, Scott D. 2 2020 Multi-dimensional interpretations of Presburger arithmetic in itself. Zbl 07285903 Pakhomov, Fedor; Zapryagaev, Alexander 2 2020 The generalized orthomodularity property: configurations and pastings. Zbl 1509.06006 Chajda, Ivan; Fazio, Davide; Ledda, Antonio 1 2020 On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs. Zbl 1509.68245 Dvořák, Wolfgang; Rapberger, Anna; Woltran, Stefan 1 2020 Sette’s calculus \(P^1\) and some hierarchies of paraconsistent systems. Zbl 1509.03078 Ciuciura, Janusz 1 2020 Order polarities. Zbl 1509.06001 Egrot, Rob 1 2020 An introduction to feedback Turing computability. Zbl 1515.03181 Ackerman, Nathanael L.; Freer, Cameron E.; Lubarsky, Robert S. 1 2020 ...and 1061 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 5,122 Authors 45 Gabbay, Dov M. 39 Godo, Lluís 37 Montanari, Angelo 34 Wansing, Heinrich Theodor 32 van Ditmarsch, Hans Pieter 31 Rybakov, Vladimir Vladimirovich 30 Kamide, Norihiro 29 Arieli, Ofer 29 Avron, Arnon 28 Eiter, Thomas 27 Ognjanović, Zoran 26 Woltran, Stefan 24 Bodirsky, Manuel 24 Sciavicco, Guido 23 Bezhanishvili, Guram 23 Esteva, Francesc 23 Goranko, Valentin F. 23 Iemhoff, Rosalie 23 Montagna, Franco 23 Simari, Guillermo Ricardo 22 Balbiani, Philippe 22 Palmigiano, Alessandra 21 Metcalfe, George 21 van Benthem, Johan F. A. K. 21 Zamansky, Anna 20 Amgoud, Leila 20 Bezhanishvili, Nick 20 Ciabattoni, Agata 20 Flaminio, Tommaso 20 Miller, Dale Allen 20 Peltier, Nicolas 20 Reynolds, Mark Alexander 20 Sala, Pietro 20 Schröder, Lutz 19 Conradie, Willem 19 Demri, Stéphane P. 19 Diaconescu, Răzvan 19 Dixon, Clare 19 Pym, David J. 19 Rivieccio, Umberto 18 Bělohlávek, Radim 18 Hunter, Anthony 18 Olarte, Carlos 18 Pimentel, Elaine 18 Sernadas, Cristina S. 17 Herzig, Andreas 17 Lorini, Emiliano 17 Odintsov, Sergei P. 17 Paoli, Francesco 17 Weidenbach, Christoph 16 Blanchette, Jasmin Christian 16 Galmiche, Didier 16 Hustadt, Ullrich 16 Noguera, Carles 16 Peron, Adriano 16 Rasga, João 16 van der Torre, Leendert W. N. 15 Baader, Franz 15 Bozzelli, Laura 15 Cintula, Petr 15 Japaridze, Giorgi 15 Olivetti, Nicola 15 Toni, Francesca 15 Visser, Albert 15 Waldmann, Uwe 15 Wolter, Frank 15 Wooldridge, Michael J. 14 Ågotnes, Thomas 14 Alechina, Natasha 14 Areces, Carlos 14 Baroni, Pietro 14 Bianchi, Matteo 14 Fisher, Michael 14 Fitting, Melvin Chris 14 Gabbay, Murdoch James 14 Giacomin, Massimiliano 14 Moraschini, Tommaso 14 Pfenning, Frank 14 Rabe, Florian 14 Schaub, Torsten H. 14 Schmidt, Renate A. 14 van der Hoek, Wiebe 14 Velázquez-Quesada, Fernando Raymundo 14 Venema, Yde 14 Vetterlein, Thomas 13 Aceto, Luca 13 Bonacina, Maria Paola 13 Bresolin, Davide 13 Broersen, Jan M. 13 Dunne, Paul E. 13 Gottlob, Georg 13 Kuznetsov, Stepan L’vovich 13 Leone, Nicola 13 Meier, Arne 13 Negri, Sara 13 Nguyen, Linh Anh 13 Nigam, Vivek 13 Pacuit, Eric 13 Perović, Aleksandar 13 Petrukhin, Yaroslav Igorevich ...and 5,022 more Authors all top 5 Cited in 253 Journals 323 Artificial Intelligence 320 Theoretical Computer Science 247 Studia Logica 191 Annals of Pure and Applied Logic 169 Journal of Applied Non-Classical Logics 154 Information and Computation 143 International Journal of Approximate Reasoning 129 Journal of Philosophical Logic 123 Annals of Mathematics and Artificial Intelligence 121 Journal of Automated Reasoning 118 Fuzzy Sets and Systems 114 Journal of Logic, Language and Information 113 Journal of Applied Logic 107 Synthese 101 The Journal of Symbolic Logic 95 Logical Methods in Computer Science 92 MSCS. Mathematical Structures in Computer Science 90 The Review of Symbolic Logic 78 Archive for Mathematical Logic 70 Theory and Practice of Logic Programming 51 Soft Computing 50 Logica Universalis 46 ACM Transactions on Computational Logic 44 Notre Dame Journal of Formal Logic 44 Journal of Logical and Algebraic Methods in Programming 43 Information Sciences 40 Journal of Computer and System Sciences 38 Mathematical Logic Quarterly (MLQ) 37 Formal Aspects of Computing 33 Algebra Universalis 32 Logic and Logical Philosophy 31 The Bulletin of Symbolic Logic 29 Journal of Symbolic Computation 27 Information Processing Letters 27 Formal Methods in System Design 22 Algebra and Logic 22 Bulletin of the Section of Logic 21 Acta Informatica 21 The Journal of Logic and Algebraic Programming 20 Theory of Computing Systems 14 Journal of Functional Programming 14 The Journal of Artificial Intelligence Research (JAIR) 13 Siberian Mathematical Journal 13 Social Choice and Welfare 13 Erkenntnis 13 Logicheskie Issledovaniya 11 SIAM Journal on Computing 11 Order 11 Higher-Order and Symbolic Computation 11 Fundamenta Informaticae 9 Journal of Pure and Applied Algebra 9 New Generation Computing 9 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 9 International Journal of Foundations of Computer Science 9 Topoi 9 Computability 8 Discrete Applied Mathematics 8 International Journal of Theoretical Physics 8 European Journal of Combinatorics 8 Applied Categorical Structures 8 Lobachevskii Journal of Mathematics 7 Transactions of the American Mathematical Society 7 Machine Learning 7 Journal of Mathematical Sciences (New York) 7 Journal of Mathematical Logic 7 Sibirskie Èlektronnye Matematicheskie Izvestiya 6 International Journal of General Systems 6 Mathematica Slovaca 6 Proceedings of the American Mathematical Society 6 Theory and Decision 6 International Journal of Intelligent Systems 6 Computer Languages, Systems & Structures 6 Frontiers of Computer Science 5 Journal of Algebra 5 Journal of Economic Theory 5 Mathematical Social Sciences 5 History and Philosophy of Logic 5 Algorithmica 5 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 5 International Journal of Computer Mathematics 5 Indagationes Mathematicae. New Series 5 Constraints 5 RAIRO. Theoretical Informatics and Applications 5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 Journal of Multiple-Valued Logic and Soft Computing 5 Iranian Journal of Fuzzy Systems 5 RAIRO. Theoretical Informatics and Applications 4 Israel Journal of Mathematics 4 Science of Computer Programming 4 AI Communications 4 Games and Economic Behavior 4 Russian Mathematics 4 LMS Journal of Computation and Mathematics 4 Natural Computing 4 Oberwolfach Reports 4 Computer Science Review 4 Open Mathematics 4 Journal of Siberian Federal University. Mathematics & Physics 3 Discrete Mathematics 3 Lithuanian Mathematical Journal ...and 153 more Journals all top 5 Cited in 52 Fields 3,711 Mathematical logic and foundations (03-XX) 3,256 Computer science (68-XX) 328 Order, lattices, ordered algebraic structures (06-XX) 250 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 120 Category theory; homological algebra (18-XX) 104 General algebraic systems (08-XX) 66 Combinatorics (05-XX) 53 General topology (54-XX) 40 Quantum theory (81-XX) 38 General and overarching topics; collections (00-XX) 38 History and biography (01-XX) 36 Probability theory and stochastic processes (60-XX) 31 Operations research, mathematical programming (90-XX) 31 Information and communication theory, circuits (94-XX) 30 Group theory and generalizations (20-XX) 27 Systems theory; control (93-XX) 24 Biology and other natural sciences (92-XX) 21 Statistics (62-XX) 17 Numerical analysis (65-XX) 13 Geometry (51-XX) 12 Associative rings and algebras (16-XX) 12 Measure and integration (28-XX) 11 Linear and multilinear algebra; matrix theory (15-XX) 11 Algebraic topology (55-XX) 9 Commutative algebra (13-XX) 8 Ordinary differential equations (34-XX) 7 Functional analysis (46-XX) 7 Convex and discrete geometry (52-XX) 6 Number theory (11-XX) 6 Real functions (26-XX) 5 Dynamical systems and ergodic theory (37-XX) 5 Operator theory (47-XX) 4 Field theory and polynomials (12-XX) 4 Relativity and gravitational theory (83-XX) 3 Topological groups, Lie groups (22-XX) 3 Partial differential equations (35-XX) 3 Differential geometry (53-XX) 3 Global analysis, analysis on manifolds (58-XX) 3 Mathematics education (97-XX) 2 Algebraic geometry (14-XX) 2 Difference and functional equations (39-XX) 2 Manifolds and cell complexes (57-XX) 2 Mechanics of particles and systems (70-XX) 2 Fluid mechanics (76-XX) 1 Nonassociative rings and algebras (17-XX) 1 Functions of a complex variable (30-XX) 1 Potential theory (31-XX) 1 Integral transforms, operational calculus (44-XX) 1 Integral equations (45-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year