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

Logic in Computer Science

Authors and titles for recent submissions

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

Mon, 23 Mar 2026

[1]  arXiv:2603.19851 [pdf, ps, other]
Title: Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
Authors: Chirantan Hebballi, Akash Poptani, Amrutha Benny, Rajshekar Kalayappan, Sandeep Chandran, Ramchandra Phawade
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[2]  arXiv:2603.19806 [pdf, ps, other]
Title: How Concise are Chains of co-Büchi Automata?
Authors: Rüdiger Ehlers
Comments: This paper is the extended version of a paper with the same title published at the GandALF 2025 conference, available at arXiv:2509.14087
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[3]  arXiv:2603.19687 [pdf, ps, other]
Title: Diminishing Returns in Expanding Generative Models and Godel-Tarski-Lob Limits
Authors: Angshul Majumdar
Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)
[4]  arXiv:2603.20038 (cross-list from quant-ph) [pdf, ps, other]
Title: Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
Authors: Samuel González-Castillo, Joon Hyung Lee, Alfons Laarman
Comments: 17 pages plus references, 3 figures, 2 tables,
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[5]  arXiv:2603.19429 (cross-list from cs.AI) [pdf, ps, other]
Title: When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
Authors: João Filipe, Gregor Behnke
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

Fri, 20 Mar 2026

[6]  arXiv:2603.18368 [pdf, ps, other]
Title: Decidability of Quantum Modal Logic
Authors: Kenji Tokuo
Journal-ref: Logic Journal of the IGPL, Volume 33, Issue 3, June 2025, jzaf010
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[7]  arXiv:2603.18321 (cross-list from math.CT) [pdf, ps, other]
Title: A Simple Categorical Calculus of Interacting Processes
Authors: Chad Nester, Niels Voorneveld
Comments: In peer review
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)

Thu, 19 Mar 2026

[8]  arXiv:2603.17457 [pdf, other]
Title: Synthetic Differential Geometry in Lean
Authors: Riccardo Brasca (IMJ-PRG, UPCité), Gabriella Clemente (IRIF, UPCité)
Subjects: Logic in Computer Science (cs.LO); Differential Geometry (math.DG)
[9]  arXiv:2603.17909 (cross-list from cs.SE) [pdf, ps, other]
Title: In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
Authors: Vladyslav Mikytiv, Bernardo Toninho, Carla Ferreira
Comments: Accepted at the 19th IEEE International Conference on Software Testing, Verification and Validation (ICST 2026)
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[10]  arXiv:2603.17244 (cross-list from cs.AI) [pdf, ps, other]
Title: Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
Authors: Young Bin Park
Comments: 56 pages, 1 figure
Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Logic in Computer Science (cs.LO)
[11]  arXiv:2603.16983 (cross-list from cs.LG) [pdf, ps, other]
Title: Formal verification of tree-based machine learning models for lateral spreading
Authors: Krishna Kumar
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Wed, 18 Mar 2026

[12]  arXiv:2603.16375 [pdf, ps, other]
Title: Monoidal categories graded by partial commutative monoids
Authors: Matthew Earnshaw, Chad Nester, Mario Román
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[13]  arXiv:2603.16308 [pdf, ps, other]
Title: Three-Dimensional Affine Spatial Logics
Authors: Adam Trybus
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2603.15876 [pdf, ps, other]
Title: A Non-Binary Method for Finding Interpolants: Theory and Practice
Authors: Adam Trybus, Karolina Rożko, Tomasz Skura
Subjects: Logic in Computer Science (cs.LO)
[15]  arXiv:2603.15675 [pdf, ps, other]
Title: Constructing Weakly Terminating Interface Protocols
Authors: Debjyoti Bera, Tim A.C. Willemse
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
[16]  arXiv:2603.15770 (cross-list from hep-th) [pdf, ps, other]
Title: Formalization of QFT
Authors: Michael R. Douglas, Sarah Hoback, Anna Mei, Ron Nissim
Comments: 35 pages, 1 figure
Subjects: High Energy Physics - Theory (hep-th); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph)

Tue, 17 Mar 2026 (showing first 9 of 14 entries)

[17]  arXiv:2603.15379 [pdf, ps, other]
Title: Revisiting the expressiveness of metric temporal logic : A tale of "Je t'aime, moi non plus."
Authors: Mohammed Aristide Foughali
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2603.15099 [pdf, ps, other]
Title: Completeness of Relational Algebra via Cylindric Algebra
Authors: Jan Laštovička
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Logic (math.LO)
[19]  arXiv:2603.14955 [pdf, ps, other]
Title: Convex algebras on an interval with semicontinuous monotone operations
Authors: Ana Sokolova, Harald Woracek
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[20]  arXiv:2603.14933 [pdf, ps, other]
Title: From Herbrand schemes to functional interpretation
Authors: Sebastian Enqvist-Pyk
Subjects: Logic in Computer Science (cs.LO)
[21]  arXiv:2603.14692 [pdf, ps, other]
Title: Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
Authors: Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière, Torsten Schaub, Igor Stéphan
Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[22]  arXiv:2603.13854 [pdf, ps, other]
Title: Power Term Polynomial Algebra for Boolean Logic
Authors: Emanuele Sansone, Armando Solar-Lezama
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)
[23]  arXiv:2603.15559 (cross-list from cs.SE) [pdf, ps, other]
Title: Probabilistic Model Checking Taken by Storm
Authors: Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[24]  arXiv:2603.14663 (cross-list from math.MG) [pdf, ps, other]
Title: Formalizing the Classical Isoperimetric Inequality in the Two-Dimensional Case
Authors: Miraj Samarakkody
Subjects: Metric Geometry (math.MG); Logic in Computer Science (cs.LO)
[25]  arXiv:2603.14628 (cross-list from cs.PL) [pdf, ps, other]
Title: s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
Authors: Balaji Rao, John Harrison, Soonho Kong, Juneyoung Lee, Carlo Lipizzi
Comments: Under review as a Workshop paper at AIPV 2026
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[ total of 30 entries: 1-25 | 26-30 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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