Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic in Computer Science

Authors and titles for recent submissions

See today's new changes

Total of 34 entries
Showing up to 50 entries per page: fewer | more | all

Tue, 10 Feb 2026 (showing 9 of 9 entries )

[1] arXiv:2602.08846 [pdf, html, other]
Title: Impredicativity in Linear Dependent Type Theory
Sam Speight, Niels van der Weide
Comments: 20 pages, 2 figures
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Logic (math.LO)
[2] arXiv:2602.08801 [pdf, html, other]
Title: Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
Thanh Le, Hai Duong, ThanhVu Nguyen, Takeshi Matsumura
Comments: 18 pages
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[3] arXiv:2602.08692 [pdf, html, other]
Title: PBLean: Pseudo-Boolean Proof Certificates for Lean 4
Stefan Szeider
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[4] arXiv:2602.08532 [pdf, html, other]
Title: Craig Interpolation in Program Verification
Philipp Rümmer
Comments: The article will appear in Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, editors. Theory and Applications of Craig Interpolation. Ubiquity Press, 2026
Subjects: Logic in Computer Science (cs.LO)
[5] arXiv:2602.08423 [pdf, html, other]
Title: SAT Encodings for Bandwidth Coloring: A Systematic Design Study
Duc Trung Kim Nguyen, Tuyen Van Kieu, Khanh Van To
Subjects: Logic in Computer Science (cs.LO)
[6] arXiv:2602.07907 [pdf, html, other]
Title: Definability and Interpolation in Philosophy
Johan van Benthem
Comments: Final version to appear in Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter, editors. Theory and Applications of Craig Interpolation
Subjects: Logic in Computer Science (cs.LO)
[7] arXiv:2602.08362 (cross-list from cs.AI) [pdf, other]
Title: Circuit Representations of Random Forests with Applications to XAI
Chunxi Ji, Adnan Darwiche
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[8] arXiv:2602.08297 (cross-list from cs.SC) [pdf, html, other]
Title: Automatic Generation of Polynomial Symmetry Breaking Constraints
Madalina Erascu, Johannes Middeke
Subjects: Symbolic Computation (cs.SC); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[9] arXiv:2509.10382 (cross-list from math.LO) [pdf, html, other]
Title: Carryless Pairing: Additive Pairing in the Fibonacci Basis
Milan Rosko
Comments: Theoretical paper in mathematical logic and bounded arithmetic, 10 pages, 4 figures. Establishes an additive arithmetic pairing function. The core claims are mechanized in Rocq
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

Mon, 9 Feb 2026 (showing 9 of 9 entries )

[10] arXiv:2602.06945 [pdf, other]
Title: Distributed Knowledge in Simplicial Models
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)
[11] arXiv:2602.06927 [pdf, html, other]
Title: Topological Semantics for Common Inductive Knowledge
Siddharth Namachivayam
Comments: 30 pages
Subjects: Logic in Computer Science (cs.LO); Theoretical Economics (econ.TH); Logic (math.LO)
[12] arXiv:2602.06576 [pdf, other]
Title: Linear Realisability and Implicative Algebras
Alexandre Lucquin (LIPN), Luc Pellissier (LACL), Thomas Seiller (CNRS, LIPN, LIPN)
Subjects: Logic in Computer Science (cs.LO)
[13] arXiv:2602.06253 [pdf, html, other]
Title: The proof theory and semantics of second-order (intuitionistic) tense logic
Justus Becker, Anupam Das, Sonia Marin, Paaras Padhiar
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[14] arXiv:2602.06934 (cross-list from cs.PL) [pdf, html, other]
Title: Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
Ehud Shapiro
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[15] arXiv:2602.06737 (cross-list from cs.LG) [pdf, other]
Title: Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)
Noah Schwartz, Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[16] arXiv:2602.06644 (cross-list from quant-ph) [pdf, other]
Title: A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
Alexandre Clément
Comments: Main body: 13 pages, appendix: 264 pages
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO)
[17] arXiv:2602.06386 (cross-list from cs.PL) [pdf, html, other]
Title: Uniqueness is Separation
Liam O'Connor, Pilar Selene Linares Arevalo, Christine Rizkallah
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[18] arXiv:2602.06227 (cross-list from cs.AI) [pdf, html, other]
Title: Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
Pierriccardo Olivieri, Fausto Lasca, Alessandro Gianola, Matteo Papini
Comments: This is the extended version of a paper accepted at AAAI 2026
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Fri, 6 Feb 2026 (showing 4 of 4 entries )

[19] arXiv:2602.05654 [pdf, html, other]
Title: Groups and Inverse Semigroups in Lambda Calculus
Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra
Subjects: Logic in Computer Science (cs.LO)
[20] arXiv:2602.05315 [pdf, html, other]
Title: On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems
Chengfeng Xue, Yuxi Fu
Comments: 21 pages, 5 figures, submitted to LICS 2026
Subjects: Logic in Computer Science (cs.LO)
[21] arXiv:2602.05762 (cross-list from cs.AI) [pdf, html, other]
Title: RocqSmith: Can Automatic Optimization Forge Better Proof Agents?
Andrei Kozyrev, Nikita Khramov, Denis Lochmelis, Valerio Morelli, Gleb Solovev, Anton Podkopaev
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[22] arXiv:2602.05528 (cross-list from cs.PL) [pdf, html, other]
Title: Strong Normalisation for Asynchronous Effects
Danel Ahman, Ilja Sobolev
Comments: FSCD 2026 submission
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Thu, 5 Feb 2026 (showing 4 of 4 entries )

[23] arXiv:2602.04846 [pdf, html, other]
Title: CSLib: The Lean Computer Science Library
Clark Barrett, Swarat Chaudhuri, Fabrizio Montesi, Jim Grundy, Pushmeet Kohli, Leonardo de Moura, Alexandre Rademaker, Sorrachai Yingchareonthawornchai
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[24] arXiv:2602.04641 [pdf, html, other]
Title: Abstract Framework for All-Path Reachability Analysis toward Safety and Liveness Verification (Full Version)
Misaki Kojima, Naoki Nishida
Comments: 21 pages, full version of a submission to FSCD 2026
Subjects: Logic in Computer Science (cs.LO)
[25] arXiv:2602.04488 [pdf, html, other]
Title: Intentic Semantics for Potentialist Truthmaking
Paul Gorbow
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[26] arXiv:2602.04045 [pdf, other]
Title: Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference
Rémi Di Guardia, Thomas Ehrhard, Jérôme Evrard, Claudia Faggian
Subjects: Logic in Computer Science (cs.LO)

Wed, 4 Feb 2026 (showing 8 of 8 entries )

[27] arXiv:2602.03701 [pdf, html, other]
Title: A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
Mohammad Abdulaziz, Thomas Ammer
Comments: Related Conference Paper: this https URL
Subjects: Logic in Computer Science (cs.LO)
[28] arXiv:2602.03565 [pdf, other]
Title: Symbolic Model Checking using Intervals of Vectors
Damien Morard, Lucas Donati, Didier Buchs
Comments: Under submission
Subjects: Logic in Computer Science (cs.LO)
[29] arXiv:2602.03275 [pdf, html, other]
Title: On Complete Categorical Semantics for Effect Handlers
Satoshi Kura
Subjects: Logic in Computer Science (cs.LO)
[30] arXiv:2602.03072 [pdf, other]
Title: Towards Weak Stratification for Logics of Definitions
Nathan Guermond
Comments: Appendix for arXiv:2510.12297
Subjects: Logic in Computer Science (cs.LO)
[31] arXiv:2602.02822 [pdf, other]
Title: A Classical Linear $λ$-Calculus based on Contraposition
Pablo Barenbaum, Eduardo Bonelli, Leopoldo Lerena
Subjects: Logic in Computer Science (cs.LO)
[32] arXiv:2602.02561 [pdf, other]
Title: MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
Xinyu Liu, Zixuan Xie, Amir Moeini, Claire Chen, Shuze Daniel Liu, Yu Meng, Aidong Zhang, Shangtong Zhang
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[33] arXiv:2602.03550 (cross-list from cs.SE) [pdf, html, other]
Title: Formal Evidence Generation for Assurance Cases for Robotic Software Models
Fang Yan, Simon Foster, Ana Cavalcanti, Ibrahim Habli, James Baxter
Comments: This is a preprint. The paper is currently under review at Software and Systems Modeling
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Robotics (cs.RO)
[34] arXiv:2602.02940 (cross-list from math.LO) [pdf, html, other]
Title: A vector logic for intensional formal semantics
Daniel Quigley
Comments: 25 pages; 68 sources
Subjects: Logic (math.LO); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
Total of 34 entries
Showing up to 50 entries per page: fewer | more | all