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)

Mon, 1 Dec 2025

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

[31]  arXiv:2511.22391 [pdf, ps, other]

Title: Impure Simplicial Complex and Term-Modal Logic with Assignment Operators

Authors: Yuanzhe Yang

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 399-416

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

[32]  arXiv:2511.22390 [pdf, ps, other]

Title: Modal Logic for Simulation, Refinement, and Mutual Ignorance

Authors: Hans van Ditmarsch, Tim French, Rustam Galimullin, Louwe B. Kuijer

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 379-398

Subjects: Logic in Computer Science (cs.LO)

[33]  arXiv:2511.22389 [pdf, ps, other]

Title: Complexity of Łukasiewicz Modal Probabilistic Logics

Authors: Daniil Kozhemiachenko (Aix Marseille Univ, CNRS, LIS, Marseille, France), Igor Sedlár (The Czech Academy of Sciences, Prague, Czech Republic)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 350-364

Subjects: Logic in Computer Science (cs.LO)

[34]  arXiv:2511.22387 [pdf, ps, other]

Title: Are Large Random Graphs Always Safe to Hide?

Authors: Sourav Chakraborty (Indian Statistical Institute), Sujata Ghosh (Indian Statistical Institute), Smiha Samanta (Indian Statistical Institute)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 321-333

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

[35]  arXiv:2511.22385 [pdf, other]

Title: Logic of (Common or Distributed) Knowledge

Authors: Chenwei Shi (Department of Philosophy, Tsinghua University)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 286-300

Subjects: Logic in Computer Science (cs.LO)

[36]  arXiv:2511.22382 [pdf, other]

Title: Comparing State-Representations for DEL Model Checking

Authors: Gregor Behnke (ILLC, University of Amsterdam), Malvin Gattinger (ILLC, University of Amsterdam), Avijeet Ghosh (Chennai Mathematical Institute), Haitian Wang (ILLC, University of Amsterdam)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 233-250

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

[37]  arXiv:2511.22381 [pdf, ps, other]

Title: Graded Distributed Belief

Authors: Emiliano Lorini (IRIT, CNRS, Toulouse University), Dmitry Rozplokhas (TU Wien)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 203-215

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

[38]  arXiv:2511.22379 [pdf, ps, other]

Title: Group Knowledge of Hypothetical Values

Authors: Alexandru Baltag (ILLC, University of Amsterdam), Sonja Smets (ILLC, University of Amsterdam)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 140-159

Subjects: Logic in Computer Science (cs.LO)

[39]  arXiv:2511.22377 [pdf, other]

Title: Conditionals Based on Selection Functions, Modal Operators and Probabilities

Authors: Tommaso Flaminio (IIIA-CSIC), Lluis Godo (IIIA-CSIC), Gluliano Rosella (Univerity of Turin)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 128-139

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

[40]  arXiv:2511.22374 [pdf, other]

Title: Distributed Knowing How

Authors: Bin Liu (Peking University), Yanjing Wang (Peking University)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 80-97

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

[41]  arXiv:2511.22371 [pdf, other]

Title: Hyperintensional Intention

Authors: Daniil Khaitovich (ILLC, Univesity of Amsterdam), Aybüke Özgün (ILLC, Univesity of Amsterdam)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 48-64

Subjects: Logic in Computer Science (cs.LO)

[42]  arXiv:2511.22174 [pdf, ps, other]

Title: Nested Sequents for Intuitionistic Multi-Modal Logics: Cut-Elimination and Lyndon Interpolation

Authors: Tim S. Lyon

Comments: in review

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

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

Title: Quantum Polymorphisms and Commutativity Gadgets

Authors: Lorenzo Ciardo, Gideo Joubert, Antoine Mottet

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[44]  arXiv:2511.23226 (cross-list from math.CO) [pdf, ps, other]

Title: North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability

Authors: Aaron Barnoff, Curtis Bright

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

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

Title: Space Explanations of Neural Network Classification

Authors: Faezeh Labbaf, Tomáš Kolárik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina

Journal-ref: Computer Aided Verification, Lecture Notes in Computer Science, vol 15933, pp. 287-303, 2025

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

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

Title: Who is Afraid of Minimal Revision?

Authors: Edoardo Baccini (University of Groningen), Zoé Christoff (University of Groningen), Nina Gierasimczuk (Technical University of Denmark), Rineke Verbrugge (University of Groningen)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 301-320

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

[47]  arXiv:2511.22376 (cross-list from cs.AI) [pdf, other]

Title: On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks

Authors: Uri Andrews (University of Wisconsin--Madison), Luca San Mauro (University of Bari)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 112-127

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

[48]  arXiv:2511.22372 (cross-list from cs.GT) [pdf, other]

Title: Common $p$-Belief with Plausibility Measures: Extended Abstract

Authors: Eric Pacuit (University of Maryland), Leo Yang (University of Maryland)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 66-79

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

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