CSL

Publications

2024

Rasmus Ejlers Møgelberg, Maaike Zwart
What Monads Can and Cannot Do with a Bit of Extra Time. CSL (2024)
Daniël Otten, Benno van den Berg
Conservativity of Type Theory over Higher-Order Arithmetic. CSL (2024)
Anupam Das, Iris van der Giessen, Sonia Marin
Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. CSL (2024)
Salvador Lucas
Confluence of Conditional Rewriting Modulo. CSL (2024)
Federico Olimpieri
Coherence by Normalization for Linear Multicategorical Structures. CSL (2024)
Mario Grobler, Leif Sabellek, Sebastian Siebertz
Remarks on Parikh-Recognizable Omega-languages. CSL (2024)
Front Matter, Table of Contents, Preface, Conference Organization. CSL (2024)
Maribel Fernández, Jean Goubault-Larrecq, Delia Kesner
The Ackermann Award 2023. CSL (2024)
Thomas Place, Marc Zeitoun
A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic. CSL (2024)
Marta Kwiatkowska
Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). CSL (2024)
Anita Badyl, Pawel Parys
Extending the WMSO+U Logic with Quantification over Tuples. CSL (2024)
Georg Gottlob
Artificial Intelligence and Artificial Ignorance (Invited Talk). CSL (2024)
Éric Goubault, Roman Kniazev, Jérémy Ledent
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. CSL (2024)
Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri
Infinitary Cut-Elimination via Finite Approximations. CSL (2024)
Tom van Dijk, Georg Loho, Matthew T. Maat
The Worst-Case Complexity of Symmetric Strategy Improvement. CSL (2024)
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
Concurrent Stochastic Lossy Channel Games. CSL (2024)
Geoff S. H. Cruttwell, Jean-Simon Pacaud Lemay
Reverse Tangent Categories. CSL (2024)
Laura Fontanella, Guillaume Geoffroy, Richard Matthews
Realizability Models for Large Cardinals. CSL (2024)
Luisa Herrmann, Vincent Peth, Sebastian Rudolph
Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. CSL (2024)
Davide Barbarossa, Paolo Pistone
Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. CSL (2024)
François Laroussinie, Loriane Leclercq, Arnaud Sangnier
QLTL Model-Checking. CSL (2024)
Moshe Y. Vardi
Logical Algorithmics: From Theory to Practice (Invited Talk). CSL (2024)
Eva Fluck, Tim Seppelt, Gian Luca Spitzer
Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth. CSL (2024)
Marius Tritschler
Guarded Hybrid Team Logics. CSL (2024)
Assia Mahboubi, Matthieu Piquerez
A First Order Theory of Diagram Chasing. CSL (2024)
Vincent Moreau, Lê Thành Dung Nguyên
Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations. CSL (2024)
Anuj Dawar, Lauri Hella
Quantifiers Closed Under Partial Polymorphisms. CSL (2024)
Yannick Forster, Dominik Kirst, Niklas Mück
The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions. CSL (2024)
Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux
From Local to Global Optimality in Concurrent Parity Games. CSL (2024)
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
Descriptive Complexity for Neural Networks via Boolean Networks. CSL (2024)
Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. CSL (2024)
Fausto Barbero, Jonni Virtema
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. CSL (2024)
Barbara König
Approximating Fixpoints of Approximated Functions (Invited Talk). CSL (2024)
Jonathan Sterling, Daniel Gratzer, Lars Birkedal
Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. CSL (2024)
Eldar Fischer, Johann A. Makowsky
Extensions and Limits of the Specker-Blatter Theorem. CSL (2024)
Satoshi Nakata
Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic. CSL (2024)
Manon Blanc, Olivier Bournez
Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision. CSL (2024)
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CSL (2024)
Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart
Quantum Circuit Completeness: Extensions and Simplifications. CSL (2024)
Sophie Brinke, Erich Grädel, Lovro Mrkonjic
Ehrenfeucht-Fraïssé Games in Semiring Semantics. CSL (2024)
Balder ten Cate
Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk). CSL (2024)
Moritz Lichter, Benedikt Pago, Tim Seppelt
Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability. CSL (2024)
Matt Earnshaw, James Hefford, Mario Román
The Produoidal Algebra of Process Decomposition. CSL (2024)
Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. CSL (2024)
Beniamino Accattoli
Semantic Bounds and Multi Types, Revisited. CSL (2024)
Antoine Mottet
Promise and Infinite-Domain Constraint Satisfaction. CSL (2024)
Quentin Aristote
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids. CSL (2024)
Alexander Kozachinskiy
Energy Games over Totally Ordered Groups. CSL (2024)
Stefano Berardi, Gabriele Buriola, Peter Schuster
A General Constructive Form of Higman's Lemma. CSL (2024)

volume 288, 2024

32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy CSL 288 (2024)