<h2>LIPIcs, Volume 288, CSL 2024</h2>
<ul>
<li>
<span class="authors">Aniello Murano and Alexandra Silva</span>
<span class="title">LIPIcs, Volume 288, CSL 2024, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024">10.4230/LIPIcs.CSL.2024</a>
</li>
<li>
<span class="authors">Aniello Murano and Alexandra Silva</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.0">10.4230/LIPIcs.CSL.2024.0</a>
</li>
<li>
<span class="authors">Maribel Fernández, Jean Goubault-Larrecq, and Delia Kesner</span>
<span class="title">The Ackermann Award 2023</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.1">10.4230/LIPIcs.CSL.2024.1</a>
</li>
<li>
<span class="authors">Balder ten Cate</span>
<span class="title">Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.2">10.4230/LIPIcs.CSL.2024.2</a>
</li>
<li>
<span class="authors">Georg Gottlob</span>
<span class="title">Artificial Intelligence and Artificial Ignorance (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.3">10.4230/LIPIcs.CSL.2024.3</a>
</li>
<li>
<span class="authors">Barbara König</span>
<span class="title">Approximating Fixpoints of Approximated Functions (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.4">10.4230/LIPIcs.CSL.2024.4</a>
</li>
<li>
<span class="authors">Marta Kwiatkowska</span>
<span class="title">Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.5">10.4230/LIPIcs.CSL.2024.5</a>
</li>
<li>
<span class="authors">Moshe Y. Vardi</span>
<span class="title">Logical Algorithmics: From Theory to Practice (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.6">10.4230/LIPIcs.CSL.2024.6</a>
</li>
<li>
<span class="authors">Beniamino Accattoli</span>
<span class="title">Semantic Bounds and Multi Types, Revisited</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.7">10.4230/LIPIcs.CSL.2024.7</a>
</li>
<li>
<span class="authors">Matteo Acclavio, Gianluca Curzi, and Giulio Guerrieri</span>
<span class="title">Infinitary Cut-Elimination via Finite Approximations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.8">10.4230/LIPIcs.CSL.2024.8</a>
</li>
<li>
<span class="authors">Veeti Ahvonen, Damian Heiman, and Antti Kuusisto</span>
<span class="title">Descriptive Complexity for Neural Networks via Boolean Networks</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.9">10.4230/LIPIcs.CSL.2024.9</a>
</li>
<li>
<span class="authors">Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, and Paolo Pistone</span>
<span class="title">Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.10">10.4230/LIPIcs.CSL.2024.10</a>
</li>
<li>
<span class="authors">Quentin Aristote</span>
<span class="title">Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.11">10.4230/LIPIcs.CSL.2024.11</a>
</li>
<li>
<span class="authors">Anita Badyl and Paweł Parys</span>
<span class="title">Extending the WMSO+U Logic with Quantification over Tuples</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.12">10.4230/LIPIcs.CSL.2024.12</a>
</li>
<li>
<span class="authors">Philippe Balbiani, Han Gao, Çiğdem Gencer, and Nicola Olivetti</span>
<span class="title">A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.13">10.4230/LIPIcs.CSL.2024.13</a>
</li>
<li>
<span class="authors">Davide Barbarossa and Paolo Pistone</span>
<span class="title">Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.14">10.4230/LIPIcs.CSL.2024.14</a>
</li>
<li>
<span class="authors">Fausto Barbero and Jonni Virtema</span>
<span class="title">Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.15">10.4230/LIPIcs.CSL.2024.15</a>
</li>
<li>
<span class="authors">Stefano Berardi, Gabriele Buriola, and Peter Schuster</span>
<span class="title">A General Constructive Form of Higman’s Lemma</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.16">10.4230/LIPIcs.CSL.2024.16</a>
</li>
<li>
<span class="authors">Manon Blanc and Olivier Bournez</span>
<span class="title">Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.17">10.4230/LIPIcs.CSL.2024.17</a>
</li>
<li>
<span class="authors">Benjamin Bordais, Patricia Bouyer, and Stéphane Le Roux</span>
<span class="title">From Local to Global Optimality in Concurrent Parity Games</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.18">10.4230/LIPIcs.CSL.2024.18</a>
</li>
<li>
<span class="authors">Sophie Brinke, Erich Grädel, and Lovro Mrkonjić</span>
<span class="title">Ehrenfeucht-Fraïssé Games in Semiring Semantics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.19">10.4230/LIPIcs.CSL.2024.19</a>
</li>
<li>
<span class="authors">Alexandre Clément, Noé Delorme, Simon Perdrix, and Renaud Vilmart</span>
<span class="title">Quantum Circuit Completeness: Extensions and Simplifications</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.20">10.4230/LIPIcs.CSL.2024.20</a>
</li>
<li>
<span class="authors">Geoffrey Cruttwell and Jean-Simon Pacaud Lemay</span>
<span class="title">Reverse Tangent Categories</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.21">10.4230/LIPIcs.CSL.2024.21</a>
</li>
<li>
<span class="authors">Anupam Das, Iris van der Giessen, and Sonia Marin</span>
<span class="title">Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.22">10.4230/LIPIcs.CSL.2024.22</a>
</li>
<li>
<span class="authors">Anuj Dawar and Lauri Hella</span>
<span class="title">Quantifiers Closed Under Partial Polymorphisms</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.23">10.4230/LIPIcs.CSL.2024.23</a>
</li>
<li>
<span class="authors">Tom van Dijk, Georg Loho, and Matthew T. Maat</span>
<span class="title">The Worst-Case Complexity of Symmetric Strategy Improvement</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.24">10.4230/LIPIcs.CSL.2024.24</a>
</li>
<li>
<span class="authors">Matt Earnshaw, James Hefford, and Mario Román</span>
<span class="title">The Produoidal Algebra of Process Decomposition</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.25">10.4230/LIPIcs.CSL.2024.25</a>
</li>
<li>
<span class="authors">Eldar Fischer and Johann A. Makowsky</span>
<span class="title">Extensions and Limits of the Specker-Blatter Theorem</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.26">10.4230/LIPIcs.CSL.2024.26</a>
</li>
<li>
<span class="authors">Eva Fluck, Tim Seppelt, and Gian Luca Spitzer</span>
<span class="title">Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.27">10.4230/LIPIcs.CSL.2024.27</a>
</li>
<li>
<span class="authors">Laura Fontanella, Guillaume Geoffroy, and Richard Matthews</span>
<span class="title">Realizability Models for Large Cardinals</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.28">10.4230/LIPIcs.CSL.2024.28</a>
</li>
<li>
<span class="authors">Yannick Forster, Dominik Kirst, and Niklas Mück</span>
<span class="title">The Kleene-Post and Post’s Theorem in the Calculus of Inductive Constructions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.29">10.4230/LIPIcs.CSL.2024.29</a>
</li>
<li>
<span class="authors">Éric Goubault, Roman Kniazev, and Jérémy Ledent</span>
<span class="title">A Many-Sorted Epistemic Logic for Chromatic Hypergraphs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.30">10.4230/LIPIcs.CSL.2024.30</a>
</li>
<li>
<span class="authors">Mario Grobler, Leif Sabellek, and Sebastian Siebertz</span>
<span class="title">Remarks on Parikh-Recognizable Omega-languages</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.31">10.4230/LIPIcs.CSL.2024.31</a>
</li>
<li>
<span class="authors">Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, and Michael Wooldridge</span>
<span class="title">Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.32">10.4230/LIPIcs.CSL.2024.32</a>
</li>
<li>
<span class="authors">Luisa Herrmann, Vincent Peth, and Sebastian Rudolph</span>
<span class="title">Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.33">10.4230/LIPIcs.CSL.2024.33</a>
</li>
<li>
<span class="authors">Alexander Kozachinskiy</span>
<span class="title">Energy Games over Totally Ordered Groups</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.34">10.4230/LIPIcs.CSL.2024.34</a>
</li>
<li>
<span class="authors">François Laroussinie, Loriane Leclercq, and Arnaud Sangnier</span>
<span class="title">QLTL Model-Checking</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.35">10.4230/LIPIcs.CSL.2024.35</a>
</li>
<li>
<span class="authors">Moritz Lichter, Benedikt Pago, and Tim Seppelt</span>
<span class="title">Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.36">10.4230/LIPIcs.CSL.2024.36</a>
</li>
<li>
<span class="authors">Salvador Lucas</span>
<span class="title">Confluence of Conditional Rewriting Modulo</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.37">10.4230/LIPIcs.CSL.2024.37</a>
</li>
<li>
<span class="authors">Assia Mahboubi and Matthieu Piquerez</span>
<span class="title">A First Order Theory of Diagram Chasing</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.38">10.4230/LIPIcs.CSL.2024.38</a>
</li>
<li>
<span class="authors">Rasmus Ejlers Møgelberg and Maaike Annebet Zwart</span>
<span class="title">What Monads Can and Cannot Do with a Bit of Extra Time</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.39">10.4230/LIPIcs.CSL.2024.39</a>
</li>
<li>
<span class="authors">Vincent Moreau and Lê Thành Dũng (Tito) Nguyễn</span>
<span class="title">Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.40">10.4230/LIPIcs.CSL.2024.40</a>
</li>
<li>
<span class="authors">Antoine Mottet</span>
<span class="title">Promise and Infinite-Domain Constraint Satisfaction</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.41">10.4230/LIPIcs.CSL.2024.41</a>
</li>
<li>
<span class="authors">Satoshi Nakata</span>
<span class="title">Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.42">10.4230/LIPIcs.CSL.2024.42</a>
</li>
<li>
<span class="authors">Federico Olimpieri</span>
<span class="title">Coherence by Normalization for Linear Multicategorical Structures</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.43">10.4230/LIPIcs.CSL.2024.43</a>
</li>
<li>
<span class="authors">Daniël Otten and Benno van den Berg</span>
<span class="title">Conservativity of Type Theory over Higher-Order Arithmetic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.44">10.4230/LIPIcs.CSL.2024.44</a>
</li>
<li>
<span class="authors">Thomas Place and Marc Zeitoun</span>
<span class="title">A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.45">10.4230/LIPIcs.CSL.2024.45</a>
</li>
<li>
<span class="authors">Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, and Parosh Aziz Abdulla</span>
<span class="title">Concurrent Stochastic Lossy Channel Games</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.46">10.4230/LIPIcs.CSL.2024.46</a>
</li>
<li>
<span class="authors">Jonathan Sterling, Daniel Gratzer, and Lars Birkedal</span>
<span class="title">Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.47">10.4230/LIPIcs.CSL.2024.47</a>
</li>
<li>
<span class="authors">Marius Tritschler</span>
<span class="title">Guarded Hybrid Team Logics</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.CSL.2024.48">10.4230/LIPIcs.CSL.2024.48</a>
</li>
</ul>
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing