LIPIcs, Volume 288, CSL 2024

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