We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for recent submissions, skipping first 5

[ total of 48 entries: 1-25 | 6-30 | 31-48 ]
[ showing 25 entries per page: fewer | more | all ]

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)

Mon, 1 Dec 2025 (showing first 5 of 23 entries)

[26]  arXiv:2511.23109 [pdf, ps, other]
Title: Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory
Authors: Madalina Erascu
Subjects: Logic in Computer Science (cs.LO)
[27]  arXiv:2511.22734 [pdf, ps, other]
Title: Denotational semantics for stabiliser quantum programs
Authors: Robert I. Booth, Cole Comfort
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Symplectic Geometry (math.SG); Quantum Physics (quant-ph)
[28]  arXiv:2511.22572 [pdf, ps, other]
Title: Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
Authors: Damian Kurpiewski, Jędrzej Michalczyk, Wojciech Jamroga, Jerzy Julian Michalski, Teofil Sidoruk
Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[29]  arXiv:2511.22537 [pdf, ps, other]
Title: A programming language combining quantum and classical control
Authors: Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev
Comments: Extended version of this https URL and related to the PhD thesis at arXiv:2406.07216
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Quantum Physics (quant-ph)
[30]  arXiv:2511.22392 [pdf, ps, other]
Title: Muddy Waters
Authors: Hans van Ditmarsch (CNRS)
Comments: In Proceedings TARK 2025, arXiv:2511.20540
Journal-ref: EPTCS 437, 2025, pp. 433-447
Subjects: Logic in Computer Science (cs.LO)
[ total of 48 entries: 1-25 | 6-30 | 31-48 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2512, contact, help  (Access key information)