Mohammad Abdulaziz, Thomas Ammer: Formal Primal-Dual Algorithm Analysis https://arxiv.org/abs/2604.20807 https://arxiv.org/pdf/2604.20807 https://arxiv.org/html/2604.20807

Naoki Nishida: Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems (Full Version) https://arxiv.org/abs/2604.20754 https://arxiv.org/pdf/2604.20754 https://arxiv.org/html/2604.20754

Sylvie Boldo, Fran\c{c}ois Cl\'ement, Vincent Martin, Micaela Mayero, Houda Mouhcine: A Rocq Formalization of Simplicial Lagrange Finite Elements https://arxiv.org/abs/2604.20345 https://arxiv.org/pdf/2604.20345 https://arxiv.org/html/2604.20345

Arend Rensink: Visualising CTL Witnesses and Counterexamples -- Extended Version https://arxiv.org/abs/2604.20253 https://arxiv.org/pdf/2604.20253 https://arxiv.org/html/2604.20253

Li, Bright, Trandafir, Cabello, Ganesh: SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set https://arxiv.org/abs/2604.19947 https://arxiv.org/pdf/2604.19947 https://arxiv.org/html/2604.19947

[2026-04-23 Thu (UTC), 5 new articles found for csLO Logic in Computer Science]

Mateo Sanabria, Carlos Varela, Camilo Rocha, Nicolas Cardozo: Equational and Inductive Reasoning for Maude in Athena https://arxiv.org/abs/2604.19475 https://arxiv.org/pdf/2604.19475 https://arxiv.org/html/2604.19475

Alessandro G. Buda, Giuseppe Primiero, Leonardo Ceragioli, Melissa Antonelli: Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI https://arxiv.org/abs/2604.19431 https://arxiv.org/pdf/2604.19431 https://arxiv.org/html/2604.19431

Robbe Van den Eede, Marc Denecker: A Sequent Calculus for General Inductive Definitions https://arxiv.org/abs/2604.19382 https://arxiv.org/pdf/2604.19382 https://arxiv.org/html/2604.19382

Andrei Bulatov, Xiaoyang Gong, Bakh Khoussainov, Xinyao Wang: Automatic constraint satisfaction problem https://arxiv.org/abs/2604.19266 https://arxiv.org/pdf/2604.19266 https://arxiv.org/html/2604.19266

Florentina Voboril, Martin Gebser, Stefan Szeider, Alice Tarzariol: Streamliners for Answer Set Programming https://arxiv.org/abs/2604.19251 https://arxiv.org/pdf/2604.19251 https://arxiv.org/html/2604.19251

Marcelo E. Coniglio, Rafael Ongaratto: A taxonomy for controlling (in)consistency https://arxiv.org/abs/2604.18766 https://arxiv.org/pdf/2604.18766 https://arxiv.org/html/2604.18766

[2026-04-22 Wed (UTC), 6 new articles found for csLO Logic in Computer Science]

Giuseppe De Giacomo, Christian Hagemeier, Daniel Hausmann, Nir Piterman: Symbolic Synthesis for LTLf+ Obligations https://arxiv.org/abs/2604.18532 https://arxiv.org/pdf/2604.18532 https://arxiv.org/html/2604.18532

Tim S. Lyon, Eugenio Orlandelli: Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules https://arxiv.org/abs/2604.18403 https://arxiv.org/pdf/2604.18403 https://arxiv.org/html/2604.18403

Paul Brunet (UPEC UP12, LACL): A 2-adjunction between representations and preorder morphisms https://arxiv.org/abs/2604.17942 https://arxiv.org/pdf/2604.17942 https://arxiv.org/html/2604.17942

Sichen Ding, Zhiwu Li: Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification https://arxiv.org/abs/2604.17784 https://arxiv.org/pdf/2604.17784 https://arxiv.org/html/2604.17784

Benjamin Caldwell, William Spencer, Robert Rand: TensorRocq: Enabling diagrammatic reasoning in Rocq https://arxiv.org/abs/2604.17592 https://arxiv.org/pdf/2604.17592 https://arxiv.org/html/2604.17592

Simon Foldvik: Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces https://arxiv.org/abs/2604.17557 https://arxiv.org/pdf/2604.17557 https://arxiv.org/html/2604.17557

Marcelo Fernandez (TraslaIA): Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems https://arxiv.org/abs/2604.17511 https://arxiv.org/pdf/2604.17511 https://arxiv.org/html/2604.17511

Xiakun Li, Hao Wu, Bican Xia, Tengshun Yang, Naijun Zhan: Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic https://arxiv.org/abs/2604.17275 https://arxiv.org/pdf/2604.17275 https://arxiv.org/html/2604.17275

Alexandre Linhares: Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4 https://arxiv.org/abs/2604.16507 https://arxiv.org/pdf/2604.16507 https://arxiv.org/html/2604.16507

Yuxin Zhao, Han Huang, Fangji Fu, Zhifeng Hao: Generalizing Unit Commitment Problem Solving via SAT-based Decoupling https://arxiv.org/abs/2604.16489 https://arxiv.org/pdf/2604.16489 https://arxiv.org/html/2604.16489

Olivier Gasquet: Parameterized complexity of n-dense modal logics https://arxiv.org/abs/2604.16488 https://arxiv.org/pdf/2604.16488 https://arxiv.org/html/2604.16488

Jonathan Brossard: A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem https://arxiv.org/abs/2604.16477 https://arxiv.org/pdf/2604.16477 https://arxiv.org/html/2604.16477

Jianfeng Xu: Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication https://arxiv.org/abs/2604.16471 https://arxiv.org/pdf/2604.16471 https://arxiv.org/html/2604.16471

[2026-04-21 Tue (UTC), 13 new articles found for csLO Logic in Computer Science]

Simone Heisinger, Luca Pulina, Martina Seidl: The QBF Gallery 2023 https://arxiv.org/abs/2604.16153 https://arxiv.org/pdf/2604.16153 https://arxiv.org/html/2604.16153

Pablo F. Castro: Solving Fuzzy Satisfiability via Mixed-Integer Non-Linear Programming https://arxiv.org/abs/2604.15992 https://arxiv.org/pdf/2604.15992 https://arxiv.org/html/2604.15992

Kappelmann, Sch\"affeler, Stevens, Abdulaziz, Popescu, Traytel: Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints https://arxiv.org/abs/2604.15713 https://arxiv.org/pdf/2604.15713 https://arxiv.org/html/2604.15713