Logic in Computer Science

Authors and titles for recent submissions

• Fri, 31 Jan 2025
• Thu, 30 Jan 2025
• Wed, 29 Jan 2025
• Tue, 28 Jan 2025
• Mon, 27 Jan 2025

See today's new changes

Tue, 28 Jan 2025 (continued, showing last 12 of 19 entries )

[26] arXiv:2501.15303 [pdf, other]

Title: Guarded Negation Transitive Closure Logic is 2-EXPTIME-complete

Yoshiki Nakamura

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:2501.15238 [pdf, html, other]

Title: Complete Quantum Relational Hoare Logics from Optimal Transport Duality

Gilles Barthe, Minbo Gao, Theo Wang, Li Zhou

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

[28] arXiv:2501.15156 [pdf, html, other]

Title: Quantifier Elimination and Craig Interpolation: The Quantitative Way (Technical Report)

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

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

[29] arXiv:2501.16307 (cross-list from cs.GT) [pdf, html, other]

Title: Privacy-aware Nash Equilibrium Synthesis with Partially Ordered LTL$_f$ Objectives

Caleb Probine, Abhishek Kulkarni, Ufuk Topcu

Comments: 13 pages, 6 figures

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

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

Title: What is Formal Verification without Specifications? A Survey on mining LTL Specifications

Daniel Neider, Rajarshi Roy

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

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

Title: Automating the Analysis of Quantitative Automata with QuAK

Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

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

[32] arXiv:2501.15639 (cross-list from math.OA) [pdf, other]

Title: The continuous functional calculus in Lean

Anatole Dedecker, Jireh Loreaux

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

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

Title: Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics

Yotam Dvir, Ohad Kammar, Ori Lahav, Gordon Plotkin

Comments: to be published in the conference proceedings of Foundations of Software Science and Computation Structures (FoSSaCS) 2025

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

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

Title: A Proof-Producing Compiler for Blockchain Applications

Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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

Title: The Alternation Hierarchy of First-Order Logic on Words is Decidable

Corentin Barloy, Michaël Cadilhac, Charles Paperman, Howard Straubing

Comments: 12 pages, plus bibliography (2 pages) and appendix (5 pages). Conference version

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

[36] arXiv:2501.14851 (cross-list from cs.CL) [pdf, other]

Title: JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models

Michael K. Chen, Xikun Zhang, Dacheng Tao

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

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

Title: Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review

Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini

Journal-ref: ACM Comput. Surv. 56, (2024), 1 - 35

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

Mon, 27 Jan 2025 (showing 6 of 6 entries )

[38] arXiv:2501.14585 [pdf, html, other]

Title: Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction

Derek Egolf, Stavros Tripakis

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:2501.14542 [pdf, html, other]

Title: Ordinal Exponentiation in Homotopy Type Theory

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

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

[40] arXiv:2501.14363 [pdf, html, other]

Title: Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation

Daimy Van Caudenberg, Bart Bogaerts, Leandro Vendramin

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

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

Title: Bean: A Language for Backward Error Analysis

Ariel E. Kellison, Laura Zielinski, David Bindel, Justin Hsu

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Numerical Analysis (math.NA)

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

Title: Reasoning about Weak Isolation Levels in Separation Logic

Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal

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

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

Title: Enumeration and updates for conjunctive linear algebra queries through expressibility

Thomas Muñoz, Cristian Riveros, Stijn Vansummeren

Comments: 70 pages total: 63 main body, 3 of references and 4 of appendix which contains additional proofs

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