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: 651 Publications (since 2000) References Indexed: 170 Publications with 6,658 References. all top 5 Latest Issues 25, No. 1 (2023) 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 10 Gurevich, Yuri 9 Eiter, Thomas 9 Kupferman, Orna 8 Benedikt, Michael A. 8 Blass, Andreas Raphael 8 Subrahmanian, V. S. 7 Henzinger, Thomas A. 7 Neven, Frank 6 Chatterjee, Krishnendu 6 Denecker, Marc 6 Gottlob, Georg 6 Lauria, Massimo 6 Lazić, Ranko 6 Liberatore, Paolo 6 Szeider, Stefan 5 Atserias, Albert 5 Beyersdorff, Olaf 5 Ghilardi, Silvio 5 Grädel, Erich 5 Guglielmi, Alessio 5 Libkin, Leonid O. 5 Olivetti, Nicola 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 Meier, Arne 4 Milius, Stefan 4 Mogavero, Fabio 4 Murano, Aniello 4 Murawski, Andrzej S. 4 Palmigiano, Alessandra 4 Pfenning, Frank 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 Beckmann, Arnold 3 Chadha, Rohit 3 Dawar, Anuj 3 Delaune, Stéphanie 3 Dix, Jurgen 3 Dixon, Clare 3 Durand, Arnaud 3 Fiorino, Guido 3 Fokkink, Willem Jan 3 Gabbrielli, Maurizio 3 Galesi, Nicola 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 3 Mazowiecki, Filip 3 Meo, Maria Chiara 3 Miller, Dale Allen 3 Naumov, Pavel G. 3 Nordström, Jakob 3 Pientka, Brigitte 3 Rabe, Florian ...and 1,041 more Authors all top 5 Fields 542 Computer science (68-XX) 411 Mathematical logic and foundations (03-XX) 25 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 20 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 523 Publications have been cited 4,254 times in 3,326 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 161 2006 Strongly equivalent logic programs. Zbl 1365.68149 Lifschitz, Vladimir; Pearce, David; Valverde, Agustín 136 2001 Kleene algebra with domain. Zbl 1367.68205 Desharnais, Jules; Möller, Bernhard; Struth, Georg 72 2006 LTL with the freeze quantifier and register automata. Zbl 1351.68158 Demri, Stéphane; Lazić, Ranko 69 2009 Finite state machines for strings over infinite alphabets. Zbl 1367.68175 Neven, Frank; Schwentick, Thomas; Vianu, Victor 64 2004 Sequential abstract-state machines capture sequential algorithms. Zbl 1365.68258 Gurevich, Yuri 58 2000 Quantitative languages. Zbl 1351.68155 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 55 2010 Model-checking continuous-time Markov chains. Zbl 1365.68313 Aziz, Adnan; Sanwal, Kumud; Singhal, Vigyan; Brayton, Robert 55 2000 Weak alternating automata are not that weak. Zbl 1171.68551 Kupferman, Orna; Vardi, Moshe Y. 52 2001 Two-variable logic on data words. Zbl 1352.03041 Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc 51 2011 A system of interaction and structure. Zbl 1367.03110 Guglielmi, Alessio 49 2007 Reasoning about strategies: on the model-checking problem. Zbl 1354.68178 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y. 47 2014 Complexity of conservative constraint satisfaction problems. Zbl 1351.68113 Bulatov, Andrei A. 46 2011 On Hoare logic and Kleene algebra with tests. Zbl 1365.68326 Kozen, Dexter 46 2000 MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326 Engelfriet, Joost; Hoogeboom, Hendrik Jan 42 2001 A proof theory for generic judgments. Zbl 1367.03059 Miller, Dale; Tiu, Alwen 41 2005 Contextual modal type theory. Zbl 1367.03060 Nanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte 39 2008 Clausal temporal resolution. Zbl 1365.03017 Fisher, Michael; Dixon, Clare; Peim, Martin 36 2001 New results on rewrite-based satisfiability procedures. Zbl 1367.68243 Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan 31 2009 Deterministic generators and games for LTL fragments. Zbl 1366.03181 Alur, Rajeev; La Torre, Salvatore 30 2004 Parametric temporal logic for “model measuring”. Zbl 1171.68544 Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron 29 2001 Probabilistic logic programming with conditional constraints. Zbl 1171.68762 Lukasiewicz, Thomas 29 2001 Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186 Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra 28 2013 Semantical characterizations and complexity of equivalences in answer set programming. Zbl 1367.68031 Eiter, Thomas; Fink, Michael; Woltran, Stefan 27 2007 Representation results for defeasible logic. Zbl 1171.68740 Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J. 27 2001 The local universes model: an overlooked coherence construction for dependent type theories. Zbl 1354.03101 Lumsdaine, Peter LeFanu; Warren, Michael A. 27 2015 Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156 Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian 26 2009 Description logics of minimal knowledge and negation as failure. Zbl 1365.68403 Donini, Francesco M.; Nardi, Daniele; Rosati, Riccardo 26 2002 Unfolding partiality and disjunctions in stable model semantics. Zbl 1367.68035 Janhunen, Tomi; Niemelä, Ilkka; Seipel, Dietmar; Simons, Patrik; You, Jia-Huai 26 2006 Abstract versus concrete computation on metric partial algebras. Zbl 1367.68102 Tucker, J. V.; Zucker, J. I. 25 2004 Enumeration of monadic second-order queries on trees. Zbl 1353.68068 Kazana, Wojciech; Segoufin, Luc 24 2013 Intuitionistic light affine logic. Zbl 1365.03040 Asperti, Andrea; Roversi, Luca 24 2002 Precongruence formats for decorated trace semantics. Zbl 1367.68209 Bloom, Bard; Fokkink, Wan; van Glabbeek, Rob J. 24 2004 Logic programs with propositional connectives and aggregates. Zbl 1351.68053 Ferraris, Paolo 23 2011 Topological and simplicial models of identity types. Zbl 1352.03012 van den Berg, Benno; Garner, Richard 23 2012 Probabilistic game semantics. Zbl 1365.68310 Danos, Vincent; Harmer, Russell S. 23 2002 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 23 2014 Temporal specifications with accumulative values. Zbl 1354.68169 Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna 22 2014 On the complexity of probabilistic abstract argumentation frameworks. Zbl 1354.68253 Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco 22 2015 Reasoning with higher-order abstract syntax in a logical framework. Zbl 1365.68164 McDowell, Raymond C.; Miller, Dale A. 22 2002 Why are there so many loop formulas? Zbl 1367.68036 Lifschitz, Vladimir; Razborov, Alexander 22 2006 An effective decision procedure for linear arithmetic over the integers and reals. Zbl 1407.03052 Boigelot, Bernard; Jodogne, Sébastien; Wolper, Pierre 21 2005 Efficient solving of quantified inequality constraints over the real numbers. Zbl 1367.68270 Ratschan, Stefan 21 2006 Least and greatest fixed points in linear logic. Zbl 1352.03072 Baelde, David 20 2012 Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto 19 2010 Nondeterministic phase semantics and the undecidability of Boolean BI. Zbl 1343.03022 Larchey-Wendling, Dominique; Galmiche, Didier 19 2013 Abstract state machines capture parallel algorithms. Zbl 1365.68253 Blass, Andreas; Gurevich, Yuri 19 2003 Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037 Metcalfe, George; Olivetti, Nicola; Gabbay, Dov 19 2005 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 19 2018 Hierarchies in dependence logic. Zbl 1352.03039 Durand, Arnaud; Kontinen, Juha 18 2012 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 On equivalence and canonical forms in the LF type theory. Zbl 1367.03055 Harper, Robert; Pfenning, Frank 18 2005 Automatic linear orders and trees. Zbl 1367.03070 Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank 18 2005 First-order queries on structures of bounded degree are computable with constant delay. Zbl 1367.68086 Durand, Arnaud; Grandjean, Etienne 18 2007 A logic of nonmonotone inductive definitions. Zbl 1367.68278 Denecker, Marc; Ternovska, Eugenia 18 2008 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. 18 2017 Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus. Zbl 1351.68186 Tiu, Alwen; Miller, Dale 17 2010 Induction from answer sets in nonmonotonic logic programs. Zbl 1367.68039 Sakama, Chiaki 17 2005 Proof nets for unit-free multiplicative-additive linear logic. Zbl 1367.03111 Hughes, Dominic J. D.; van Glabbeek, Rob J. 17 2005 A formally verified proof of the prime number theorem. Zbl 1367.68244 Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul 17 2007 Collapsible pushdown automata and recursion schemes. Zbl 1407.68256 Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier 17 2017 PSPACE bounds for rank-1 modal logics. Zbl 1351.03015 Schröder, Lutz; Pattinson, Dirk 16 2009 On the proof complexity of deep inference. Zbl 1351.03056 Bruscoli, Paola; Guglielmi, Alessio 16 2009 From linear time to branching time. Zbl 1367.68195 Kupferman, Orna; Vardi, Moshe Y. 15 2005 Minimum model semantics for logic programs with negation-as-failure. Zbl 1367.68038 Rondogiannis, Panos; Wadge, William W. 15 2005 Soft concurrent constraint programming. Zbl 1367.68315 Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca 15 2006 Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026 Wolter, Frank; Zakharyaschev, Michael 15 2008 Complexity of propositional logics in team semantic. Zbl 1407.68291 Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert 14 2018 An algebra of quantum processes. Zbl 1351.68187 Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng 14 2009 Mechanizing the metatheory of LF. Zbl 1351.68250 Urban, Christian; Cheney, James; Berghofer, Stefan 14 2011 Search and strategies in OPL. Zbl 1365.90281 Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-François 14 2000 Back and forth between guarded and modal logics. Zbl 1365.03019 Grädel, Erich; Hirsch, Colin; Otto, Martin 14 2002 A classification of symbolic transition systems. Zbl 1367.68193 Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François 14 2005 Arithmetic, first-order logic, and counting quantifiers. Zbl 1407.03050 Schweikardt, Nicole 14 2005 Monodic temporal resolution. Zbl 1367.03035 Degtyarev, Anatoli; Fisher, Michael; Konev, Boris 14 2006 Alternating timed automata. Zbl 1367.68172 Lasota, Slawomir; Walukiewicz, Igor 14 2008 Quantifier-free interpolation in combinations of equality interpolating theories. Zbl 1287.03068 Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio 14 2014 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 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 The marriage of effects and monads. Zbl 1365.68166 Wadler, Philip; Thiemann, Peter 13 2003 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 Narrow proofs may be maximally long. Zbl 1367.03104 Atserias, Albert; Lauria, Massimo; Nordström, Jakob 13 2016 Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110 Gottlob, Georg; Pichler, Reinhard; Wei, Fang 12 2010 Succinctness of the complement and intersection of regular expressions. Zbl 1351.68139 Gelade, Wouter; Neven, Frank 12 2012 A unified semantic framework for fully structural propositional sequent systems. Zbl 1354.03084 Lahav, Ori; Avron, Arnon 12 2013 Structural focalization. Zbl 1354.03087 Simmons, Robert J. 12 2014 Optimization modulo theories with linear rational costs. Zbl 1354.68233 Sebastiani, Roberto; Tomasi, Silvia 12 2015 Propositional computability logic. I. Zbl 1367.03056 Japaridze, Giorgi 12 2006 Abstract canonical inference. Zbl 1367.03023 Bonacina, Maria Paola; Dershowitz, Nachum 12 2007 Improved witnessing and local improvement principles for second-order bounded arithmetic. Zbl 1287.03105 Beckmann, Arnold; Buss, Samuel R. 12 2014 Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021 Chatterjee, Krishnendu; Doyen, Laurent 12 2014 Checking timed Büchi automata emptiness on simulation graphs. Zbl 1352.68165 Tripakis, Stavros 11 2009 LTL over description logic axioms. Zbl 1351.68260 Baader, Franz; Ghilardi, Silvio; Lutz, Carsten 11 2012 Modularisation of sequent calculi for normal and non-normal modalities. Zbl 1433.03131 Lellmann, Björn; Pimentel, Elaine 11 2019 On knowledge-based programming with sensing in the situation calculus. Zbl 1365.68409 Reiter, Ray 11 2001 Sequent calculi for propositional nonmonotonic logics. Zbl 1365.03023 Bonatti, Piero Andrea; Olivetti, Nicola 11 2002 Simulation-based minimization. Zbl 1365.68319 Bustan, Doron; Grumberg, Orna 11 2003 Propositional computability logic. II. Zbl 1367.03057 Japaridze, Giorgi 11 2006 A decision procedure for guarded separation logic complete entailment checking for separation logic with inductive definitions. Zbl 07650597 Matheja, Christoph; Pagel, Jens; Zuleger, Florian 3 2023 SAT-inspired eliminations for superposition. Zbl 07650603 Vukmirović, Petar; Blanchette, Jasmin; Heule, Marijn J. H. 2 2023 Good-for-game QPTL: an alternating hodges semantics. Zbl 07650600 Bellier, Dylan; Benerecetti, Massimo; Della Monica, Dario; Mogavero, Fabio 1 2023 Canonisation and definability for graphs of bounded rank width. Zbl 07650602 Grohe, Martin; Neuen, Daniel 1 2023 Precise subtyping for asynchronous multiparty sessions. Zbl 07672673 Ghilezan, Silvia; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko 1 2023 Generalizing Parikh’s criterion for relevance-sensitive belief revision. Zbl 07672677 Aravanis, Theofanis 1 2023 Eager equality for rational number arithmetic. Zbl 07713583 Bergstra, Jan A.; Tucker, John V. 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 4 2022 Logics with multiteam semantics. Zbl 1505.03069 Grädel, Erich; Wilke, Richard 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 Syntactic completeness of proper display calculi. Zbl 1505.03121 Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos 3 2022 Parameterized complexity of elimination distance to first-order logic properties. Zbl 1505.03075 Fomin, Fedor V.; Golovach, Petr A.; Thilikos, Dimitrios M. 3 2022 o-minimal invariants for discrete-time dynamical systems. Zbl 1502.68177 Almagor, Shaull; Chistikov, Dmitry; Ouaknine, Joël; Worrell, James 2 2022 Unifying operational weak memory verification: an axiomatic approach. Zbl 1508.68216 Doherty, Simon; Dalvandi, Sadegh; Dongol, Brijesh; Wehrheim, Heike 2 2022 Modalities and parametric adjoints. Zbl 1505.03030 Gratzer, Daniel; Cavallo, Evan; Kavvos, G. A.; Guatto, Adrien; Birkedal, Lars 2 2022 Asynchronous announcements. Zbl 1505.03038 Balbiani, Philippe; Van Ditmarsch, Hans; Fernández González, Saúl 1 2022 Verification of distributed quantum programs. Zbl 1508.68218 Feng, Yuan; Li, Sanjiang; Ying, Mingsheng 1 2022 Slanted canonicity of analytic inductive inequalities. Zbl 1505.03051 De Rudder, Laurent; Palmigiano, Alessandra 3 2021 From 2-sequents and linear nested sequents to natural deduction for normal modal logics. Zbl 1505.03054 Martini, Simone; Masini, Andrea; Zorzi, Margherita 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 Generalized realizability and basic logic. Zbl 1505.03128 Konovalov, Aleksandr Yu. 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 8 2020 Adding successor. A transfer theorem for separation and covering. Zbl 1433.03103 Place, Thomas; Zeitoun, Marc 7 2020 Idempotent anti-unification. Zbl 1433.68188 Cerna, David; Kutsia, Temur 5 2020 Intuitionistic linear temporal logics. Zbl 1433.03047 Balbiani, Philippe; Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David 5 2020 A first-order logic for reasoning about knowledge and probability. Zbl 1446.03038 Tomović, S.; Ognjanović, Z.; Doder, D. 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 The Bernays-Schönfinkel-Ramsey class of separation logic with uninterpreted predicates. Zbl 1446.03064 Echenim, Mnacho; Iosif, Radu; Peltier, Nicolas 4 2020 Dichotomies in ontology-mediated querying with the guarded fragment. Zbl 1446.68056 Hernich, André; Lutz, Carsten; Papacchini, Fabio; Wolter, Frank 4 2020 Non-well-founded proof theory of transitive closure logic. Zbl 1446.03031 Cohen, Liron; Rowe, Reuben N. S. 4 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 Runtime verification over out-of-order streams. Zbl 1433.68208 Basin, David; Klaedtke, Felix; Zălinescu, Eugen 2 2020 Monadic Datalog, tree validity, and limited access containment. Zbl 1433.68115 Benedikt, Michael; Bourhis, Pierre; Gottlob, Georg; Senellart, Pierre 2 2020 Satisfiability of modal inclusion logic. Lax and strict semantics. Zbl 1433.03053 Hella, Lauri; Kuusisto, Antti; Meier, Arne; Vollmer, Heribert 2 2020 The power of the weak. Zbl 1446.68089 Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio 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 Metric temporal description logics with interval-rigid names. Zbl 1446.68145 Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika 2 2020 Dynamic QBF dependencies in reduction and expansion. Zbl 1433.03138 Beyersdorff, Olaf; Blinkhorn, Joshua 1 2020 Applying visible strong equivalence in answer-set program transformations. Zbl 1502.68059 Bomanson, Jori; Janhunen, Tomi; Niemelä, Ilkka 1 2020 Duality between unprovability and provability in forward refutation-search for intuitionistic propositional logic. Zbl 1446.03025 Fiorentini, Camillo; Ferrari, Mauro 1 2020 Modularisation of sequent calculi for normal and non-normal modalities. Zbl 1433.03131 Lellmann, Björn; Pimentel, Elaine 11 2019 A higher-order calculus of computational fields. Zbl 1407.68326 Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob 10 2019 Interval vs. point temporal logic model checking. An expressiveness comparison. Zbl 1407.68283 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro 5 2019 Modal resolution. Proofs, layers, and refinements. Zbl 1433.03057 Nalon, Cláudia; Dixon, Clare; Hustadt, Ullrich 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 4 2019 1-safe Petri nets and special cube complexes. Equivalence and applications. Zbl 1433.68243 Chalopin, Jérémie; Chepoi, Victor 4 2019 De Morgan dual nominal quantifiers modelling private names in non-commutative logic. Zbl 1459.03090 Horne, Ross; Tiu, Alwen; Aman, Bogdan; Ciobanu, Gabriel 4 2019 Fast query answering over existential rules. Zbl 1433.68432 Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco 4 2019 Proof complexity meets algebra. Zbl 1407.03070 Atserias, Albert; Ochremiak, Joanna 3 2019 Checking admissibility using natural dualities. Zbl 1407.03010 Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A. 3 2019 Synchronizing data words for register automata. Zbl 1433.68199 Quaas, Karin; Shirmohammadi, Mahsa 3 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 Tight bounds on the asymptotic descriptive complexity of subgraph isomorphism. Zbl 1433.68162 Verbitsky, Oleg; Zhukovskii, Maksim 2 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 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 Central limit model checking. Zbl 1433.68209 Bortolussi, Luca; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca 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 19 2018 Complexity of propositional logics in team semantic. Zbl 1407.68291 Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert 14 2018 Are short proofs narrow? QBF resolution is not so simple. Zbl 1407.03072 Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil 8 2018 Game-theoretic semantics for alternating-time temporal logic. Zbl 1407.03030 Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine 5 2018 Parallel cost analysis. Zbl 1407.68062 Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo 5 2018 A modular type reconstruction algorithm. Zbl 1407.68440 Rabe, Florian 4 2018 Completeness of flat coalgebraic fixpoint logics. Zbl 1407.03049 Schröder, Lutz; Venema, Yde 3 2018 Subatomic proof systems: splittable systems. Zbl 1407.03069 Aler Tubella, Andrea; Guglielmi, Alessio 3 2018 Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants. Zbl 1407.03009 Kieroński, Emanuel; Tendera, Lidia 3 2018 Path categories and propositional identity types. Zbl 1407.03005 van den Berg, Benno 3 2018 An epistemic strategy logic. Zbl 1407.03020 Huang, Xiaowei; van der Meyden, Ron 3 2018 Hypersequents and systems of rules, embeddings and applications. Zbl 1407.03066 Ciabattoni, Agata; Genco, Francesco A. 2 2018 Geometry of interaction for MALL via Hughes-Van Glabbeek proof-nets. Zbl 1407.03077 Hamano, Masahiro 2 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 2 2018 Automated equivalence checking of concurrent quantum systems. Zbl 1407.68276 Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal 2 2018 Some subsystems of constant-depth Frege with parity. Zbl 1407.03074 Garlík, Michal; Kołodziejczyk, Leszek Aleksander 2 2018 Characterisation of normalisation properties for \(\lambda\mu\) using strict negated intersection types. Zbl 1407.03015 van Bakel, Steffen 1 2018 Typed nominal rewriting. Zbl 1407.68240 Fairweather, Elliot; Fernández, Maribel 1 2018 Compositional synthesis of piece-wise functions by learning classifiers. Zbl 1407.68411 Neider, Daniel; Saha, Shambwaditya; Madhusudan, P. 1 2018 Modular labelled sequent calculi for abstract separation logics. Zbl 1407.03046 Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen 1 2018 Quantitative aspects of linear and affine closed lambda terms. Zbl 1407.03013 Lescanne, Pierre 1 2018 Hierarchies in inclusion logic with lax semantics. Zbl 1407.03040 Hannula, Miika 1 2018 Relating paths in transition systems: the fall of the modal mu-calculus. Zbl 1407.68287 Dima, Catalin; Maubert, Bastien; Pinchinat, Sophie 1 2018 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. 18 2017 Collapsible pushdown automata and recursion schemes. Zbl 1407.68256 Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier 17 2017 Verifying procedural programs via constrained rewriting induction. Zbl 1367.68248 Fuhs, Carsten; Kop, Cynthia; Nishida, Naoki 8 2017 Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029 Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael 8 2017 Differential hybrid games. Zbl 1407.91056 Platzer, André 8 2017 The complexity of phylogeny constraint satisfaction problems. Zbl 1407.68206 Bodirsky, Manuel; Jonsson, Peter; Pham, Trung Van 8 2017 The logical view on continuous Petri nets. Zbl 1407.68329 Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge 8 2017 Graph logics with rational relations: the role of word combinatorics. Zbl 1367.68082 Barceló, Pablo; Muñoz, Pablo 5 2017 An effective characterization of the alternation hierarchy in two-variable logic. Zbl 1407.03054 Krebs, Andreas; Straubing, Howard 4 2017 The NP search problems of Frege and extended Frege proofs. Zbl 1407.03071 Beckmann, Arnold; Buss, Sam 4 2017 Faster statistical model checking for unbounded temporal properties. Zbl 1367.68188 Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana 4 2017 Algorithmic compression of finite tree languages by rigid acyclic grammars. Zbl 1407.68251 Eberhard, Sebastian; Ebner, Gabriel; Hetzl, Stefan 3 2017 Nested weighted automata. Zbl 1407.68248 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 3 2017 Equations, contractions, and unique solutions. Zbl 1367.68212 Sangiorgi, Davide 3 2017 Datalog queries distributing over components. Zbl 1367.68081 Ameloot, Tom J.; Ketsman, Bas; Neven, Frank; Zinn, Daniel 3 2017 ...and 423 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,841 Authors 32 Eiter, Thomas 30 Woltran, Stefan 27 Struth, Georg 26 Kupferman, Orna 25 Möller, Bernhard 25 Vardi, Moshe Ya’akov 23 Chatterjee, Krishnendu 23 Murano, Aniello 22 Milius, Stefan 18 Dixon, Clare 18 Straßburger, Lutz 18 Zimmermann, Martín G. 17 Alviano, Mario 17 Baier, Christel 17 Boker, Udi 17 Denecker, Marc 17 Gebser, Martin 16 Beyersdorff, Olaf 16 Demri, Stéphane P. 16 Lifschitz, Vladimir 16 Pientka, Brigitte 16 Truszczyński, Mirosław 15 Bouyer, Patricia 15 Dershowitz, Nachum 15 Henzinger, Thomas A. 15 Katoen, Joost-Pieter 15 Leone, Nicola 15 Mogavero, Fabio 15 Ricca, Francesco 15 Schaub, Torsten H. 15 Schröder, Lutz 15 Wolter, Frank 15 Zakharyaschev, Michael Viktorovich 14 Cabalar, Pedro 14 Dal Lago, Ugo 14 Meier, Arne 14 Pattinson, Dirk 13 Aceto, Luca 13 Faber, Wolfgang 13 Filiot, Emmanuel 13 Governatori, Guido 13 Ingólfsdóttir, Anna 13 Lukasiewicz, Thomas 13 Meseguer Guaita, José 13 Olarte, Carlos 13 Raskin, Jean-François 13 Tucker, John V. 12 Bozzelli, Laura 12 Dodaro, Carmine 12 Ghilardi, Silvio 12 Gottlob, Georg 12 Janhunen, Tomi 12 Miller, Dale Allen 12 Murawski, Andrzej S. 12 Perelli, Giuseppe 12 Ringeissen, Christophe 12 Vollmer, Heribert 11 Bogaerts, Bart 11 Bonacina, Maria Paola 11 Desharnais, Jules 11 Droste, Manfred 11 Giordano, Laura 11 Griggio, Alberto 11 Horne, Ross 11 Hustadt, Ullrich 11 Kwiatkowska, Marta Z. 11 Maratea, Marco 11 Otop, Jan 11 Pimentel, Elaine 11 Platzer, André 11 Reynier, Pierre-Alain 11 Rondogiannis, Panos 10 Bodirsky, Manuel 10 Giesl, Jürgen 10 Japaridze, Giorgi 10 Leite, João 10 Lierler, Yuliya 10 Lohrey, Markus 10 Montanari, Angelo 10 Schweikardt, Nicole 10 Schwentick, Thomas 10 Thomas, Wolfgang 10 Tini, Simone 10 Tiu, Alwen Fernanto 10 Tompits, Hans 10 Wißmann, Thorsten 10 Wooldridge, Michael J. 10 Worrell, James B. 10 Zhang, Lijun 10 Zucker, Jeffery I. 9 Baader, Franz 9 Benerecetti, Massimo 9 Bollig, Benedikt 9 Castiglioni, Valentina 9 Ciabattoni, Agata 9 Cimatti, Alessandro 9 Delaune, Stéphanie 9 Dongol, Brijesh 9 Fandinno, Jorge 9 Fink, Michael ...and 3,741 more Authors all top 5 Cited in 164 Journals 197 Theoretical Computer Science 158 Information and Computation 157 Theory and Practice of Logic Programming 154 Artificial Intelligence 142 Logical Methods in Computer Science 85 ACM Transactions on Computational Logic 74 Annals of Pure and Applied Logic 71 Journal of Automated Reasoning 69 Journal of Computer and System Sciences 61 MSCS. Mathematical Structures in Computer Science 60 Journal of Logical and Algebraic Methods in Programming 52 Annals of Mathematics and Artificial Intelligence 41 International Journal of Approximate Reasoning 36 Acta Informatica 35 Formal Methods in System Design 35 Journal of Applied Logic 34 Journal of Applied Non-Classical Logics 33 Theory of Computing Systems 32 The Journal of Logic and Algebraic Programming 30 Information Processing Letters 26 Studia Logica 22 Formal Aspects of Computing 22 Journal of Functional Programming 19 The Journal of Symbolic Logic 19 Constraints 17 International Journal of Foundations of Computer Science 15 Fundamenta Informaticae 14 Fuzzy Sets and Systems 14 Journal of Philosophical Logic 14 Archive for Mathematical Logic 14 Journal of Logic, Language and Information 13 The Bulletin of Symbolic Logic 12 SIAM Journal on Computing 11 Discrete Applied Mathematics 11 Journal of Symbolic Computation 11 Logica Universalis 9 Journal of Pure and Applied Algebra 9 Machine Learning 9 Mathematical Logic Quarterly (MLQ) 8 Information Sciences 8 Science of Computer Programming 7 Synthese 7 Computational Complexity 7 Journal of the ACM 6 Algebra Universalis 6 Algorithmica 6 International Journal of Algebra and Computation 6 The Journal of Artificial Intelligence Research (JAIR) 5 International Journal of Theoretical Physics 5 Applied Mathematics and Computation 5 Automatica 5 Soft Computing 4 Journal of Combinatorial Theory. Series B 4 Logic and Logical Philosophy 4 Mathematics in Computer Science 4 The Review of Symbolic Logic 4 Computer Science Review 3 Notre Dame Journal of Formal Logic 3 Computers & Operations Research 3 SIAM Journal on Discrete Mathematics 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 Nonlinear Analysis. Hybrid Systems 3 RAIRO. Theoretical Informatics and Applications 3 Frontiers of Computer Science 3 Logicheskie Issledovaniya 2 Communications in Algebra 2 Discrete Mathematics 2 Lithuanian Mathematical Journal 2 Bulletin of the London Mathematical Society 2 Programming and Computer Software 2 Transactions of the American Mathematical Society 2 European Journal of Combinatorics 2 Graphs and Combinatorics 2 Journal of Computer Science and Technology 2 Forum Mathematicum 2 Journal of Global Optimization 2 International Journal of Computer Mathematics 2 Cybernetics and Systems Analysis 2 Journal of Mathematical Sciences (New York) 2 Computer Languages, Systems & Structures 2 Journal of Satisfiability, Boolean Modeling and Computation 2 Computability 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 Proceedings of the Cambridge Philosophical Society 1 Physics Letters. A 1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki 1 ACM Transactions on Database Systems 1 Advances in Mathematics 1 The Annals of Statistics 1 Colloquium Mathematicum 1 Computing 1 Fundamenta Mathematicae ...and 64 more Journals all top 5 Cited in 43 Fields 2,742 Computer science (68-XX) 1,447 Mathematical logic and foundations (03-XX) 146 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 83 Category theory; homological algebra (18-XX) 78 Combinatorics (05-XX) 65 Operations research, mathematical programming (90-XX) 53 General algebraic systems (08-XX) 47 Order, lattices, ordered algebraic structures (06-XX) 36 Information and communication theory, circuits (94-XX) 33 Probability theory and stochastic processes (60-XX) 31 Algebraic topology (55-XX) 29 Systems theory; control (93-XX) 26 Quantum theory (81-XX) 19 Group theory and generalizations (20-XX) 18 Biology and other natural sciences (92-XX) 14 Associative rings and algebras (16-XX) 14 General topology (54-XX) 12 History and biography (01-XX) 8 General and overarching topics; collections (00-XX) 7 Number theory (11-XX) 7 Ordinary differential equations (34-XX) 7 Numerical analysis (65-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 5 Commutative algebra (13-XX) 5 Statistics (62-XX) 5 Mechanics of particles and systems (70-XX) 4 Convex and discrete geometry (52-XX) 3 Algebraic geometry (14-XX) 3 Real functions (26-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Field theory and polynomials (12-XX) 2 Measure and integration (28-XX) 2 Operator theory (47-XX) 2 Manifolds and cell complexes (57-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 Difference and functional equations (39-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year