Logic in Computer Science

Authors and titles for June 2022

[26] arXiv:2206.06046 [pdf, other]

Title: Local Dependence and Guarding

Johan van Benthem, Balder ten Cate, Raoul Koudijs

Comments: Proceedings of AIML 2022

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[27] arXiv:2206.06049 [pdf, other]

Title: Characterising Modal Formulas with Examples

Balder ten Cate, Raoul Koudijs

Comments: AIML 2022 short presentation

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:2206.06294 [pdf, other]

Title: Introducing Proof Tree Automata and Proof Tree Graphs

Valentin D. Richard

Comments: Extended abstract accepted at SLSS 2022

Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL)

[29] arXiv:2206.06677 [pdf, other]

Title: Abstraction-Based Segmental Simulation of Chemical Reaction Networks

Martin Helfrich, Milan Češka, Jan Křetínský, Štefan Martiček

Comments: Accepted to Computational Methods in Systems Biology 2022

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:2206.07393 [pdf, other]

Title: Structure and Power: an emerging landscape

Samson Abramsky

Comments: To appear in special issue for Trakhtenbrot centenary of Fundamenta Informaticae vol. 186 no 1-4

Journal-ref: Fundamenta Informaticae, Volume 186, Issues 1-4: Trakhtenbrot's centenary (October 21, 2022) fi:9712

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:2206.07711 [pdf, other]

Title: On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[32] arXiv:2206.07823 [pdf, other]

Title: An Investigation of Kripke-style Modal Type Theories

Jason Z. S. Hu, Brigitte Pientka

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[33] arXiv:2206.08248 [pdf, other]

Title: Twin-width and types

Jakub Gajarský, Michał Pilipczuk, Wojciech Przybyszewski, Szymon Toruńczyk

Comments: 35 pages. Full version of an extended abstract to appear in the proceedings of ICALP 2022

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Logic (math.LO)

[34] arXiv:2206.08413 [pdf, other]

Title: Recursion does not always help

Gordon Plotkin

Comments: Improved presentation a little

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:2206.08714 [pdf, other]

Title: Relaxing safety for metric first-order temporal logic via dynamic free variables

Jonathan Julian Huerta y Munive

Comments: 12 pages, conference, appendix

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:2206.08755 [pdf, other]

Title: Compositional Exploration of Combinatorial Scientific Models

Kristopher Brown, Tyler Hanks, James Fairbanks

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

[37] arXiv:2206.09020 [pdf, other]

Title: Uniform and Modular Sequent Systems for Description Logics

Tim Lyon, Jonas Karge

Comments: Accepted to the 35th International Workshop on Description Logics (DL 2022). Appended version

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB); Logic (math.LO)

[38] arXiv:2206.09250 [pdf, other]

Title: Robin Milner's Work on Concurrency: An Appreciation

Samson Abramsky

Comments: Text of a talk given at MFPS 2010

Journal-ref: Electronic Notes in Theoretical Computer Science 265 (2010): 5-10

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:2206.09389 [pdf, other]

Title: Two Results on Separation Logic With Theory Reasoning

Mnacho Echenim, Nicolas Peltier

Comments: ASL 2022 - Workshop on Advancing Separation Logic. arXiv admin note: substantial text overlap with arXiv:2201.13227

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:2206.10234 [pdf, other]

Title: The Many-Worlds Calculus

Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart

Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 2 (May 16, 2025) lmcs:12630

Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[41] arXiv:2206.10916 [pdf, other]

Title: Geometry of Interaction for ZX-Diagrams

Kostia Chardonnet, Benoît Valiron, Renaud Vilmart

Journal-ref: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)

Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[42] arXiv:2206.11366 [pdf, other]

Title: From Spot 2.0 to Spot 2.10: What's New?

Alexandre Duret-Lutz (LRDE), Etienne Renault (LRDE), Maximilien Colange, Florian Renkin (LRDE), Alexandre Gbaguidi, Philipp Schlehuber-Caissier (LRDE), Thomas Medioni, Antoine Martin (LRDE), Jérôme Dubois, Clément Gillard, Henrich Lauko

Journal-ref: Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[43] arXiv:2206.11495 [pdf, other]

Title: Algebra-Based Reasoning for Loop Synthesis

Andreas Humenberger, Daneshvar Amrollahi, Nikolaj Bjørner, Laura Kovács

Comments: This paper is an extended version of the "Algebra-Based Loop Synthesis'' manuscript published at iFM 2020. arXiv admin note: substantial text overlap with arXiv:2004.11787

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:2206.11751 [pdf, other]

Title: Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version)

Bartosz Bednarczyk, Reijo Jaakkola

Comments: Accepted to the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:2206.12156 [pdf, other]

Title: Notes on presheaf representations of strategies and cohomological refinements of $k$-consistency and $k$-equivalence

Samson Abramsky

Comments: Working notes

Subjects: Logic in Computer Science (cs.LO)

[46] arXiv:2206.12164 [pdf, other]

Title: Elementary analytic functions in $VTC^0$

Emil Jeřábek

Comments: 57 pages

Journal-ref: Annals of Pure and Applied Logic 174 (2023), no. 6, article no. 103269, 50 pp

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)

[47] arXiv:2206.12934 [pdf, html, other]

Title: Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System

Fabio Aurelio D'Asaro, Francesco Genco, Giuseppe Primiero

Journal-ref: F. A. D'Asaro, F. A. Genco, G. Primiero, Checking trustworthiness of probabilistic computations in a typed natural deduction system, Journal of Logic and Computation, 2025, exaf00

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[48] arXiv:2206.13610 [pdf, other]

Title: Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems

Francesco Gavazzo, Cecilia Di Florio

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:2206.13731 [pdf, other]

Title: On two-variable guarded fragment logic with expressive local Presburger constraints

Chia-Hsuan Lu, Tony Tan

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 3 (August 27, 2024) lmcs:9757

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:2206.13765 [pdf, other]

Title: Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes

Jan Dreier, Nikolas Mählmann, Sebastian Siebertz, Szymon Toruńczyk

Comments: v2: revised presentation; renamed flip-wideness to flip-flatness; changed the title from "Indiscernibles and Wideness [...]" to "Indiscernibles and Flatness [...]"

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Logic (math.LO)

[51] arXiv:2206.13772 [pdf, other]

Title: Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs

Yuan Feng, Sanjiang Li

Comments: 26 pages

Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[52] arXiv:2206.13841 [pdf, other]

Title: Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona

Subjects: Logic in Computer Science (cs.LO)

[53] arXiv:2206.13885 [pdf, other]

Title: Computation as uncertainty reduction: a simplified order-theoretic framework

Pedro Hack, Daniel A. Braun, Sebastian Gottwald

Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[54] arXiv:2206.13920 [pdf, other]

Title: A quantitative extension of Interval Temporal Logic over infinite words

Laura Bozzelli, Adriano Peron

Subjects: Logic in Computer Science (cs.LO)

[55] arXiv:2206.13927 [pdf, other]

Title: On the Axiomatisation of Branching Bisimulation Congruence over CCS

Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik

Subjects: Logic in Computer Science (cs.LO)

[56] arXiv:2206.14189 [pdf, other]

Title: A Formal Specification of Operating System based on ARINC 653

Ziyan Wang, Yan Zhang

Comments: 139 pages

Subjects: Logic in Computer Science (cs.LO)

[57] arXiv:2206.15169 [pdf, other]

Title: Minimization of Dynamical Systems over Monoids

Georgios Argyris, Alberto Lluch Lafuente, Alexander Leguizamon Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Comments: Accepted at Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023

Subjects: Logic in Computer Science (cs.LO); Quantitative Methods (q-bio.QM)

[58] arXiv:2206.15202 [pdf, other]

Title: Tuple Interpretations and Applications to Higher-Order Runtime Complexity

Cynthia Kop, Deivid Vale

Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[59] arXiv:2206.15253 [pdf, other]

Title: Cohomology in Constraint Satisfaction and Structure Isomorphism

Adam Ó Conghaile

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[60] arXiv:2206.01032 (cross-list from cs.SE) [pdf, other]

Title: A more abstract bounded exploration postulate

Yuri Gurevich, Tatiana Yavorskaya

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[61] arXiv:2206.01280 (cross-list from cs.CC) [pdf, other]

Title: On the Parallel Parameterized Complexity of MaxSAT Variants

Max Bannach, Malte Skambath, Till Tantau

Comments: SAT 2022

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[62] arXiv:2206.01614 (cross-list from cs.LG) [pdf, other]

Title: Learning logic programs by combining programs

Andrew Cropper, Céline Hocquette

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[63] arXiv:2206.01643 (cross-list from cs.DB) [pdf, other]

Title: ChaTEAU: A Universal Toolkit for Applying the Chase

Tanja Auge, Nic Scharlau, Andreas Görres, Jakob Zimmer, Andreas Heuer

Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)

[64] arXiv:2206.01946 (cross-list from cs.FL) [pdf, other]

Title: Complementing Büchi Automata with Ranker (Technical Report)

Vojtěch Havlena, Ondřej Lengál, Barbora Šmahlíková

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[65] arXiv:2206.02169 (cross-list from cs.AI) [pdf, other]

Title: Formally Verified Solution Methods for Infinite-Horizon Markov Decision Processes

Maximilian Schäfeller, Mohammad Abdulaziz

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[66] arXiv:2206.02653 (cross-list from cs.AI) [pdf, other]

Title: Abstraction-Refinement for Hierarchical Probabilistic Models

Sebastian Junges, Matthijs T. J. Spaan

Comments: Extended submitted version for CAV 2022

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[67] arXiv:2206.03044 (cross-list from cs.AI) [pdf, other]

Title: CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness

Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle (CEA LIST)

Journal-ref: AISafety, Jul 2022, Vienne, Austria

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE); Software Engineering (cs.SE)

[68] arXiv:2206.03172 (cross-list from cs.AI) [pdf, other]

Title: Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations

Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C-H. Cheng

Comments: 118 pages total: 94 of main paper + 2 of references + 22 of appendices. Submitted to JACM. Authors Gem Stapleton and Daniel Raggi contributed equally to this research

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[69] arXiv:2206.03418 (cross-list from cs.RO) [pdf, other]

Title: Responsibility-Sensitive Safety: an Introduction with an Eye to Logical Foundations and Formalization

Ichiro Hasuo

Comments: 10 pages

Subjects: Robotics (cs.RO); Logic in Computer Science (cs.LO)

[70] arXiv:2206.03445 (cross-list from cs.CR) [pdf, other]

Title: Timed automata as a formalism for expressing security: A survey on theory and practice

Johan Arcile, Étienne André

Comments: This is the author version of the manuscript of the same name published in ACM Computing Surveys

Subjects: Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[71] arXiv:2206.03532 (cross-list from cs.PL) [pdf, other]

Title: Q# as a Quantum Algorithmic Language

Kartik Singhal (University of Chicago), Kesha Hietala (University of Maryland), Sarah Marshall (Microsoft Quantum), Robert Rand (University of Chicago)

Comments: In Proceedings QPL 2022, arXiv:2311.08375

Journal-ref: EPTCS 394, 2023, pp. 170-191

Subjects: Programming Languages (cs.PL); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[72] arXiv:2206.03582 (cross-list from cs.CR) [pdf, other]

Title: Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption

Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga

Comments: This is the extended version of a paper to appear at CAV 2022

Subjects: Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[73] arXiv:2206.03669 (cross-list from cs.LG) [pdf, other]

Title: Toward Certified Robustness Against Real-World Distribution Shifts

Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George Pappas, Hamed Hassani, Corina Pasareanu, Clark Barrett

Comments: SatML'23. Keywords: certified robustness, distribution shift, generative models, S-shaped activations, CEGAR

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[74] arXiv:2206.03868 (cross-list from math.CT) [pdf, other]

Title: Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing

Toby St. Clere Smithe (Topos Institute)

Comments: In Proceedings ACT 2022, arXiv:2307.15519

Journal-ref: EPTCS 380, 2023, pp. 307-330

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Dynamical Systems (math.DS)

[75] arXiv:2206.04814 (cross-list from quant-ph) [pdf, other]

Title: Universal Properties of Partial Quantum Maps

Pablo Andrés-MartíÂ-nez (Quantinuum), Chris Heunen (University of Edinburgh), Robin Kaarsgaard (University of Southern Denmark)

Comments: In Proceedings QPL 2022, arXiv:2311.08375

Journal-ref: EPTCS 394, 2023, pp. 192-207

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT); Operator Algebras (math.OA)