Logic in Computer Science

Authors and titles for November 2024

[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 Model Checking

Manuel Bodirsky, Santiago Guzmán-Pro

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)