Logic in Computer Science

Authors and titles for November 2024

[1] arXiv:2411.00025 [pdf, html, other]

Title: Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models

Jean Leneutre, Vadim Malvone, James Ortiz

Comments: 8 Pages

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

[2] arXiv:2411.00026 [pdf, html, other]

Title: Revisiting Assumptions Ordering in CAR-Based Model Checking

Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:2411.00031 [pdf, other]

Title: A Theoretical Review on Solving Algebra Problems

Xinguo Yu, Weina Cheng, Chuanzhi Yang, Ting Zhang

Comments: 22pages,5figures

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

[4] arXiv:2411.00048 [pdf, other]

Title: Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion

Linda Feeken, Martin Fränzle

Comments: In Proceedings GandALF 2024, arXiv:2410.21884

Journal-ref: EPTCS 409, 2024, pp. 53-69

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

[5] arXiv:2411.00117 [pdf, html, other]

Title: Openness And Partial Adjacency In One Variable TPTL

Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag, Paritosh Pandya

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

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

[6] arXiv:2411.00149 [pdf, html, other]

Title: A "Symbolic" Representation of Object-Nets (Extended Version)

Michael Köhler-Bussmeier, Lorenzo Capra

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:2411.00197 [pdf, other]

Title: Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching

James Li, Noam Zilberstein, Alexandra Silva

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:2411.00559 [pdf, other]

Title: Sound Statistical Model Checking for Probabilities and Expected Rewards

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:2411.00589 [pdf, html, other]

Title: Early Announcement: Parametricity for GADTs

Pierre Cagne, Patricia Johann

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

[10] arXiv:2411.00847 [pdf, other]

Title: Reachability and Safety Games under TSO Semantics

Stephan Spengler

Comments: In Proceedings GandALF 2024, arXiv:2410.21884

Journal-ref: EPTCS 409, 2024, pp. 154-171

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:2411.01188 [pdf, html, other]

Title: Learning Rules Explaining Interactive Theorem Proving Tactic Prediction

Liao Zhang, David M. Cerna, Cezary Kaliszyk

Comments: 15 pages, 5 figures

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

[12] arXiv:2411.01393 [pdf, html, other]

Title: Thoughts on sub-Turing interactive computability

Giorgi Japaridze

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:2411.01961 [pdf, other]

Title: On SMT Theory Design: The Case of Sequences

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury

Journal-ref: LPAR 2024 Complementary Volume, May 2024, Mauritius, France. pp.14-29

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:2411.02977 [pdf, html, other]

Title: Relating Apartness and Branching Bisimulation Games

Jurriaan Rot, Sebastian Junges, Harsh Beohar

Journal-ref: LNCS 14560, Springer, 2024

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:2411.03069 [pdf, html, other]

Title: Conformance Games for Graded Semantics

Jonas Forster, Lutz Schröder, Paul Wild

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:2411.04003 [pdf, html, other]

Title: Learning Aggregate Queries Defined by First-Order Logic with Counting

Steffen van Bergerem, Nicole Schweikardt

Comments: To appear at ICDT 2025

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

[17] arXiv:2411.04615 [pdf, html, other]

Title: The Functional Machine Calculus III: Choice (Early Announcement)

Willem Heijltjes

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:2411.06086 [pdf, html, other]

Title: On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus

Naoki Kobayashi

Journal-ref: Proc. ACM Program. Lang. 9(POPL): 1136-1166 (2025)

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

[19] arXiv:2411.06409 [pdf, html, other]

Title: Automated Strategy Invention for Confluence of Term Rewrite Systems

Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk

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

[20] arXiv:2411.06944 [pdf, html, other]

Title: Finite Variable Counting Logics with Restricted Requantification

Simon Raßmann, Georg Schindling, Pascal Schweitzer

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

[21] arXiv:2411.07078 [pdf, other]

Title: Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)

Philippe Heim, Rayna Dimitrova

Comments: This is a full version of paper accepted at POPL 2025

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:2411.07431 [pdf, html, other]

Title: Continuous Domains for Function Spaces Using Spectral Compactification

Amin Farjudian, Achim Jung

Comments: 19 pages, 1 figure, Mathematical Foundations of Programming Semantics (MFPS) 2024

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL (December 11, 2024) entics:14736

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

[23] arXiv:2411.07665 [pdf, other]

Title: An SMT Theory for n-Indexed Sequences

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury

Comments: 22nd International Workshop on Satisfiability Modulo Theories, Jul 2024, Montreal, Canada, France

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:2411.07667 [pdf, html, other]

Title: Formalization of physics index notation in Lean 4

Joseph Tooby-Smith

Comments: 24 pages. Comments are welcome

Subjects: Logic in Computer Science (cs.LO); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th)

[25] arXiv:2411.07714 [pdf, other]

Title: Typed Non-determinism in Concurrent Calculi: The Eager Way

Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus, Jorge A. Pérez

Comments: arXiv admin note: substantial text overlap with arXiv:2408.07915

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL (December 11, 2024) entics:14735

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

[26] arXiv:2411.08635 [pdf, html, other]

Title: Synthesis with Privacy Against an Observer

Orna Kupferman, Ofer Leshkowitz, Namma Shamash Halevy

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:2411.08770 [pdf, other]

Title: On Kleisli liftings and decorated trace semantics

Daniel Luckhardt, Harsh Beohar, Sebastian Küpper

Comments: 40th Conference on Mathematical Foundations of Programming Semantics (MFPS)

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL (December 11, 2024) entics:14751

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:2411.08847 [pdf, other]

Title: Proofs as Execution Trees for the π-Calculus

Matteo Acclavio, Giulia Manara

Comments: Slice nets added. Explicit MALL1 proof nets. Bibliography updated. Fixed typos

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:2411.09121 [pdf, html, other]

Title: AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs

Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai

Comments: regular tool paper submitted to TACAS 2025

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

[30] arXiv:2411.09366 [pdf, html, other]

Title: LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi

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

[31] arXiv:2411.09489 [pdf, html, other]

Title: Positive Focusing is Directly Useful

Beniamino Accattoli, Jui-Hsuan Wu

Comments: Paper for the proceedings of MFPS 2024

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL (December 11, 2024) entics:14758

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

[32] arXiv:2411.10037 [pdf, html, other]

Title: Exact Computation of Error in Approximate Circuits using SAT and Message-Passing Algorithms

S Ramprasath, Marrivada Gopala Krishna Sai Charan, Vinita Vasudevan

Comments: 6 pages, 3 figures

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:2411.10229 [pdf, other]

Title: Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity

Hubie Chen, Stefan Mengel

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

[34] arXiv:2411.10624 [pdf, html, other]

Title: Weak Permission is not Well-Founded, Grounded and Stable

Guido Governatori

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

[35] arXiv:2411.10826 [pdf, html, other]

Title: Probabilistic Nets-within-Nets

Michael Köhler-Bußmeier

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:2411.11113 [pdf, other]

Title: Calculational Design of Hyperlogics by Abstract Interpretation

Patrick Cousot, Jeffery Wang

Comments: POPL 2025, Denver, CO, USA

Journal-ref: Proc. ACM Program. Lang. 9, POPL, Article 16 (January 2025), 71 pages

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:2411.11428 [pdf, other]

Title: Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

Subjects: Logic in Computer Science (cs.LO)

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

Title: Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants

Noam Zilberstein, Alexandra Silva, Joseph Tassarotti

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

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

Title: A Note on Los's Theorem for Kripke-Joyal Semantics

Marc Aiguier, Romain Pascual

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:2411.11809 [pdf, other]

Title: The Lambda Calculus is Quantifiable

Valentin Maestracci, Paolo Pistone

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

[41] arXiv:2411.12271 [pdf, html, other]

Title: SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout

Bohan Li, Dawei Li, Ming Fu, Shaowei Cai

Subjects: Logic in Computer Science (cs.LO); Human-Computer Interaction (cs.HC)

[42] arXiv:2411.12923 [pdf, html, other]

Title: Towards Automated Verification of Logarithmic Arithmetic

Mark G. Arnold, Thomas A. Bailey, John R. Cowles

Comments: 21 pages, Originally a 1994 technical report from University of Wyoming and Computational Logic, Inc

Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)

[43] arXiv:2411.13125 [pdf, html, other]

Title: An Expressive Trace Logic for Recursive Programs

Dilian Gurov, Reiner Hähnle

Comments: 22 pages, 6 figures

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

[44] arXiv:2411.13215 [pdf, other]

Title: Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems

Matt Luckcuck (University of Nottingham, UK), Mengwei Xu (University of Newcastle, UK)

Journal-ref: EPTCS 411, 2024

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

[45] arXiv:2411.13500 [pdf, html, other]

Title: Isomorphism Theorems between Models of Mixed Choice (Revised)

Jean Goubault-Larrecq

Comments: Fixes a mistake in a "Isomorphism Theorems between Models of Mixed Choice" published at MSCS in 2017. 50 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO); Functional Analysis (math.FA); Probability (math.PR)

[46] arXiv:2411.13672 [pdf, html, other]

Title: Computable Approximations of Semicomputable Graphs

Vedran Čačić, Matea Čelar, Marko Horvat, Zvonko Iljazović

Comments: 18 pages, 4 figures

Subjects: Logic in Computer Science (cs.LO)

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

Title: A Quadratic Lower Bound for Simulation

Jan Friso Groote, Jan Martens

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:2411.14163 [pdf, other]

Title: Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report

Syed Ali Asadullah Bukhari, Thomas Flinkow, Medet Inkarbekov, Barak A. Pearlmutter, Rosemary Monahan

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 178-190

Subjects: Logic in Computer Science (cs.LO); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[49] arXiv:2411.14374 [pdf, other]

Title: Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems

Jan Gruteser (Heinrich Heine University Düsseldorf), Jan Roßbach (Heinrich Heine University Düsseldorf), Fabian Vu (Heinrich Heine University Düsseldorf), Michael Leuschel (Heinrich Heine University Düsseldorf)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 151-159

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV)

[50] arXiv:2411.14581 [pdf, other]

Title: Semantics for Linear-time Temporal Logic with Finite Observations

Rayhana Amjad (University of Edinburgh), Rob van Glabbeek (University of Edinburgh), Liam O'Connor (Australian National University)

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

Journal-ref: EPTCS 412, 2024, pp. 35-50

Subjects: Logic in Computer Science (cs.LO)

[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)

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

Title: Effective Littlestone Dimension

Valentino Delle Rose, Alexander Kozachinskiy, Tomasz Steifer

Comments: 12 pages

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

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

Title: Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer

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

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

Title: Metamathematics of Resolution Lower Bounds: A TFNP Perspective

Jiawei Li, Yuhao Li, Hanlin Ren

Comments: Abstract shortened due to constraints

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

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

Title: Portus: Linking Alloy with SMT-based Finite Model Finding

Ryan Dancy, Nancy A. Day, Owen Zila, Khadija Tariq, Joseph Poremba

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

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

Title: Kleene algebra with commutativity conditions is undecidable

Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi

Comments: Published at CSL 2025

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Computation and Language (cs.CL); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

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

Title: Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs

Daniela Kaufmann, Jérémy Berthomieu

Comments: Accepted at 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2025

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

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

Title: Network Inversion and Its Applications

Pirzada Suhail, Hao Tang, Amit Sethi

Comments: arXiv admin note: substantial text overlap with arXiv:2410.16884, arXiv:2407.18002

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO)

[108] arXiv:2411.18172 (cross-list from cs.CV) [pdf, html, other]

Title: Enhancing Computer Vision with Knowledge: a Rummikub Case Study

Simon Vandevelde, Laurent Mertens, Sverre Lauwers, Joost Vennekens

Comments: Submitted to ESANN2025

Subjects: Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO)

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

Title: Probabilistic consequence relations

Paul Égré, David Ripley

Comments: To appear in the Journal of Logic and Computation

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