iiinova — where your digital self keeps evolving

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 6h

[2026-10-02 Fri (UTC), no new articles found for csLO Logic in Computer Science]

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 01/10/2026

Nandakumar Edamana, Piyush P Kurur, Unnikrishnan Cheramangalath: Improved Tristate Multiplication With Formalization in Rocq arxiv.org/abs/2609.39009 arxiv.org/pdf/2609.39009 arxiv.org/html/2609.39009

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 01/10/2026

Volkan Da\u{g}l{\i}, Zerrin Da\u{g}l{\i}, Da\u{g}han Da\u{g}l{\i}: Machine-Checked Computational Group Theory in Lean 4: Operational Schreier-Sims Stabilizer Chains, BSGS Sifting, and Backtra... arxiv.org/abs/2609.38492 arxiv.org/pdf/2609.38492 arxiv.org/html/2609.38492

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 01/10/2026

Adrian de Wynter: What Was Said, Not What Was 'Thought': Type-6 Logic for CoT Verification arxiv.org/abs/2609.38420 arxiv.org/pdf/2609.38420 arxiv.org/html/2609.38420

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 01/10/2026

Arman Ferdowsi, Laura Kovacs: A proof-carrying architecture for synthetic genetic logic circuits under stochastic temporal contracts arxiv.org/abs/2609.38218 arxiv.org/pdf/2609.38218 arxiv.org/html/2609.38218

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 01/10/2026

[2026-10-01 Thu (UTC), 6 new articles found for csLO Logic in Computer Science]

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

Moussa Labbadi, Rupak Majumdar, V. R. Sathiyanarayana, Sadegh Soudjani: Formal Reasoning about Performance Models arxiv.org/abs/2609.37728 arxiv.org/pdf/2609.37728 arxiv.org/html/2609.37728

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

Corentin Reuther (University of Namur, Belgium), Jean-Marie Jacquet (University of Namur, Belgium): Modelling Shared-Space Coordination in mCRL2: a Bach-to-mCRL2 Translation Framework arxiv.org/abs/2609.37726 arxiv.org/pdf/2609.37726 arxiv.org/html/2609.37726

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

Clara Lerouvillois, Francesca Poggiolesi: Dynamic Proof Theory for Dynamic Epistemic Logic arxiv.org/abs/2609.37440 arxiv.org/pdf/2609.37440 arxiv.org/html/2609.37440

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

Steffen van Bergerem, Martin Grohe, Charlotte Lenz, Nicole Schweikardt: A Rank-Preserving Gaifman Normal Form for First-Order Logic on Weighted Structures arxiv.org/abs/2609.37337 arxiv.org/pdf/2609.37337 arxiv.org/html/2609.37337

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

Christoph Benzm\"uller: Proofs Without Nominals: G\"odel's Ontological Argument, its Shallow Embedding, and the Open Questions of the Monatshefte Notes arxiv.org/abs/2609.36279 arxiv.org/pdf/2609.36279 arxiv.org/html/2609.36279

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 30/09/2026

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

001

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Hern\'an Melgratti, Claudio Antares Mezzina, G. Michele Pinna: On Asynchrony and Reversibility in CCS arxiv.org/abs/2609.34925 arxiv.org/pdf/2609.34925 arxiv.org/html/2609.34925

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Franco Barbanera (DMI - University of Catania, Italy): Safe Composition of CFSM Systems via Partial Gateways arxiv.org/abs/2609.34922 arxiv.org/pdf/2609.34922 arxiv.org/html/2609.34922

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Hora\c{t}iu Cheval (University of Bucharest): Complete Heyting Algebra Semantics for an Intuitionistic Version of Matching Logic (Extended Abstract) arxiv.org/abs/2609.34894 arxiv.org/pdf/2609.34894 arxiv.org/html/2609.34894

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

\'Ad\'am Kurucz, P\'eter Bereczky, D\'aniel Horp\'acsi: Dependently Typed Model Composition for Matching Logic arxiv.org/abs/2609.34892 arxiv.org/pdf/2609.34892 arxiv.org/html/2609.34892

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Isabela Dr\v{a}mnesc, Tudor Jebelean, Sorin Stratulat: Certification of Bilateral Patience Sort in Theorema and Rocq arxiv.org/abs/2609.34889 arxiv.org/pdf/2609.34889 arxiv.org/html/2609.34889

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

\c{S}tefan Ciob\^ac\b{a}, Diana-Elena Gratie, Drago\c{s}-Irinel Rotariu: The Formalization of two Computational Models in Dafny arxiv.org/abs/2609.34883 arxiv.org/pdf/2609.34883 arxiv.org/html/2609.34883

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Ariadna Br\u{a}nici-Faraon, \c{S}tefan Ciob\^ac\u{a}, Diana-Elena Gratie: Formalizing the Omega Test in Dafny arxiv.org/abs/2609.34882 arxiv.org/pdf/2609.34882 arxiv.org/html/2609.34882

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Ioana Sila\c{s}, Adrian Cr\u{a}ciun: Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking arxiv.org/abs/2609.34881 arxiv.org/pdf/2609.34881 arxiv.org/html/2609.34881

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

G\'abor Kusper (Eszterh\'azy K\'aroly Chatolic University): Subsumption-Free Private-Pivot Learning in Resolvable Network-Based SAT Solving arxiv.org/abs/2609.34880 arxiv.org/pdf/2609.34880 arxiv.org/html/2609.34880

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Zuzana Hanikov\'a, \v{S}t\v{e}p\'an Holub: Formalization of Fragments of the Theory of Hereditarily Finite Sets arxiv.org/abs/2609.34877 arxiv.org/pdf/2609.34877 arxiv.org/html/2609.34877

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Ruggero Lanotte: Protected Cores Are Not Enough: Certifying AI-Proposed Revisions of Temporal Specifications arxiv.org/abs/2609.33461 arxiv.org/pdf/2609.33461 arxiv.org/html/2609.33461

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Sarah Winkler, Toryn Klassen, Sheila McIlraith, Marco Montali: Progression- vs Automata-based Anticipatory Monitoring of LTL over Finite Traces (Extended Version) arxiv.org/abs/2609.32912 arxiv.org/pdf/2609.32912 arxiv.org/html/2609.32912

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

Youngjun Lee, Anshu Dubey, Jan H\"uckelheim: Developing a Numerical Algorithm with CIVL Model Checking in the Loop arxiv.org/abs/2609.31964 arxiv.org/pdf/2609.31964 arxiv.org/html/2609.31964

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 29/09/2026

[2026-09-29 Tue (UTC), 18 new articles found for csLO Logic in Computer Science]

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 28/09/2026

[2026-09-28 Mon (UTC), no new articles found for csLO Logic in Computer Science]

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 25/09/2026

Simon Foster, Carlos Isasa, Christian Pardillo Laursen: Scenes: A Meta-Logical Algebra for Mutable State arxiv.org/abs/2609.29380 arxiv.org/pdf/2609.29380 arxiv.org/html/2609.29380

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 25/09/2026

[2026-09-25 Fri (UTC), 2 new articles found for csLO Logic in Computer Science]

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 24/09/2026

J\'erome Clech (Sciences Po): Substantive Agency and Computational Non-Anticipability: An Axiomatic Route to a Conditional Separation of P and N P arxiv.org/abs/2609.28040 arxiv.org/pdf/2609.28040 arxiv.org/html/2609.28040

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 24/09/2026

Henning Fernau, Kevin Mann, Arne Meier, Heribert Vollmer: Parameterized Enumeration of Minimal Defensive Alliances arxiv.org/abs/2609.27984 arxiv.org/pdf/2609.27984 arxiv.org/html/2609.27984

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 24/09/2026

Mikol\'a\v{s} Janota, Ant\'onio Morgado: SAT-based Encodings for Optimal Decision Trees with Explicit Paths arxiv.org/abs/2609.27874 arxiv.org/pdf/2609.27874 arxiv.org/html/2609.27874

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 24/09/2026

Bernardo Subercaseaux, Benjamin Przybocki, Marijn J. H. Heule: Coloring Queens with Thousands of Encodings arxiv.org/abs/2609.27674 arxiv.org/pdf/2609.27674 arxiv.org/html/2609.27674

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 24/09/2026

Nisansala P. Yatapanage: The Complexity of Interference: When Rely/Guarantee Does Not Work arxiv.org/abs/2609.27392 arxiv.org/pdf/2609.27392 arxiv.org/html/2609.27392

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 24/09/2026

Yu-Wei Fan, SooHyuk Cho, Aarti Gupta, Sharad Malik: Agentic-IC3: Enabling Semantic Proof Search in IC3 Model Checking arxiv.org/abs/2609.27162 arxiv.org/pdf/2609.27162 arxiv.org/html/2609.27162

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 24/09/2026

Christoph Benzm\"uller: G\"odel's and Scott's Variants of the Ontological Argument in Lean 4 arxiv.org/abs/2609.26806 arxiv.org/pdf/2609.26806 arxiv.org/html/2609.26806

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 24/09/2026

[2026-09-24 Thu (UTC), 7 new articles found for csLO Logic in Computer Science]

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 23/09/2026

Yuya Uezato: An Exponential Succinctness Gap between Three-Variable Logic and the Calculus of Relations arxiv.org/abs/2609.26778 arxiv.org/pdf/2609.26778 arxiv.org/html/2609.26778

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 23/09/2026

Can Cebeci, Nikolaj Bj{\o}rner, George Candea, Cl\'ement Pit-Claudel: A Deeper Look at Depth: Stable Generation Accounting for Quantifier Reasoning arxiv.org/abs/2609.26345 arxiv.org/pdf/2609.26345 arxiv.org/html/2609.26345

000

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 23/09/2026

Robbe Van den Eede: An Infinitary and a Cyclic Sequent Calculus for Non-Monotone Inductive Definitions arxiv.org/abs/2609.26337 arxiv.org/pdf/2609.26337 arxiv.org/html/2609.26337

000