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