Logic in Computer Science

Authors and titles for November 2024

[51] arXiv:2411.14583 [pdf, other]

Title: Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings

Marco Bernardo (University of Urbino), Andrea Esposito (University of Urbino), Claudio A. Mezzina (University of Urbino)

Comments: In Proceedings EXPRESS/SOS 2024, arXiv:2411.13318

Journal-ref: EPTCS 412, 2024, pp. 51-70

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:2411.14584 [pdf, other]

Title: One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics

Benjamin Bisping (TU Berlin), David N. Jansen (Institute of Software, Chinese Academy of Sciences)

Comments: In Proceedings EXPRESS/SOS 2024, arXiv:2411.13318

Journal-ref: EPTCS 412, 2024, pp. 71-88

Subjects: Logic in Computer Science (cs.LO)

[53] arXiv:2411.14856 [pdf, other]

Title: A Rewriting Theory for Quantum Lambda-Calculus

Claudia Faggian, Gaetan Lopez, Benoît Valiron

Comments: CSL2025: 33rd EACSL Annual Conference on Computer Science Logic 2025

Subjects: Logic in Computer Science (cs.LO)

[54] arXiv:2411.14870 [pdf, html, other]

Title: Application of AI to formal methods - an analysis of current trends

Sebastian Stock, Jannik Dunkelau, Atif Mashkoor

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

[55] arXiv:2411.15103 [pdf, other]

Title: Coslice Colimits in Homotopy Type Theory

Perry Hart, Kuen-Bang Hou (Favonia)

Comments: 68 pages, improved exposition and layout, typos corrected, updated references to Agda code, theorem and definition numbering unchanged, proofs in Appendix B moved to upcoming paper

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

[56] arXiv:2411.15365 [pdf, html, other]

Title: Advances in Algorithmic Meta Theorems

Sebastian Siebertz, Alexandre Vigny

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

[57] arXiv:2411.16397 [pdf, html, other]

Title: Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements

Yoshiki Nakamura, Ryoma Sin'ya

Comments: arXiv admin note: text overlap with arXiv:2309.02760

Subjects: Logic in Computer Science (cs.LO)

[58] arXiv:2411.16564 [pdf, html, other]

Title: J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)

Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler

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

[59] arXiv:2411.16921 [pdf, html, other]

Title: Revisiting Stateful Partial-Order Reduction

Frédéric Herbreteau, Sarah Larroze-Jardiné, Gérald Point, Igor Walukiewicz

Subjects: Logic in Computer Science (cs.LO)

[60] arXiv:2411.17250 [pdf, other]

Title: Weakly acyclic diagrams: A data structure for infinite-state symbolic verification

Michael Blondin, Michaël Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, Jakob Schulz

Comments: Final version of TACAS'25 with appendix and link to artifact

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

[61] arXiv:2411.17486 [pdf, other]

Title: Linear Realisability over nets: multiplicatives (long version)

Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco

Subjects: Logic in Computer Science (cs.LO)

[62] arXiv:2411.18176 [pdf, other]

Title: A finite presentation of graphs of treewidth at most three

Amina Doumane (PLUME, LIP), Samuel Humeau (PLUME, LIP), Damien Pous (PLUME, LIP)

Comments: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)., Jul 2024, Tallinn, Estonia

Subjects: Logic in Computer Science (cs.LO)

[63] arXiv:2411.19084 [pdf, html, other]

Title: On Homogeneous Model of Fluted Languages

Daumantas Kojelis

Subjects: Logic in Computer Science (cs.LO)

[64] arXiv:2411.19177 [pdf, html, other]

Title: Bounds for Quantum Circuits using Logic-Based Analysis

Benedikt Fauseweh, Ben Hermann, Falk Howar

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

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

Title: Integrating Fuzzy Logic into Deep Symbolic Regression

Wout Gerdes, Erman Acar

Comments: 10 pages, 1 figure, published for XAI FIN 24 this https URL

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

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

Title: Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming

Junyoung Jang, Brigitte Pientka

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

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

Title: Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping

Chanjuan Liu, Jinmiao Cong, Bingcai Chen, Yaochu Jin, Enqiang Zhu

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

[68] arXiv:2411.02318 (cross-list from cs.SE) [pdf, html, other]

Title: Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

Wen Fan, Marilyn Rego, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[69] arXiv:2411.03231 (cross-list from cs.CR) [pdf, html, other]

Title: Formal Logic-guided Robust Federated Learning against Poisoning Attacks

Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach

Comments: 12 pages, 4 figures, 6 tables

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[70] arXiv:2411.03451 (cross-list from cs.DS) [pdf, html, other]

Title: Redundancy Is All You Need

Joshua Brakensiek, Venkatesan Guruswami

Comments: 66 pages

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

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

Title: Interacting Monoidal Structures with Applications in Computing

James Cranch, Georg Struth

Comments: 47 pages

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

[72] arXiv:2411.04555 (cross-list from cs.AI) [pdf, html, other]

Title: An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation

Jonathan Ben-Naim, Victor David, Anthony Hunter

Comments: 14 pages

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

[73] arXiv:2411.04870 (cross-list from math.AT) [pdf, other]

Title: Manifold Diagrams for Higher Categories

Lukas Heidemann

Comments: originally submitted version, before corrections

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

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

Title: A computational method for left-adjointness

Simon Forest

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

[75] arXiv:2411.05943 (cross-list from cs.AI) [pdf, html, other]

Title: Quantifying artificial intelligence through algorithmic generalization

Takuya Ito, Murray Campbell, Lior Horesh, Tim Klinger, Parikshit Ram

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

[76] arXiv:2411.06043 (cross-list from math.LO) [pdf, html, other]

Title: The subTuring degrees

Takayuki Kihara, Keng Meng Ng

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

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

Title: Generically Automating Separation Logic by Functors, Homomorphisms and Modules

Qiyuan Xu, David Sanan, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu

Comments: Accepted by POPL'25

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

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

Title: A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

Lena Verscht, Benjamin Lucien Kaminski

Comments: This is the extended version of a publication at POPL 2025

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

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

Title: The internal languages of univalent categories

Niels van der Weide

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

[80] arXiv:2411.06675 (cross-list from math.LO) [pdf, html, other]

Title: FCA using the Concept Explorer in 2024

Edith Vargas-GarcÍa, Andreas Wachtel

Comments: 10 pages, 1 context, 9 figures

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

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

Title: Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions

Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David Basin

Comments: This is the camera-ready version (full version with appendix) of our paper with minimal changes compared to the previous version

Subjects: Databases (cs.DB); Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[82] arXiv:2411.07966 (cross-list from cs.CC) [pdf, html, other]

Title: Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets

Albert Atserias, Iddo Tzameret

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

[83] arXiv:2411.08040 (cross-list from cs.AI) [pdf, html, other]

Title: The Universal PDDL Domain

Patrik Haslum, Augusto B. Corrêa

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

[84] arXiv:2411.08421 (cross-list from math.CT) [pdf, html, other]

Title: Modest Sets are Equivalent to PERs

Rahul Chhabra

Comments: 14 pages; Expository article

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

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

Title: The Denotational Semantics of SSA

Jad Elkhaleq Ghalayini, Neel Krishnaswami

Comments: 95 pages, 38 figures, mechanization available at this https URL

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

[86] arXiv:2411.10393 (cross-list from cs.PL) [pdf, html, other]

Title: Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops

Fabian Zaiser, Andrzej S. Murawski, C.-H. Luke Ong

Comments: Full version of the POPL 2025 article, including proofs and other supplementary material

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

[87] arXiv:2411.10601 (cross-list from cs.FL) [pdf, html, other]

Title: Learning Quantitative Automata Modulo Theories

Eric Hsiung, Swarat Chaudhuri, Joydeep Biswas

Comments: 30 pages, 13 figures, 1 table

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

[88] arXiv:2411.10860 (cross-list from math.LO) [pdf, html, other]

Title: Hereditary First-Order Logic: the tractable quantifier prefix classes

Manuel Bodirsky, Santiago Guzmán-Pro

Comments: The second version focuses on hereditary first-order logic, and for a better streamlined presentation, we removed all content on extensional ESO which will be submitted elsewhere. Version 2 also contains new results (Section 4)

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

[89] arXiv:2411.11549 (cross-list from cs.GT) [pdf, other]

Title: Sound Value Iteration for Simple Stochastic Games

Muqsit Azeem, Jan Kretinsky, Maximilian Weininger

Comments: Preprint. Under Review

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

[90] arXiv:2411.11885 (cross-list from math.HO) [pdf, html, other]

Title: Anatomy of a Formal Proof

Jeremy Avigad, Johan Commelin, Heather Macbeth, Adam Topaz

Comments: 12 pages

Subjects: History and Overview (math.HO); Logic in Computer Science (cs.LO)

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

Title: Correspondences between codensity and coupling-based liftings, a practical approach

Samuel Humeau (ENS de Lyon, LIP, PLUME), Daniela Petrisan (IRIF (UMR\_8243)), Jurriaan Rot (ICIS)

Journal-ref: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), Feb 2025, Amsterdam, Netherlands

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

[92] arXiv:2411.12498 (cross-list from cs.LG) [pdf, html, other]

Title: Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus

Terufumi Morishita, Gaku Morio, Atsuki Yamaguchi, Yasuhiro Sogawa

Comments: NeurIPS 2024

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

[93] arXiv:2411.12840 (cross-list from math.ST) [pdf, other]

Title: The Aldous--Hoover Theorem in Categorical Probability

Leihao Chen, Tobias Fritz, Tomáš Gonda, Andreas Klingler, Antonio Lorenzin

Comments: 39 pages

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

[94] arXiv:2411.12857 (cross-list from cs.PL) [pdf, html, other]

Title: An Abstract Domain for Heap Commutativity (Extended Version)

Jared Pincus, Eric Koskinen

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

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

Title: Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics

Georgiana Caltais (University of Twente), Cinzia Di Giusto (Université Côte d'Azur)

Journal-ref: EPTCS 412, 2024

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

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

Title: Complete Test Suites for Automata in Monoidal Closed Categories

Bálint Kocsis, Jurriaan Rot

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

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

Title: Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman

Susanna F. de Rezende, Noah Fleming, Duri Andrea Janett, Jakob Nordström, Shuo Pang

Comments: 47 pages, 7 figures

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

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

Title: Model Checking for Reinforcement Learning in Autonomous Driving: One Can Do More Than You Think!

Rong Gu (Mälardalen University)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 160-177

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

[99] arXiv:2411.14559 (cross-list from cs.SC) [pdf, html, other]

Title: Union of Finitely Generated Congruences on Ground Term Algebra

Sándor Vágvölgyi

Comments: 57 pages

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

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

Title: Functional Array Programming in an Extended Pi-Calculus

Hans Hüttel (Department of Computer Science, University of Copenhagen), Lars Jensen (Department of Computer Science, Aalborg University), Chris Oliver Paulsen (Department of Computer Science, Aalborg University), Julian Teule (Department of Computer Science, Aalborg University)

Comments: In Proceedings EXPRESS/SOS 2024, arXiv:2411.13318

Journal-ref: EPTCS 412, 2024, pp. 2-18

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