Neil Ghani (MSP Group, University of Strathclyde): A Category Theoretic Approach to Approximate Game Theory https://arxiv.org/abs/2509.20932 https://arxiv.org/pdf/2509.20932 https://arxiv.org/html/2509.20932

Dvorak, Figueroa-Reid, Hamadani, Hwang, Karunus, Kolmogorov, Meiburg, Nelson, Nelson, Sandey, Sergeev: Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified https://arxiv.org/abs/2509.20539 https://arxiv.org/pdf/2509.20539 https://arxiv.org/html/2509.20539

Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno, Gabriele Tedeschi: A Coalgebraic Model of Quantum Bisimulation https://arxiv.org/abs/2509.20933 https://arxiv.org/pdf/2509.20933 https://arxiv.org/html/2509.20933

Aaron Biggin (Macquarie University), Jean-Simon Pacaud Lemay (Macquarie University): Reverse Fa\`a di Bruno's Formula for Cartesian Reverse Differential Categories https://arxiv.org/abs/2509.20931 https://arxiv.org/pdf/2509.20931 https://arxiv.org/html/2509.20931

Zhangchi Liu: A Unified Formal Theory on the Logical Limits of Symbol Grounding https://arxiv.org/abs/2509.20409 https://arxiv.org/pdf/2509.20409 https://arxiv.org/html/2509.20409

[2025-09-26 Fri (UTC), 3 new articles found for csLO Logic in Computer Science]

Vasco Brattka, Emmanuel Rauzy: Effective bases and notions of effective second countability in computable analysis https://arxiv.org/abs/2509.20266 https://arxiv.org/pdf/2509.20266 https://arxiv.org/html/2509.20266

Yijun Yuan: Formalization of Harder-Narasimhan theory https://arxiv.org/abs/2509.19632 https://arxiv.org/pdf/2509.19632 https://arxiv.org/html/2509.19632

Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja: About the Multi-Head Linear Restricted Chase Termination https://arxiv.org/abs/2509.19400 https://arxiv.org/pdf/2509.19400 https://arxiv.org/html/2509.19400

Jonathan Hellwig, Lukas Sch\"afer, Long Qian, Andr\'e Platzer, Matthias Althoff: From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes https://arxiv.org/abs/2509.20301 https://arxiv.org/pdf/2509.20301 https://arxiv.org/html/2509.20301

Alessandro Linzi: L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL https://arxiv.org/abs/2509.19854 https://arxiv.org/pdf/2509.19854 https://arxiv.org/html/2509.19854

[2025-09-25 Thu (UTC), 2 new articles found for csLO Logic in Computer Science]

Timotheus Kampik, Kristijonas \v{C}yras, Jos\'e Ruiz Alarc\'on: Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations https://arxiv.org/abs/2509.18215 https://arxiv.org/pdf/2509.18215 https://arxiv.org/html/2509.18215

Dmitriy Zhuk: Singleton algorithms for the Constraint Satisfaction Problem https://arxiv.org/abs/2509.18434 https://arxiv.org/pdf/2509.18434 https://arxiv.org/html/2509.18434

Michael Johnson (Macquarie University), David Jaz Myers (Topos Institute): Proceedings Seventh International Conference on Applied Category Theory 2024 https://arxiv.org/abs/2509.18357 https://arxiv.org/pdf/2509.18357 https://arxiv.org/html/2509.18357

[2025-09-24 Wed (UTC), 2 new articles found for csLO Logic in Computer Science]

Antoni Guasch, Maria Isabel Valdez: The STAR-XAI Protocol: An Interactive Framework for Inducing Second-Order Agency in AI Agents https://arxiv.org/abs/2509.17978 https://arxiv.org/pdf/2509.17978 https://arxiv.org/html/2509.17978

Joao Marques-Silva, Alexey Ignatiev: Efficient & Correct Predictive Equivalence for Decision Trees https://arxiv.org/abs/2509.17774 https://arxiv.org/pdf/2509.17774 https://arxiv.org/html/2509.17774

Manuel Borroto, Katie Gallagher, Antonio Ielo, Irfan Kareem, Francesco Ricca, Alessandra Russo: Question Answering with LLMs and Learning from Answer Sets https://arxiv.org/abs/2509.16590 https://arxiv.org/pdf/2509.16590 https://arxiv.org/html/2509.16590

Khashayar Irani: The Proof-Theoretic Origin of Double Negation Introduction & Elimination https://arxiv.org/abs/2509.17623 https://arxiv.org/pdf/2509.17623 https://arxiv.org/html/2509.17623

Samuel Arsac (PLUME, LIP, ENS de Lyon), Russ Harmer (PLUME, LIP), Damien Pous (PLUME, LIP): Adhesive category theory for graph rewriting in Rocq https://arxiv.org/abs/2509.17392 https://arxiv.org/pdf/2509.17392 https://arxiv.org/html/2509.17392

Antonio Joaquim Fernandes: Equivalence of Halting Problem to Convergence of Power Series https://arxiv.org/abs/2509.16270 https://arxiv.org/pdf/2509.16270 https://arxiv.org/html/2509.16270

Jhet Chan: G\"odel Mirror: A Formal System For Contradiction-Driven Recursion https://arxiv.org/abs/2509.16239 https://arxiv.org/pdf/2509.16239 https://arxiv.org/html/2509.16239

Markus Krahl, Matthias G\"udemann, Stefan Wallentowitz: parSAT: Parallel Solving of Floating-Point Satisfiability https://arxiv.org/abs/2509.16237 https://arxiv.org/pdf/2509.16237 https://arxiv.org/html/2509.16237

Paula Blechschmidt: Compositional Interface Refinement Through Subtyping in Probabilistic Session Types https://arxiv.org/abs/2509.16228 https://arxiv.org/pdf/2509.16228 https://arxiv.org/html/2509.16228

[2025-09-23 Tue (UTC), 6 new articles found for csLO Logic in Computer Science]

Sergei Leonov, Liam Davis: Two Optimizations on the St\aa lmarck Procedure https://arxiv.org/abs/2509.16172 https://arxiv.org/pdf/2509.16172 https://arxiv.org/html/2509.16172

[2025-09-22 Mon (UTC), 1 new article found for csLO Logic in Computer Science]

Arnaud Mayeux, Jujian Zhang: The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction https://arxiv.org/abs/2509.15116 https://arxiv.org/pdf/2509.15116 https://arxiv.org/html/2509.15116

Harrison Oates, Hyeonggeun Yun, Nikhila Gurusinghe: Theorem Provers: One Size Fits All? https://arxiv.org/abs/2509.15015 https://arxiv.org/pdf/2509.15015 https://arxiv.org/html/2509.15015

Thorsten Altenkirch, Ambrus Kaposi, Szumi Xie: The Groupoid-syntax of Type Theory is a Set https://arxiv.org/abs/2509.14988 https://arxiv.org/pdf/2509.14988 https://arxiv.org/html/2509.14988

[2025-09-19 Fri (UTC), 3 new articles found for csLO Logic in Computer Science]

Sougata Bose, Daniel Hausmann, Soumyajit Paul, Sven Schewe, Tansholpan Zhanabekova: Generalised Reachability Games Revisited https://arxiv.org/abs/2509.14091 https://arxiv.org/pdf/2509.14091 https://arxiv.org/html/2509.14091

R\"udiger Ehlers: How Concise are Chains of co-B\"uchi Automata? https://arxiv.org/abs/2509.14087 https://arxiv.org/pdf/2509.14087 https://arxiv.org/html/2509.14087

Mikhail Goncharov, Alexander S. Kulikov, Georgie Levtsov: Smaller Circuits for Bit Addition https://arxiv.org/abs/2509.13966 https://arxiv.org/pdf/2509.13966 https://arxiv.org/html/2509.13966

Ga\"etan Regaud (ENS Rennes), Martin Zimmermann (Aalborg University): The Complexity of Generalized HyperLTL with Stuttering and Contexts https://arxiv.org/abs/2509.14095 https://arxiv.org/pdf/2509.14095 https://arxiv.org/html/2509.14095

Radu Mardare, Neil Ghani, Eigil Rischel: Metric Equational Theories https://arxiv.org/abs/2509.14094 https://arxiv.org/pdf/2509.14094 https://arxiv.org/html/2509.14094

Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis: An Automaton-based Characterisation of First-Order Logic over Infinite Trees https://arxiv.org/abs/2509.14090 https://arxiv.org/pdf/2509.14090 https://arxiv.org/html/2509.14090

Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ing\'olfsd\'ottir: The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract) https://arxiv.org/abs/2509.14089 https://arxiv.org/pdf/2509.14089 https://arxiv.org/html/2509.14089

Dror Fried, Etay Segal, Gad E. Yaron: Algorithmic Perspective on Toda's Theorem https://arxiv.org/abs/2509.13871 https://arxiv.org/pdf/2509.13871 https://arxiv.org/html/2509.13871

Max Barth, Marie-Christine Jakobs: Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement https://arxiv.org/abs/2509.13699 https://arxiv.org/pdf/2509.13699 https://arxiv.org/html/2509.13699

[2025-09-18 Thu (UTC), 6 new articles found for csLO Logic in Computer Science]

Fr\'ed\'eric Fort, David Nowak, Vlad Rusu: Pleasant Imperative Program Proofs with GallinaC https://arxiv.org/abs/2509.13019 https://arxiv.org/pdf/2509.13019 https://arxiv.org/html/2509.13019

Lachlan McGinness, Peter Baumgartner: Large Language Models Imitate Logical Reasoning, but at what Cost? https://arxiv.org/abs/2509.12645 https://arxiv.org/pdf/2509.12645 https://arxiv.org/html/2509.12645

Giorgio Bacci (Aalborg University, Denmark), Adrian Francalanza (University of Malta): Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification https://arxiv.org/abs/2509.13258 https://arxiv.org/pdf/2509.13258 https://arxiv.org/html/2509.13258

Yuxu Chen, Jing Liu, Lili Shen, Xiaoye Tang: Reducts of fuzzy contexts: Formal concept analysis vs. rough set theory https://arxiv.org/abs/2509.13059 https://arxiv.org/pdf/2509.13059 https://arxiv.org/html/2509.13059

Philippe Balbiani: Intuitionistic modal logics: epistemic reasoning with distributed knowledge https://arxiv.org/abs/2509.13038 https://arxiv.org/pdf/2509.13038 https://arxiv.org/html/2509.13038

Adriana Balan, Silviu-George Pantelimon: The Hidden Strength of Costrong Functors https://arxiv.org/abs/2509.13026 https://arxiv.org/pdf/2509.13026 https://arxiv.org/html/2509.13026

Ioana Leu\c{s}tean (University of Bucharest), Bogdan Macovei (University of Bucharest): {\L}ukasiewicz Logic with Actions for Neural Networks training https://arxiv.org/abs/2509.13020 https://arxiv.org/pdf/2509.13020 https://arxiv.org/html/2509.13020

\'Ad\'am Kurucz, P\'eter Bereczky, D\'aniel Horp\'acsi: On a Dependently Typed Encoding of Matching Logic https://arxiv.org/abs/2509.13018 https://arxiv.org/pdf/2509.13018 https://arxiv.org/html/2509.13018