ACM Transactions on Computational Logic Short Title: ACM Trans. Comput. Log. Publisher: Association for Computing Machinery (ACM), New York, NY ISSN: 1529-3785; 1557-945X/e Online: https://dl.acm.org/loi/tocl Comments: Journal; Indexed cover-to-cover Documents Indexed: 673 Publications (since 2000) References Indexed: 192 Publications with 7,748 References. all top 5 Latest Issues 25, No. 4 (2024) 25, No. 3 (2024) 25, No. 2 (2024) 25, No. 1 (2024) 24, No. 4 (2023) 24, No. 3 (2023) 24, No. 2 (2023) 24, No. 1 (2023) 23, No. 4 (2022) 23, No. 3 (2022) 23, No. 2 (2022) 23, No. 1 (2021) 22, No. 4 (2021) 22, No. 3 (2021) 21, No. 4 (2020) 21, No. 3 (2020) 21, No. 2 (2020) 21, No. 1 (2020) 20, No. 4 (2019) 20, No. 3 (2019) 20, No. 2 (2019) 20, No. 1 (2019) 19, No. 4 (2018) 19, No. 3 (2018) 19, No. 2 (2018) 19, No. 1 (2018) 18, No. 4 (2017) 18, No. 3 (2017) 18, No. 2 (2017) 18, No. 1 (2017) 17, No. 4 (2016) 17, No. 3 (2016) 17, No. 2 (2016) 17, No. 1 (2015) 16, No. 4 (2015) 16, No. 3 (2015) 16, No. 2 (2015) 16, No. 1 (2015) 15, No. 4 (2014) 15, No. 3 (2014) 15, No. 2 (2014) 15, No. 1 (2014) 14, No. 4 (2013) 14, No. 3 (2013) 14, No. 2 (2013) 14, No. 1 (2013) 13, No. 4 (2012) 13, No. 3 (2012) 13, No. 2 (2012) 13, No. 1 (2012) 12, No. 4 (2011) 12, No. 3 (2011) 12, No. 2 (2011) 12, No. 1 (2010) 11, No. 4 (2010) 11, No. 3 (2010) 11, No. 2 (2010) 11, No. 1 (2009) 10, No. 4 (2009) 10, No. 3 (2009) 10, No. 2 (2009) 10, No. 1 (2009) 9, No. 4 (2008) 9, No. 3 (2008) 9, No. 2 (2008) 9, No. 1 (2007) 8, No. 4 (2007) 8, No. 3 (2007) 8, No. 2 (2007) 8, No. 1 (2007) 7, No. 4 (2006) 7, No. 3 (2006) 7, No. 2 (2006) 7, No. 1 (2006) 6, No. 4 (2005) 6, No. 3 (2005) 6, No. 2 (2005) 6, No. 1 (2005) 5, No. 4 (2004) 5, No. 3 (2004) 5, No. 2 (2004) 5, No. 1 (2004) 4, No. 4 (2003) 4, No. 3 (2003) 4, No. 2 (2003) 4, No. 1 (2003) 3, No. 4 (2002) 3, No. 3 (2002) 3, No. 2 (2002) 3, No. 1 (2002) 2, No. 4 (2001) 2, No. 3 (2001) 2, No. 2 (2001) 2, No. 1 (2001) 1, No. 2 (2000) 1, No. 1 (2000) all top 5 Authors 11 Kupferman, Orna 10 Gurevich, Yuri 9 Eiter, Thomas 8 Benedikt, Michael A. 8 Blass, Andreas Raphael 8 Subrahmanian, V. S. 7 Henzinger, Thomas A. 7 Neven, Frank 7 Szeider, Stefan 6 Chatterjee, Krishnendu 6 Denecker, Marc 6 Gottlob, Georg 6 Lauria, Massimo 6 Lazić, Ranko 6 Liberatore, Paolo 6 Meier, Arne 5 Atserias, Albert 5 Beyersdorff, Olaf 5 Ghilardi, Silvio 5 Grädel, Erich 5 Guglielmi, Alessio 5 Libkin, Leonid O. 5 Murano, Aniello 5 Olivetti, Nicola 5 Palmigiano, Alessandra 5 Schwentick, Thomas 5 Serre, Olivier 5 Tiu, Alwen Fernanto 5 Vollmer, Heribert 5 Zakharyaschev, Michael Viktorovich 4 Bodirsky, Manuel 4 Bryant, Randal E. 4 Buss, Samuel R. 4 Carayol, Arnaud 4 Ciabattoni, Agata 4 Cortier, Véronique 4 Creignou, Nadia 4 Demri, Stéphane P. 4 Feng, Yuan 4 Ferrari, Mauro 4 Fiorentini, Camillo 4 Genaim, Samir 4 Goranko, Valentin F. 4 Grohe, Martin 4 Halpern, Joseph Yehuda 4 Kontinen, Juha 4 Lin, Fangzhen 4 Milius, Stefan 4 Mogavero, Fabio 4 Murawski, Andrzej S. 4 Pfenning, Frank 4 Raskin, Jean-François 4 Segoufin, Luc 4 Simari, Gerardo I. 4 Struth, Georg 4 Tan, Tony 4 Tompits, Hans 4 Wang, Kewen 4 Wolter, Frank 4 Woltran, Stefan 4 Ying, Mingsheng 3 Albert, Elvira 3 Alur, Rajeev 3 Antoniou, Grigoris 3 Artale, Alessandro 3 Beckmann, Arnold 3 Bozzelli, Laura 3 Chadha, Rohit 3 Cimatti, Alessandro 3 Dawar, Anuj 3 Delaune, Stéphanie 3 Dix, Jurgen 3 Dixon, Clare 3 Durand, Arnaud 3 Fichte, Johannes Klaus 3 Fiorino, Guido 3 Fokkink, Willem Jan 3 Gabbrielli, Maurizio 3 Galesi, Nicola 3 Greco, Giuseppe 3 Griggio, Alberto 3 Heule, Marijn J. H. 3 Hierons, Robert Mark 3 Hustadt, Ullrich 3 Keiren, Jeroen J. A. 3 Khan, Md. Aquil 3 Kieroński, Emanuel 3 Klaedtke, Felix 3 Kozen, Dexter C. 3 Kreutzer, Stephan 3 Kwiatkowska, Marta Z. 3 Lahav, Ori 3 Leone, Nicola 3 Liau, Churn-Jung 3 Lukasiewicz, Thomas 3 Lutz, Carsten 3 Mahajan, Meena 3 Marion, Jean-Yves 3 Martin, Barnaby D. 3 Martini, Simone ...and 1,073 more Authors all top 5 Fields 562 Computer science (68-XX) 433 Mathematical logic and foundations (03-XX) 25 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 22 Combinatorics (05-XX) 13 Information and communication theory, circuits (94-XX) 10 Category theory; homological algebra (18-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 7 Algebraic topology (55-XX) 7 Operations research, mathematical programming (90-XX) 6 General algebraic systems (08-XX) 5 General and overarching topics; collections (00-XX) 5 Probability theory and stochastic processes (60-XX) 4 Number theory (11-XX) 4 Quantum theory (81-XX) 2 Biology and other natural sciences (92-XX) 1 Group theory and generalizations (20-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 554 Publications have been cited 4,967 times in 3,868 Documents Cited by ▼ Year ▼ The DLV system for knowledge representation and reasoning. Zbl 1367.68308 Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco 168 2006 Strongly equivalent logic programs. Zbl 1365.68149 Lifschitz, Vladimir; Pearce, David; Valverde, Agustín 139 2001 Finite state machines for strings over infinite alphabets. Zbl 1367.68175 Neven, Frank; Schwentick, Thomas; Vianu, Victor 86 2004 LTL with the freeze quantifier and register automata. Zbl 1351.68158 Demri, Stéphane; Lazić, Ranko 84 2009 Kleene algebra with domain. Zbl 1367.68205 Desharnais, Jules; Möller, Bernhard; Struth, Georg 77 2006 Two-variable logic on data words. Zbl 1352.03041 Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 72 2011 Quantitative languages. Zbl 1351.68155 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 68 2010 Model-checking continuous-time Markov chains. Zbl 1365.68313 Aziz, Adnan; Sanwal, Kumud; Singhal, Vigyan; Brayton, Robert 65 2000 MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326 Engelfriet, Joost; Hoogeboom, Hendrik Jan 63 2001 Sequential abstract-state machines capture sequential algorithms. Zbl 1365.68258 Gurevich, Yuri 61 2000 Weak alternating automata are not that weak. Zbl 1171.68551 Kupferman, Orna; Vardi, Moshe Y. 59 2001 Complexity of conservative constraint satisfaction problems. Zbl 1351.68113 Bulatov, Andrei A. 56 2011 Reasoning about strategies: on the model-checking problem. Zbl 1354.68178 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 54 2014 A system of interaction and structure. Zbl 1367.03110 Guglielmi, Alessio 53 2007 Contextual modal type theory. Zbl 1367.03060 Nanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte 53 2008 On Hoare logic and Kleene algebra with tests. Zbl 1365.68326 Kozen, Dexter 52 2000 A proof theory for generic judgments. Zbl 1367.03059 Miller, Dale; Tiu, Alwen 48 2005 Clausal temporal resolution. Zbl 1365.03017 Fisher, Michael; Dixon, Clare; Peim, Martin 37 2001 Probabilistic game semantics. Zbl 1365.68310 Danos, Vincent; Harmer, Russell S. 35 2002 Deterministic generators and games for LTL fragments. Zbl 1366.03181 Alur, Rajeev; La Torre, Salvatore 33 2004 New results on rewrite-based satisfiability procedures. Zbl 1367.68243 Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan 32 2009 Parametric temporal logic for “model measuring”. Zbl 1171.68544 Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron 32 2001 The local universes model: an overlooked coherence construction for dependent type theories. Zbl 1354.03101 Lumsdaine, Peter LeFanu; Warren, Michael A. 31 2015 Description logics of minimal knowledge and negation as failure. Zbl 1365.68403 Donini, Francesco M.; Nardi, Daniele; Rosati, Riccardo 31 2002 Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156 Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian 30 2009 Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186 Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra 30 2013 Probabilistic logic programming with conditional constraints. Zbl 1171.68762 Lukasiewicz, Thomas 30 2001 Representation results for defeasible logic. Zbl 1171.68740 Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J. 29 2001 Semantical characterizations and complexity of equivalences in answer set programming. Zbl 1367.68031 Eiter, Thomas; Fink, Michael; Woltran, Stefan 29 2007 Enumeration of monadic second-order queries on trees. Zbl 1353.68068 Kazana, Wojciech; Segoufin, Luc 28 2013 Unfolding partiality and disjunctions in stable model semantics. Zbl 1367.68035 Janhunen, Tomi; Niemelä, Ilkka; Seipel, Dietmar; Simons, Patrik; You, Jia-Huai 28 2006 Intuitionistic light affine logic. Zbl 1365.03040 Asperti, Andrea; Roversi, Luca 28 2002 Why are there so many loop formulas? Zbl 1367.68036 Lifschitz, Vladimir; Razborov, Alexander 28 2006 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174 Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 28 2014 Topological and simplicial models of identity types. Zbl 1352.03012 van den Berg, Benno; Garner, Richard 27 2012 Abstract versus concrete computation on metric partial algebras. Zbl 1367.68102 Tucker, J. V.; Zucker, J. I. 27 2004 Temporal specifications with accumulative values. Zbl 1354.68169 Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna 26 2014 Least and greatest fixed points in linear logic. Zbl 1352.03072 Baelde, David 25 2012 Precongruence formats for decorated trace semantics. Zbl 1367.68209 Bloom, Bard; Fokkink, Wan; van Glabbeek, Rob J. 25 2004 An effective decision procedure for linear arithmetic over the integers and reals. Zbl 1407.03052 Boigelot, Bernard; Jodogne, Sébastien; Wolper, Pierre 24 2005 Reasoning with higher-order abstract syntax in a logical framework. Zbl 1365.68164 McDowell, Raymond C.; Miller, Dale A. 24 2002 An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation. Zbl 1367.68211 Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J. 24 2017 PSPACE bounds for rank-1 modal logics. Zbl 1351.03015 Schröder, Lutz; Pattinson, Dirk 23 2009 Logic programs with propositional connectives and aggregates. Zbl 1351.68053 Ferraris, Paolo 23 2011 On the complexity of probabilistic abstract argumentation frameworks. Zbl 1354.68253 Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco 23 2015 Efficient solving of quantified inequality constraints over the real numbers. Zbl 1367.68270 Ratschan, Stefan 23 2006 Proof nets for unit-free multiplicative-additive linear logic. Zbl 1367.03111 Hughes, Dominic J. D.; van Glabbeek, Rob J. 22 2005 First-order queries on structures of bounded degree are computable with constant delay. Zbl 1367.68086 Durand, Arnaud; Grandjean, Etienne 22 2007 On equivalence and canonical forms in the LF type theory. Zbl 1367.03055 Harper, Robert; Pfenning, Frank 22 2005 Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037 Metcalfe, George; Olivetti, Nicola; Gabbay, Dov 22 2005 Abstract state machines capture parallel algorithms. Zbl 1365.68253 Blass, Andreas; Gurevich, Yuri 22 2003 Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto 21 2010 Nondeterministic phase semantics and the undecidability of Boolean BI. Zbl 1343.03022 Larchey-Wendling, Dominique; Galmiche, Didier 21 2013 Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions. Zbl 1407.68285 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto 21 2018 Arithmetic, first-order logic, and counting quantifiers. Zbl 1407.03050 Schweikardt, Nicole 21 2005 The marriage of effects and monads. Zbl 1365.68166 Wadler, Philip; Thiemann, Peter 21 2003 Hierarchies in dependence logic. Zbl 1352.03039 Durand, Arnaud; Kontinen, Juha 20 2012 Automatic linear orders and trees. Zbl 1367.03070 Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank 20 2005 An algebra of quantum processes. Zbl 1351.68187 Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng 19 2009 A classification of symbolic transition systems. Zbl 1367.68193 Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François 19 2005 A formally verified proof of the prime number theorem. Zbl 1367.68244 Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul 19 2007 A logic of nonmonotone inductive definitions. Zbl 1367.68278 Denecker, Marc; Ternovska, Eugenia 19 2008 Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus. Zbl 1351.68186 Tiu, Alwen; Miller, Dale 18 2010 Optimality of size-degree tradeoffs for polynomial calculus. Zbl 1352.03066 Galesi, Nicola; Lauria, Massimo 18 2010 On the proof complexity of deep inference. Zbl 1351.03056 Bruscoli, Paola; Guglielmi, Alessio 18 2009 Back and forth between guarded and modal logics. Zbl 1365.03019 Grädel, Erich; Hirsch, Colin; Otto, Martin 18 2002 A logic programming approach to knowledge-state planning, semantics and complexity. Zbl 1367.68301 Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel 18 2004 From linear time to branching time. Zbl 1367.68195 Kupferman, Orna; Vardi, Moshe Y. 18 2005 Collapsible pushdown automata and recursion schemes. Zbl 1407.68256 Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier 18 2017 Complexity of propositional logics in team semantic. Zbl 1407.68291 Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert 17 2018 First-order interpretations of bounded expansion classes. Zbl 1446.68094 Gajarský, Jakub; Kreutzer, Stephan; Nešetřil, Jaroslav; Ossona de Mendez, Patrice; Pilipczuk, Michał; Siebertz, Sebastian; Toruńczyk, Szymon 17 2020 Structural focalization. Zbl 1354.03087 Simmons, Robert J. 16 2014 Modularisation of sequent calculi for normal and non-normal modalities. Zbl 1433.03131 Lellmann, Björn; Pimentel, Elaine 16 2019 Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026 Wolter, Frank; Zakharyaschev, Michael 16 2008 Induction from answer sets in nonmonotonic logic programs. Zbl 1367.68039 Sakama, Chiaki 16 2005 Minimum model semantics for logic programs with negation-as-failure. Zbl 1367.68038 Rondogiannis, Panos; Wadge, William W. 16 2005 Soft concurrent constraint programming. Zbl 1367.68315 Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 16 2006 Alternating timed automata. Zbl 1367.68172 Lasota, Slawomir; Walukiewicz, Igor 16 2008 Quantifier-free interpolation in combinations of equality interpolating theories. Zbl 1287.03068 Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio 16 2014 Optimization modulo theories with linear rational costs. Zbl 1354.68233 Sebastiani, Roberto; Tomasi, Silvia 15 2015 LTL over description logic axioms. Zbl 1351.68260 Baader, Franz; Ghilardi, Silvio; Lutz, Carsten 15 2012 Narrow proofs may be maximally long. Zbl 1367.03104 Atserias, Albert; Lauria, Massimo; Nordström, Jakob 15 2016 Splitting an operator: algebraic modularity results for logics with fixpoint semantics. Zbl 1367.68295 Vennekens, Joost; Gilis, David; Denecker, Marc 15 2006 Simulation-based minimization. Zbl 1365.68319 Bustan, Doron; Grumberg, Orna 15 2003 Mechanizing the metatheory of LF. Zbl 1351.68250 Urban, Christian; Cheney, James; Berghofer, Stefan 14 2011 Monodic temporal resolution. Zbl 1367.03035 Degtyarev, Anatoli; Fisher, Michael; Konev, Boris 14 2006 Search and strategies in OPL. Zbl 1365.90281 Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-François 14 2000 Improved witnessing and local improvement principles for second-order bounded arithmetic. Zbl 1287.03105 Beckmann, Arnold; Buss, Samuel R. 14 2014 Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021 Chatterjee, Krishnendu; Doyen, Laurent 14 2014 A unified semantic framework for fully structural propositional sequent systems. Zbl 1354.03084 Lahav, Ori; Avron, Arnon 13 2013 Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. Zbl 1351.03004 Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca 13 2009 Automated termination proofs for logic programs by term rewriting. Zbl 1351.68054 Schneider-Kamp, Peter; Giesl, Jürgen; Serebrenik, Alexander; Thiemann, René 13 2009 Succinctness of the complement and intersection of regular expressions. Zbl 1351.68139 Gelade, Wouter; Neven, Frank 13 2012 A decision procedure for term algebras with queues. Zbl 1171.68557 Rybina, Tatiana; Voronkov, Andrei 13 2001 A sequent calculus and a theorem prover for standard conditional logics. Zbl 1367.68253 Olivetti, Nicola; Pozzato, Gian Luca; Schwind, Camilla B. 13 2007 Verifiable agent interaction in abductive logic programming: the SCIFF framework. Zbl 1367.68273 Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 13 2008 Sequent calculi for propositional nonmonotonic logics. Zbl 1365.03023 Bonatti, Piero Andrea; Olivetti, Nicola 13 2002 Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. Zbl 1365.68317 Bryant, Randal E.; German, Steven; Velev, Miroslav N. 13 2001 Propositional computability logic. I. Zbl 1367.03056 Japaridze, Giorgi 13 2006 An \(n!\) lower bound on formula size. Zbl 1365.68270 Adler, Micah; Immerman, Neil 13 2003 An axiomatic theory for reversible computation. Zbl 07839133 Lanese, Ivan; Phillips, Iain; Ulidowski, Irek 2 2024 Interpolation in linear logic and related systems. Zbl 07942535 Fussner, Wesley; Santschi, Simon 1 2024 A decision procedure for guarded separation logic complete entailment checking for separation logic with inductive definitions. Zbl 07650597 Matheja, Christoph; Pagel, Jens; Zuleger, Florian 4 2023 Canonisation and definability for graphs of bounded rank width. Zbl 07650602 Grohe, Martin; Neuen, Daniel 3 2023 SAT-inspired eliminations for superposition. Zbl 07650603 Vukmirović, Petar; Blanchette, Jasmin; Heule, Marijn J. H. 3 2023 Precise subtyping for asynchronous multiparty sessions. Zbl 07672673 Ghilezan, Silvia; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko 3 2023 Reasoning about quality and fuzziness of strategic behaviors. Zbl 07713582 Bouyer, Patricia; Kupferman, Orna; Markey, Nicolas; Maubert, Bastien; Murano, Aniello; Perelli, Giuseppe 3 2023 Witnesses for answer sets of logic programs. Zbl 07672674 Wang, Yisong; Eiter, Thomas; Zhang, Yuanlin; Lin, Fangzhen 2 2023 A decision procedure for a theory of finite sets with finite integer intervals. Zbl 07807741 Cristiá, Maximiliano; Rossi, Gianfranco 1 2023 First-order logic with connectivity operators. Zbl 1541.03114 Schirrmacher, Nicole; Siebertz, Sebastian; Vigny, Alexandre 1 2023 Inputs, outputs, and composition in the logic of information flows. Zbl 07760994 Aamer, Heba; Bogaerts, Bart; Surinx, Dimitri; Ternovska, Eugenia; Van den Bussche, Jan 1 2023 Logics for temporal information systems in rough set theory. Zbl 07650598 Khan, Md. Aquil; Banerjee, Mohua; Panda, Sibsankar 1 2023 Good-for-game QPTL: an alternating hodges semantics. Zbl 07650600 Bellier, Dylan; Benerecetti, Massimo; Della Monica, Dario; Mogavero, Fabio 1 2023 The complexity of quantified constraints: collapsibility, switchability, and the algebraic formulation. Zbl 07650601 Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby; Zhuk, Dmitriy 1 2023 Number of variables for graph differentiation and the resolution of graph isomorphism formulas. Zbl 1541.03157 Torán, Jacobo; Wörz, Florian 1 2023 Hardness characterisations and size-width lower bounds for QBF resolution. Zbl 07672669 Beyersdorff, Olaf; Blinkhorn, Joshua; Mahajan, Meena; Peitl, Tomáš 1 2023 A generalized realizability and intuitionistic logic. Zbl 07672670 Konovalov, Aleksandr 1 2023 Linear logic properly displayed. Zbl 07672672 Greco, Giuseppe; Palmigiano, Alessandra 1 2023 Eager equality for rational number arithmetic. Zbl 07713583 Bergstra, Jan A.; Tucker, John V. 1 2023 Generalizing Parikh’s criterion for relevance-sensitive belief revision. Zbl 07672677 Aravanis, Theofanis 1 2023 Being correct is not enough: efficient verification using robust linear temporal logic. Zbl 1502.68178 Anevlavis, Tzanis; Philippe, Matthew; Neider, Daniel; Tabuada, Paulo 7 2022 Parameterized complexity of elimination distance to first-order logic properties. Zbl 1505.03075 Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M. 5 2022 Logics with multiteam semantics. Zbl 1505.03069 Grädel, Erich; Wilke, Richard 5 2022 Unifying operational weak memory verification: an axiomatic approach. Zbl 1508.68216 Doherty, Simon; Dalvandi, Sadegh; Dongol, Brijesh; Wehrheim, Heike 4 2022 Syntactic completeness of proper display calculi. Zbl 1505.03121 Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos 4 2022 Modalities and parametric adjoints. Zbl 1505.03030 Gratzer, Daniel; Cavallo, Evan; Kavvos, G. A.; Guatto, Adrien; Birkedal, Lars 4 2022 o-minimal invariants for discrete-time dynamical systems. Zbl 1502.68177 Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James 3 2022 Coalgebraic reasoning with global assumptions in arithmetic modal logics. Zbl 1502.68285 Kupke, Clemens; Pattinson, Dirk; Schröder, Lutz 3 2022 Are two binary operators necessary to obtain a finite axiomatisation of parallel composition? Zbl 1508.68239 Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas 3 2022 Asynchronous announcements. Zbl 1505.03038 Balbiani, Philippe; Van Ditmarsch, Hans; Fernández González, Saúl 2 2022 The temporal logic of coalitional goal assignments in concurrent multiplayer games. Zbl 1505.03048 Enqvist, Sebastian; Goranko, Valentin 1 2022 Verification of distributed quantum programs. Zbl 1508.68218 Feng, Yuan; Li, Sanjiang; Ying, Mingsheng 1 2022 From 2-sequents and linear nested sequents to natural deduction for normal modal logics. Zbl 1505.03054 Martini, Simone; Masini, Andrea; Zorzi, Margherita 4 2021 Slanted canonicity of analytic inductive inequalities. Zbl 1505.03051 De Rudder, Laurent; Palmigiano, Alessandra 3 2021 Tractability frontier of data complexity in team semantics. Zbl 1508.68217 Durand, Arnaud; Kontinen, Juha; De Rugy-Altherre, Nicolas; Väänänen, Jouko 3 2021 Complete abstractions for checking language inclusion. Zbl 1508.68190 Ganty, Pierre; Ranzato, Francesco; Valero, Pedro 2 2021 Generalized realizability and basic logic. Zbl 1505.03128 Konovalov, Aleksandr Yu. 2 2021 Strategic knowledge acquisition. Zbl 1502.68284 Deuser, Kaya; Naumov, Pavel 1 2021 Display to labeled proofs and back again for tense logics. Zbl 1505.03047 Ciabattoni, Agata; Lyon, Tim S.; Ramanayake, Revantha; Tiu, Alwen 1 2021 The complexity of counting problems over incomplete databases. Zbl 1508.68083 Arenas, Marcelo; Barceló, Pablo; Monet, Mikaël 1 2021 Graphs identified by logics with counting. Zbl 1508.68124 Kiefer, Sandra; Schweitzer, Pascal; Selman, Erkal 1 2021 First-order interpretations of bounded expansion classes. Zbl 1446.68094 Gajarský, Jakub; Kreutzer, Stephan; Nešetřil, Jaroslav; Ossona de Mendez, Patrice; Pilipczuk, Michał; Siebertz, Sebastian; Toruńczyk, Szymon 17 2020 Adding successor. A transfer theorem for separation and covering. Zbl 1433.03103 Place, Thomas; Zeitoun, Marc 9 2020 Idempotent anti-unification. Zbl 1433.68188 Cerna, David; Kutsia, Temur 7 2020 Intuitionistic linear temporal logics. Zbl 1433.03047 Balbiani, Philippe; Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David 7 2020 A new perspective on FO model checking of dense graph classes. Zbl 1446.68093 Gajarský, Jakub; Hliněný, Petr; Obdržálek, Jan; Lokshtanov, Daniel; Ramanujan, M. S. 7 2020 A first-order logic for reasoning about knowledge and probability. Zbl 1446.03038 Tomović, S.; Ognjanović, Z.; Doder, D. 6 2020 The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates. Zbl 1446.03064 Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas 5 2020 Why liveness for timed automata is hard, and what we can do about it. Zbl 1446.68068 Herbreteau, Frédéric; Srivathsan, B.; Tran, Thanh-Tung; Walukiewicz, Igor 4 2020 Non-well-founded proof theory of transitive closure logic. Zbl 1446.03031 Cohen, Liron; Rowe, Reuben N. S. 4 2020 Dichotomies in ontology-mediated querying with the guarded fragment. Zbl 1446.68056 Hernich, André; Lutz, Carsten; Papacchini, Fabio; Wolter, Frank 4 2020 Runtime verification over out-of-order streams. Zbl 1433.68208 Basin, David; Klaedtke, Felix; Zălinescu, Eugen 3 2020 Satisfiability of modal inclusion logic. Lax and strict semantics. Zbl 1433.03053 Hella, Lauri; Kuusisto, Antti; Meier, Arne; Vollmer, Heribert 3 2020 Metric temporal description logics with interval-rigid names. Zbl 1446.68145 Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika 3 2020 Toward a uniform theory of effectful state machines. Zbl 1446.68085 Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 3 2020 Typing messages for free in security protocols. Zbl 1433.68211 Chrétien, Rémy; Cortier, Véronique; Dallon, Antoine; Delaune, Stéphanie 2 2020 Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015 Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi 2 2020 Monadic Datalog, tree validity, and limited access containment. Zbl 1433.68115 Benedikt, Michael; Bourhis, Pierre; Gottlob, Georg; Senellart, Pierre 2 2020 Dynamic QBF dependencies in reduction and expansion. Zbl 1433.03138 Beyersdorff, Olaf; Blinkhorn, Joshua 2 2020 The power of the weak. Zbl 1446.68089 Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio 2 2020 Duality between unprovability and provability in forward refutation-search for intuitionistic propositional logic. Zbl 1446.03025 Fiorentini, Camillo; Ferrari, Mauro 2 2020 Inputs and outputs in CSP. A model and a testing theory. Zbl 1446.68103 Cavalcanti, Ana; Hierons, Robert M.; Nogueira, Sidney 2 2020 Applying visible strong equivalence in answer-set program transformations. Zbl 1502.68059 Bomanson, Jori; Janhunen, Tomi; Niemelä, Ilkka 1 2020 Modularisation of sequent calculi for normal and non-normal modalities. Zbl 1433.03131 Lellmann, Björn; Pimentel, Elaine 16 2019 A higher-order calculus of computational fields. Zbl 1407.68326 Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob 11 2019 Modal resolution. Proofs, layers, and refinements. Zbl 1433.03057 Nalon, Cláudia; Dixon, Clare; Hustadt, Ullrich 7 2019 Proof complexity meets algebra. Zbl 1407.03070 Atserias, Albert; Ochremiak, Joanna 7 2019 De Morgan dual nominal quantifiers modelling private names in non-commutative logic. Zbl 1459.03090 Horne, Ross; Tiu, Alwen; Aman, Bogdan; Ciobanu, Gabriel 6 2019 Interval vs. point temporal logic model checking. An expressiveness comparison. Zbl 1407.68283 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro 6 2019 1-safe Petri nets and special cube complexes. Equivalence and applications. Zbl 1433.68243 Chalopin, Jérémie; Chepoi, Victor 5 2019 Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315 Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning 5 2019 Fast query answering over existential rules. Zbl 1433.68432 Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco 4 2019 Synchronizing data words for register automata. Zbl 1433.68199 Quaas, Karin; Shirmohammadi, Mahsa 3 2019 Checking admissibility using natural dualities. Zbl 1407.03010 Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A. 3 2019 Tight bounds on the asymptotic descriptive complexity of subgraph isomorphism. Zbl 1433.68162 Verbitsky, Oleg; Zhukovskii, Maksim 2 2019 On the verification of livelock-freedom and self-stabilization on parameterized rings. Zbl 1433.68254 Klinkhamer, Alex; Ebnenasir, Ali 2 2019 Probabilistic epistemic updates on algebras. Zbl 1433.03043 Conradie, Willem; Frittella, Sabine; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem 2 2019 Incomplete SMT techniques for solving non-linear formulas over the integers. Zbl 1433.68405 Borralleras, Cristina; Larraz, Daniel; Rodríguez-Carbonell, Enric; Oliveras, Albert; Rubio, Albert 2 2019 Binary reachability of timed-register pushdown automata and branching vector addition systems. Zbl 1433.68194 Clemente, Lorenzo; Lasota, Sławomir; Lazić, Ranko; Mazowiecki, Filip 1 2019 A SAT approach to branchwidth. Zbl 1433.68412 Lodha, Neha; Ordyniak, Sebastian; Szeider, Stefan 1 2019 Central limit model checking. Zbl 1433.68209 Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca 1 2019 A theoretical and numerical analysis of the worst-case size of reduced ordered binary decision diagrams. Zbl 1407.68116 Newton, Jim; Verna, Didier 1 2019 Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions. Zbl 1407.68285 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto 21 2018 Complexity of propositional logics in team semantic. Zbl 1407.68291 Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert 17 2018 Are short proofs narrow? QBF resolution is not so simple. Zbl 1407.03072 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 9 2018 Parallel cost analysis. Zbl 1407.68062 Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo 7 2018 Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants. Zbl 1407.03009 Kieroński, Emanuel; Tendera, Lidia 6 2018 A modular type reconstruction algorithm. Zbl 1407.68440 Rabe, Florian 5 2018 Some subsystems of constant-depth Frege with parity. Zbl 1407.03074 Garlík, Michal; Kołodziejczyk, Leszek Aleksander 5 2018 Game-theoretic semantics for alternating-time temporal logic. Zbl 1407.03030 Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine 5 2018 Completeness of flat coalgebraic fixpoint logics. Zbl 1407.03049 Schröder, Lutz; Venema, Yde 4 2018 Subatomic proof systems: splittable systems. Zbl 1407.03069 Aler Tubella, Andrea; Guglielmi, Alessio 4 2018 Path categories and propositional identity types. Zbl 1407.03005 van den Berg, Benno 4 2018 An epistemic strategy logic. Zbl 1407.03020 Huang, Xiaowei; van der Meyden, Ron 3 2018 An automatic proving approach to parameterized verification. Zbl 1407.68295 Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei 3 2018 Hypersequents and systems of rules, embeddings and applications. Zbl 1407.03066 Ciabattoni, Agata; Genco, Francesco A. 3 2018 Geometry of interaction for MALL via Hughes-Van Glabbeek proof-nets. Zbl 1407.03077 Hamano, Masahiro 2 2018 Automated equivalence checking of concurrent quantum systems. Zbl 1407.68276 Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal 2 2018 Compositional synthesis of piece-wise functions by learning classifiers. Zbl 1407.68411 Neider, Daniel; Saha, Shambwaditya; Madhusudan, P. 2 2018 Hierarchies in inclusion logic with lax semantics. Zbl 1407.03040 Hannula, Miika 2 2018 ...and 454 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 4,265 Authors 38 Eiter, Thomas 31 Struth, Georg 31 Woltran, Stefan 30 Chatterjee, Krishnendu 28 Kupferman, Orna 27 Vardi, Moshe Ya’akov 26 Möller, Bernhard 25 Murano, Aniello 24 Milius, Stefan 21 Schröder, Lutz 20 Zimmermann, Martin 19 Alviano, Mario 19 Dal Lago, Ugo 19 Demri, Stéphane P. 19 Dixon, Clare 19 Meier, Arne 19 Pientka, Brigitte 19 Straßburger, Lutz 18 Baier, Christel 18 Beyersdorff, Olaf 18 Boker, Udi 18 Denecker, Marc 18 Filiot, Emmanuel 18 Henzinger, Thomas A. 18 Katoen, Joost-Pieter 17 Gebser, Martin 17 Lifschitz, Vladimir 16 Bogaerts, Bart 16 Bouyer, Patricia 16 Leone, Nicola 16 Pattinson, Dirk 16 Zakharyaschev, Michael Viktorovich 15 Cabalar, Pedro 15 Dershowitz, Nachum 15 Governatori, Guido 15 Meseguer Guaita, José 15 Mogavero, Fabio 15 Raskin, Jean-François 15 Ricca, Francesco 15 Schaub, Torsten H. 15 Truszczyński, Mirosław 15 Wolter, Frank 14 Alur, Rajeev 14 Faber, Wolfgang 14 Horne, Ross 14 Kwiatkowska, Marta Z. 14 Miller, Dale Allen 14 Murawski, Andrzej S. 14 Olarte, Carlos 14 Otop, Jan 14 Pearce, David 14 Platzer, André 13 Aceto, Luca 13 Bodirsky, Manuel 13 Bojańczyk, Mikołaj 13 Bollig, Benedikt 13 Bozzelli, Laura 13 Dodaro, Carmine 13 Gastin, Paul 13 Gottlob, Georg 13 Ingólfsdóttir, Anna 13 Lukasiewicz, Thomas 13 Montanari, Angelo 13 Rondogiannis, Panos 13 Silva, Alexandra 13 Tucker, John V. 13 Vollmer, Heribert 12 Dongol, Brijesh 12 Ghilardi, Silvio 12 Griggio, Alberto 12 Hustadt, Ullrich 12 Janhunen, Tomi 12 Kontinen, Juha 12 Lohrey, Markus 12 Martin, Barnaby D. 12 Perelli, Giuseppe 12 Reynier, Pierre-Alain 12 Ringeissen, Christophe 12 Rotolo, Antonino 12 Schweikardt, Nicole 11 Benedikt, Michael A. 11 Bonacina, Maria Paola 11 Desharnais, Jules 11 Droste, Manfred 11 Figueira, Diego 11 Giordano, Laura 11 Hell, Pavol 11 Japaridze, Giorgi 11 Maratea, Marco 11 Panangaden, Prakash 11 Pimentel, Elaine 11 Schwentick, Thomas 11 Tiu, Alwen Fernanto 11 Wißmann, Thorsten 11 Worrell, James Benjamin 10 Baader, Franz 10 Buss, Samuel R. 10 Ciabattoni, Agata 10 Cimatti, Alessandro 10 Delaune, Stéphanie ...and 4,165 more Authors all top 5 Cited in 173 Journals 206 Theoretical Computer Science 165 Information and Computation 164 Artificial Intelligence 159 Theory and Practice of Logic Programming 159 Logical Methods in Computer Science 96 ACM Transactions on Computational Logic 79 Annals of Pure and Applied Logic 77 Journal of Computer and System Sciences 77 Journal of Automated Reasoning 69 Journal of Logical and Algebraic Methods in Programming 67 Mathematical Structures in Computer Science 52 Annals of Mathematics and Artificial Intelligence 45 International Journal of Approximate Reasoning 39 Formal Methods in System Design 36 Acta Informatica 36 Journal of Applied Logic 35 Journal of Applied Non-Classical Logics 34 Theory of Computing Systems 33 Information Processing Letters 32 The Journal of Logic and Algebraic Programming 26 Studia Logica 24 Formal Aspects of Computing 23 Journal of Functional Programming 20 The Journal of Symbolic Logic 19 Constraints 17 International Journal of Foundations of Computer Science 17 Fundamenta Informaticae 16 Journal of Philosophical Logic 16 SIAM Journal on Computing 15 Fuzzy Sets and Systems 15 Journal of Logic, Language and Information 14 Archive for Mathematical Logic 14 The Bulletin of Symbolic Logic 13 Journal of Symbolic Computation 12 Discrete Applied Mathematics 12 Information Sciences 12 Journal of the ACM 11 Logica Universalis 9 Journal of Pure and Applied Algebra 9 Machine Learning 9 Mathematical Logic Quarterly (MLQ) 9 The Journal of Artificial Intelligence Research (JAIR) 8 Algebra Universalis 8 Science of Computer Programming 8 TheoretiCS 7 Synthese 7 Computational Complexity 6 Automatica 6 Algorithmica 6 International Journal of Algebra and Computation 5 International Journal of Theoretical Physics 5 Applied Mathematics and Computation 5 Journal of Combinatorial Theory. Series B 5 SIAM Journal on Discrete Mathematics 5 Soft Computing 5 The Review of Symbolic Logic 4 Notre Dame Journal of Formal Logic 4 Logic and Logical Philosophy 4 Mathematics in Computer Science 4 Computer Science Review 3 Communications in Algebra 3 Discrete Mathematics 3 European Journal of Combinatorics 3 Computers & Operations Research 3 Journal of Mathematical Sciences (New York) 3 Theory and Applications of Categories 3 Discrete Mathematics and Theoretical Computer Science. DMTCS 3 RAIRO. Theoretical Informatics and Applications 3 International Game Theory Review 3 Computer Languages, Systems & Structures 3 Nonlinear Analysis. Hybrid Systems 3 RAIRO. Theoretical Informatics and Applications 3 Frontiers of Computer Science 3 Logicheskie Issledovaniya 2 Lithuanian Mathematical Journal 2 Advances in Mathematics 2 Bulletin of the London Mathematical Society 2 Programming and Computer Software 2 Transactions of the American Mathematical Society 2 Bulletin of the Section of Logic 2 Graphs and Combinatorics 2 Journal of Computer Science and Technology 2 Forum Mathematicum 2 Journal of Global Optimization 2 Discrete Event Dynamic Systems 2 International Journal of Computer Mathematics 2 Cybernetics and Systems Analysis 2 Selecta Mathematica. New Series 2 ACM Journal of Experimental Algorithmics 2 Oberwolfach Reports 2 Journal of Satisfiability, Boolean Modeling and Computation 2 Computability 2 ACM Transactions on Computation Theory 2 Modelirovanie i Analiz Informatsionnykh Sistem 2 Higher Structures 1 ACM Computing Surveys 1 Computers & Mathematics with Applications 1 Houston Journal of Mathematics 1 International Journal of General Systems 1 Mathematical Notes ...and 73 more Journals all top 5 Cited in 43 Fields 3,188 Computer science (68-XX) 1,715 Mathematical logic and foundations (03-XX) 172 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 107 Combinatorics (05-XX) 104 Category theory; homological algebra (18-XX) 75 Operations research, mathematical programming (90-XX) 65 General algebraic systems (08-XX) 59 Order, lattices, ordered algebraic structures (06-XX) 41 Algebraic topology (55-XX) 40 Quantum theory (81-XX) 40 Systems theory; control (93-XX) 40 Information and communication theory, circuits (94-XX) 39 Probability theory and stochastic processes (60-XX) 23 Group theory and generalizations (20-XX) 21 Biology and other natural sciences (92-XX) 17 Associative rings and algebras (16-XX) 15 General topology (54-XX) 12 History and biography (01-XX) 11 General and overarching topics; collections (00-XX) 8 Numerical analysis (65-XX) 7 Number theory (11-XX) 7 Ordinary differential equations (34-XX) 7 Statistics (62-XX) 6 Commutative algebra (13-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 6 Dynamical systems and ergodic theory (37-XX) 5 Mechanics of particles and systems (70-XX) 4 Algebraic geometry (14-XX) 4 Convex and discrete geometry (52-XX) 3 Field theory and polynomials (12-XX) 3 Real functions (26-XX) 3 Measure and integration (28-XX) 3 Manifolds and cell complexes (57-XX) 2 Operator theory (47-XX) 2 Mathematics education (97-XX) 1 Topological groups, Lie groups (22-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Partial differential equations (35-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year