Logic in Computer Science

Authors and titles for recent submissions

• Fri, 5 Dec 2025
• Thu, 4 Dec 2025
• Wed, 3 Dec 2025
• Tue, 2 Dec 2025
• Mon, 1 Dec 2025

Fri, 5 Dec 2025

[1]  arXiv:2512.04991 [pdf, ps, other]

Title: Parametric disjunctive timed networks

Authors: Étienne André, Swen Jacobs, Engel Lefaucheux

Comments: This is the author version of the manuscript of the same name published in the proceedings of the 34th EACSL Annual Conference on Computer Science Logic (CSL 2026)

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:2512.04687 [pdf, ps, other]

Title: Intuitionistic modal logic LIK4 is decidable

Authors: Philippe Balbiani, Çigdem Gencer, Tinko Tinchev

Subjects: Logic in Computer Science (cs.LO)

[3]  arXiv:2512.04573 [pdf, other]

Title: A Rocq Formalization of Monomial and Graded Orders

Authors: Sylvie Boldo (TOCCATA), François Clément (SERENA, CERMICS), Vincent Martin (LMAC), Micaela Mayero (LIPN)

Subjects: Logic in Computer Science (cs.LO)

[4]  arXiv:2512.04908 (cross-list from cs.CR) [pdf, ps, other]

Title: Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming

Authors: Fang Li, Fei Zuo, Gopal Gupta

Comments: Submitted to FLOPS 2026

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

[5]  arXiv:2512.04497 (cross-list from quant-ph) [pdf, ps, other]

Title: QReach: A Reachability Analysis Tool for Quantum Markov Chains

Authors: Aochu Dai, Mingsheng Ying

Comments: 15 pages, 5 figures

Journal-ref: Computer Aided Verification (CAV 2024), LNCS 14683, 2024, pp. 520-532

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

Thu, 4 Dec 2025

[6]  arXiv:2512.03971 [pdf, ps, other]

Title: Approximate Optimal Active Learning of Decision Trees

Authors: Zunchen Huang, Chenglu Jin

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

[7]  arXiv:2512.03635 [pdf, ps, other]

Title: Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem

Authors: Dustin Bryant, Jim Woodcock, Simon Foster

Comments: 1 figure

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

[8]  arXiv:2512.03175 [pdf, ps, other]

Title: The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups

Authors: Arthur F. Ramos, Tiago M. L. de Veras, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Comments: 16 pages, 6 figures. Lean 4 formalization available at this https URL

Subjects: Logic in Computer Science (cs.LO)

[9]  arXiv:2512.03164 [pdf, ps, other]

Title: A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems

Authors: Ludovico Fusco, Alessandro Aldini

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

[10]  arXiv:2512.03091 [pdf, ps, other]

Title: Hypernetwork Theory: The Structural Kernel

Authors: Richard D. Charlesworth

Comments: 32 pages, 5 figures, 2 appendices. Companion boundary-calculus paper forthcoming

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[11]  arXiv:2512.03926 (cross-list from cs.SE) [pdf, ps, other]

Title: Tunable Automation in Automated Program Verification

Authors: Alexander Y. Bai, Chris Hawblitzel, Andrea Lattuada

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

[12]  arXiv:2512.03491 (cross-list from cs.LG) [pdf, ps, other]

Title: Modal Logical Neural Networks

Authors: Antonin Sulc

Comments: 27 pages, 10 figures, 7 tables

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

[13]  arXiv:2512.03072 (cross-list from cs.AI) [pdf, ps, other]

Title: Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI

Authors: Hu Keyi

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

Wed, 3 Dec 2025

[14]  arXiv:2512.02617 [pdf, ps, other]

Title: The role of counting quantifiers in laminar set systems

Authors: Rutger Campbell, Noleen Köhler

Comments: 19 pages, 3 figures

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

[15]  arXiv:2512.02898 (cross-list from cs.SE) [pdf, ps, other]

Title: Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits

Authors: Pedro Orvalho, Marta Kwiatkowska, Mikoláš Janota, Vasco Manquinho

Comments: 50 pages, 9 figures, 6 tables, 5 listings

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

[16]  arXiv:2512.02873 (cross-list from cs.FL) [pdf, ps, other]

Title: Symbolic ω-automata with obligations

Authors: Luca Di Stefano

Comments: 15 pages. Under review. For associated tool, see this https URL

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

[17]  arXiv:2512.02779 (cross-list from cs.CG) [pdf, ps, other]

Title: Devil's Games and $\text{Q}\mathbb{R}$: Continuous Games complete for the First-Order Theory of the Reals

Authors: Lucas Meijer, Arnaud de Mesmay, Tillmann Miltzow, Marcus Schaefer, Jack Stade

Comments: 65 pages, 37 figures

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

Tue, 2 Dec 2025

[18]  arXiv:2512.00657 [pdf, ps, other]

Title: Computational Paths Form a Weak ω-Groupoid

Authors: Arthur F. Ramos, Tiago M. L. de Veras, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira

Comments: 24 pages. Formalized in Lean 4

Subjects: Logic in Computer Science (cs.LO)

[19]  arXiv:2512.00500 [pdf, ps, other]

Title: Reasoning about Quality in Hyperproperties

Authors: Samuel Graepler, Benjamin Monmege, Jean-Marc Talbot

Subjects: Logic in Computer Science (cs.LO)

[20]  arXiv:2512.00270 [pdf, ps, other]

Title: A Hierarchy of Supermartingales for $ω$-Regular Verification

Authors: Satoshi Kura, Hiroshi Unno

Subjects: Logic in Computer Science (cs.LO)

[21]  arXiv:2512.00209 [pdf, ps, other]

Title: Compositional Inference for Bayesian Networks and Causality

Authors: Bart Jacobs, Márk Széles, Dario Stein

Comments: 21 pages, 2 figures. To be published in MFPS 2025 proceedings

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

[22]  arXiv:2512.00081 [pdf, ps, other]

Title: Strong Normalization for the Safe Fragment of a Minimal Rewrite System: A Triple-Lexicographic Proof and a Conjecture on the Unprovability of Full Termination for Any Relational Operator-Only TRS

Authors: Moses Rahnama

Comments: 12 pages, formally verified theorems in a proof assistant

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

[23]  arXiv:2512.00314 (cross-list from cs.FL) [pdf, ps, other]

Title: Counting and Sampling Traces in Regular Languages

Authors: Alexis de Colnet, Kuldeep S. Meel, Umang Mathur

Comments: To appear in POPL 2026. Author order is random

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[24]  arXiv:2512.00141 (cross-list from physics.ed-ph) [pdf, ps, other]

Title: High schoolers excel at Oxford quantum course using pictorial mathematics

Authors: Bob Coecke, Aleks Kissinger, Stefano Gogioso, Selma Dündar-Coecke, Caterina Puca, Lia Yeh, Muhammad Hamza Waseem, Emmanuel M. Pothos, Sieglinde Pfaendler, Vincent Wang-Mascianica, Thomas Cervoni, Ferdi Tomassini, Vincent Anandraj, Peter Sigrist, Ilyas Khan

Comments: 9 pages, many pictures

Subjects: Physics Education (physics.ed-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT); Quantum Physics (quant-ph)

[25]  arXiv:2511.23472 (cross-list from cs.PL) [pdf, ps, other]

Title: RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing

Authors: Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka, Emanuele D'Osualdo

Comments: Full version of the conference paper at POPL 2026. The first two authors contributed equally to this work

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

• Fri, 5 Dec 2025
• Thu, 4 Dec 2025
• Wed, 3 Dec 2025
• Tue, 2 Dec 2025
• Mon, 1 Dec 2025