Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic in Computer Science

Authors and titles for November 2024

Total of 109 entries : 1-50 51-100 101-109
Showing up to 50 entries per page: fewer | more | all
[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: various typos corrected, improved references to Agda code, a few details added to end of Section 8.2
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 algebraic 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 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)
Total of 109 entries : 1-50 51-100 101-109
Showing up to 50 entries per page: fewer | more | all