Logic in Computer Science

Authors and titles for recent submissions

• Mon, 12 Oct 2026
• Fri, 9 Oct 2026
• Thu, 8 Oct 2026
• Wed, 7 Oct 2026
• Tue, 6 Oct 2026

See today's new changes

Mon, 12 Oct 2026 (showing 5 of 5 entries )

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

Title: Compact Quantitative Equational Theories as Monad Restrictions

Matteo Mio, Colin Riba

Comments: Conference: MFPS 2026, Ljubljana 2026

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:2610.13461 (cross-list from cs.AI) [pdf, html, other]

Title: SqueezeBench: Saturation-Resilient Evaluation of Mathematical Capability

Pablo Manrique, Hai Xia, Stefan Szeider

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

[3] arXiv:2610.12911 (cross-list from cs.PL) [pdf, html, other]

Title: Coexponential Exploration in the Clef Programming Language

Houston Haynes

Comments: 34 pages, 4 figures, 3 tables

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[4] arXiv:2610.12778 (cross-list from cs.SE) [pdf, other]

Title: Leakage-Resistant Evaluation of AI-Generated Database Specifications in Specification-Driven Migration

Oleg Grynets, Ivan Fedorchuk, Vasyl Lyashkevych

Comments: 11 pages, 5 figures, 5 tables, 41 references

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

[5] arXiv:2610.08198 (cross-list from math.GR) [pdf, html, other]

Title: Testing epimorphism onto the bicyclic monoid is $\mathsf{NP}$-complete

Luka Carroll, Murray Elder

Comments: 17 pages, 1 figure. Comment about OpenAI result added

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

Fri, 9 Oct 2026 (showing 10 of 10 entries )

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

Title: Universal Construction and Exact Self-Reproduction in Ternary McCulloch-Pitts Networks

Charles C. Norton

Comments: 42 pages, 4 figures, 7 tables. Rocq proofs, code and run records: this https URL

Subjects: Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE)

[7] arXiv:2610.11913 [pdf, html, other]

Title: Formally Certifying the Vertex Set of a Polyhedron Faster than Informal Enumeration

Xavier Allamigeon, Yazid Id-Sahra, Pierre-Yves Strub

Comments: 20 pages, 3 figures, 2 tables

Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO); Optimization and Control (math.OC)

[8] arXiv:2610.11711 [pdf, other]

Title: Antichains for Concurrent Parameterized Games

Nathalie Bertrand (Université de Rennes, Inria, CNRS, IRISA, Rennes, France), Patricia Bouyer (LMF, CNRS & ENS Paris-Saclay, Université Paris-Saclay, Gif-sur-Yvette, France), Gaëtan Staquet (Nantes Université, École Centrale Nantes, CNRS, LS2N, Nantes, France)

Comments: In Proceedings GandALF 2026, arXiv:2610.08898. A full version of this paper, containing all proofs, appears at arXiv:2505.13460

Journal-ref: EPTCS 454, 2026, pp. 31-48

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:2610.10789 [pdf, other]

Title: An explicit shuffle construction of the homotopy span model of differential linear logic

Paul-André Melliès, Federico Olimpieri, Lionel Vaux Auclair

Comments: To appear in the Proceedings of MPFS 2026

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:2610.12168 (cross-list from cs.AI) [pdf, html, other]

Title: Learning to Plan by Looking Back: Hindsight Hierarchies for Training Reasoning Models

Lars Simon, Holger Eble, Manuel Radons

Comments: 21 Pages, 4 Figures

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

[11] arXiv:2610.12008 (cross-list from cs.AI) [pdf, html, other]

Title: Complexity of Grounded Semantics and Preferred Semantics in Finitary Argumentation Frameworks

Jinfan Xu, Jieting Luo

Comments: 15 pages

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

[12] arXiv:2610.11991 (cross-list from cs.FL) [pdf, html, other]

Title: Quantitative Verification of Infinite-State Networks

Dhruv Nevatia, David Basin

Comments: 45 pages, 13 figures

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

[13] arXiv:2610.11223 (cross-list from cs.RO) [pdf, html, other]

Title: SafeInferCom: Safe Inference-Time Compute via Verifier-Guided Mid-Generation Intervention for Robotic Task Planning

Weizhe Xu, Jialiang Fan, Mengyu Liu, Fanxin Kong

Comments: Video: this https URL

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

[14] arXiv:2610.10800 (cross-list from math.CO) [pdf, html, other]

Title: Decomposition Profiles and Weisfeiler-Leman Dimension for Graphs of Bounded Rank Width

Antonios Kalampakas

Comments: 44 pages. Includes ancillary verification code

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

[15] arXiv:2610.10792 (cross-list from cs.PL) [pdf, html, other]

Title: Bayes Rule for Conditioning Probabilistic Programs

Feras A. Saad

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

Thu, 8 Oct 2026 (showing 14 of 14 entries )

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

Title: Modal Extensions of Generalised Nelson Logics

Igor Sedlár, Pietro Vigiani

Subjects: Logic in Computer Science (cs.LO)

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

Title: Two-Variable Logic with Arbitrarily Many Successor Relations

Jakub Michaliszyn, Piotr Witkowski

Subjects: Logic in Computer Science (cs.LO)

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

Title: A new method for proving confluence on abstract reduction systems --- Confluence of non-E-overlapping weakly-shallow TRSs ---

Masahiko Sakai, Mizuhito Ogawa, Michio Oyamaguchi

Comments: 68 pages, 17 figures

Subjects: Logic in Computer Science (cs.LO)

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

Title: Structural Analysis of Hybrid-Trace Nets: An Optimization Approach

Nguyen Cong Nhat Le, Claire N. Bonial, John G. Rogers, Neil T. Dantam

Comments: 8 pages. Submitted to The 2027 American Control Conference (ACC)

Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

[20] arXiv:2610.08898 [pdf, other]

Title: Proceedings Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification

Giorgio Bacci (Aalborg University, Denmark), Mickaël Randour (UMONS - Université de Mons, Belgium)

Journal-ref: EPTCS 454, 2026

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

[21] arXiv:2610.09825 (cross-list from cs.CR) [pdf, html, other]

Title: Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola

Nikolaos Kekatos, Marinelio Chintri, Panagiotis Katsaros, Alexios Lekidis, Tom Nianios, Ioannis Seitoglou, Anastasios Temperekidis, Stylianos Basagiannis

Comments: 19 pages, 2 figures, 7 tables. Published in Availability, Reliability and Security (ARES 2026), EU Projects Symposium Workshops, Springer LNCS

Journal-ref: Availability, Reliability and Security (ARES 2026), EU Projects Symposium Workshops, LNCS, Springer, 2027, pp. 222-240

Subjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[22] arXiv:2610.09817 (cross-list from cs.CR) [pdf, html, other]

Title: Hierarchical Security Monitoring for Edge-IoT: A Formal Methods Approach

Nikolaos Kekatos, Marinelio Chintri, Panagiotis Katsaros, Alexios Lekidis, Tom Nianios, Ioannis Seitoglou, Stylianos Basagiannis

Comments: 7 pages, 1 figure, 2 tables. Accepted at the 2026 IEEE International Conference on Cyber Security and Resilience (IEEE CSR 2026)

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

[23] arXiv:2610.09681 (cross-list from cs.AI) [pdf, html, other]

Title: Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification

Shuangjie Yao, Nikolaus Holzer, Mark Paul Santolucito, Baishakhi Ray, Suman Jana, Dongdong She

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

[24] arXiv:2610.09347 (cross-list from cs.NE) [pdf, html, other]

Title: Relocating Nonlinearity: How a Downstream Learner Reshapes What Genetic Programming Must Evolve

Nam H. Le

Subjects: Neural and Evolutionary Computing (cs.NE); Logic in Computer Science (cs.LO)

[25] arXiv:2610.09159 (cross-list from cs.AI) [pdf, html, other]

Title: SpecGuard: Proving a Task Is Broken Before the Agent Cheats

Param Biyani, Krishnamurthy Dvijotham

Comments: 29 pages. Code: this https URL

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

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

Title: Associativity of Multiplication Is Hard for Resolution

Vincent Liew

Comments: 33 pages, 10 figures. Lean 4 formalization of the main theorems at this https URL

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

[27] arXiv:2610.08965 (cross-list from math.NT) [pdf, html, other]

Title: More than 83.9% of the zeros of the Riemann zeta function are distinct and more than 67.35% are simple and on the critical line

Kristian Muri Knausgård

Comments: 43 pages, 3 figures, 13 tables. Lean 4 proofs, certificate data and source code are in the ancillary files and at this https URL

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

[28] arXiv:2610.08928 (cross-list from cs.CR) [pdf, html, other]

Title: Multi-Aspect Runtime Verification for Simulation-Based V&V of LLM-Enabled Autonomous Agents

Nikolaos Kekatos, Dimitrios Nikou, Anastasios Temperekidis, Alexios Lekidis, Nikolaos Kolokotronis, Panagiotis Katsaros, Stylianos Basagiannis

Comments: 28 pages, 2 figures, 2 tables. Accepted at Modelling and Simulation for Autonomous Systems (MESAS 2026), to appear in Springer LNCS

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

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

Title: New perspectives on semi-primal varieties

Alexander Kurz, Wolfgang Poiger, Bruno Teheux

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

Wed, 7 Oct 2026 (showing 9 of 9 entries )

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

Title: A First Introduction to Isabelle/ML Metaprogramming: Automatic Estimation of Polynomial Degrees

Jonas Bayer, Anna Danilkin, Marco David, Annie Yao

Subjects: Logic in Computer Science (cs.LO)

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

Title: Essence and accident modalities meet Belnapian truth values

Yaroslav Petrukhin

Journal-ref: Studia Logica, 2026

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

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

Title: On Three-Valued Dependence-Like Logics

Yaroslav Petrukhin

Journal-ref: Logic and Logical Philosophy, 2026

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

[33] arXiv:2610.07695 [pdf, html, other]

Title: From Zero-Dimensional to Continuous Dualities: A Double-Categorical Account

Alexander Kurz, M. Andrew Moshier, Achim Jung

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

[34] arXiv:2610.08214 (cross-list from cs.AI) [pdf, html, other]

Title: Mathematical Proof Assistants for Teaching Logic: The LogiKEy Methodology

Christoph Benzmüller, David Fuenmayor, Luca Pasetto

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

[35] arXiv:2610.07927 (cross-list from math.CO) [pdf, html, other]

Title: Topological and Geometric Perspectives on Homomorphism Indistinguishability

Josse van Dobben de Bruyn, Jérémie Marquès, David E. Roberson, Tim Seppelt, Gian Luca Spitzer, Peter Zeman

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

[36] arXiv:2610.07313 (cross-list from cs.AI) [pdf, html, other]

Title: Rule-Based Languages for Neurosymbolic AI

Stefania Dumbrava, Efthymia Tsamoura

Comments: To appear in the Proceedings of Rules and Reasoning - 10th International Joint Conference, RuleML+RR 2026, Vilnius, Lithuania

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

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

Title: Minimal Witness Reinforcement Learning

T. Y. Tsui, Zihao Ye, Pengxiang Cai, Yanchao Li, Yuqiang Li, Zhehong Ai

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

[38] arXiv:2507.09324 (cross-list from math.RA) [pdf, other]

Title: Network Satisfaction over Four-Atom Relation Algebras: Complexity and Representations

Manuel Bodirsky, Moritz Jahn, Simon Knäuer, Matěj Konečný, Paul Winkler

Comments: Revised and expanded version. An extended abstract appeared at ICALP 2026, Article 168

Subjects: Rings and Algebras (math.RA); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

Tue, 6 Oct 2026 (showing first 12 of 17 entries )

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

Title: Maslov's class K with Equivalence

Oskar Fiuk

Comments: Extended version of an LPAR2026 paper

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:2610.06368 [pdf, html, other]

Title: Decreasing Diagrams are Complete for Confluence

Jörg Endrullis, Ievgen Ivanov, Femke van Raamsdonk

Subjects: Logic in Computer Science (cs.LO)

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

Title: Scenario-Based Compositional Statistical Model Checking for Safety Specifications

Abhinav Pomalapally, Arya Raeesi, Kevin Kai-Chun Chang, Beyazit Yalcinkaya, Sanjit A. Seshia

Comments: 24 pages, 8 figures, 5 tables. Extended version of paper accepted to The 26th International Conference on Runtime Verification (RV 2026)

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Robotics (cs.RO); Software Engineering (cs.SE); Systems and Control (eess.SY)

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

Title: AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness

Prithwish Jana, Viet Bach Hoang, Logan Luna, Viresh Pati, Akash Singirikonda, Cy Xie, Lisa Carbone, Wuyang Chen, Walter Moreira, Joe Stubbs, Sriram Vishwanath, Vijay Ganesh

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

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

Title: A Logic for Minor-Free Graph Classes: Model Checking, Dependence, and Combinatorial Reconfiguration

Nikolas Mählmann, Patrice {Ossona de Mendez}, Nicole Schirrmacher, Sebastian Siebertz, Giannos Stamoulis, {Dimitrios M.} Thilikos, Alexandre Vigny

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

[44] arXiv:2610.05187 [pdf, html, other]

Title: The Gentzen-style monadic translation of Gödel's System T revisited

Chuangjie Xu

Comments: Extended version of "A Gentzen-Style Monadic Translation of Gödel's System T" (FSCD 2020), DOI: https://doi.org/10.4230/LIPIcs.FSCD.2020.25

Subjects: Logic in Computer Science (cs.LO)

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

Title: Library-Grade Modal Logic

Marianna Girlando, Fabrizio Montesi

Subjects: Logic in Computer Science (cs.LO)

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

Title: Symbolic Search Is Not Exhausted: Persistent Proof-Space Exploration in Lean4

Ruoran Xu

Comments: NeurIPS@Math-AI

Subjects: Logic in Computer Science (cs.LO)

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

Title: Two generalizations of shininess

Guilherme V. Toledo, Yoni Zohar

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:2610.03994 [pdf, html, other]

Title: Solving VeriContest with a Lean-Backed Rust Verifier

Traian Serbanuta, Jun Xu, Andrei Stefanescu, Cosmin Radoi

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

[49] arXiv:2610.03796 [pdf, html, other]

Title: ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents

Junyi Liu, Tianchi Ren, Fei Guan, Xu Jiang, Zhe Jiang, Wang Yi, Nan Guan

Comments: Accepted at RTSS 2026

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

[50] arXiv:2610.06743 (cross-list from cs.FL) [pdf, html, other]

Title: Recognizers for Graph-Encoding Languages

Anssi Yli-Jyrä

Comments: In Proceedings AFL 2026, arXiv:2608.23071

Journal-ref: EPTCS 451, 2026, pp. 304-318

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