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

Logic in Computer Science

Authors and titles for recent submissions

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

Thu, 14 May 2026

[1]  arXiv:2605.13845 [pdf, ps, other]
Title: Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
Authors: Thomas Flinkow, Ekaterina Komendantskaya, Matteo Capucci, Rosemary Monahan
Comments: 23 pages, 2 figures, 13 tables
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2605.13765 [pdf, ps, other]
Title: First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
Authors: Janine Lohse, Tim Rohde, Jimmy Xin, Niklas Mück, Iona Kuhn, Derek Dreyer, Deepak Garg, Emanuele D'Osualdo
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[3]  arXiv:2605.13668 [pdf, ps, other]
Title: Multi-Property Temporal Logic Monitoring
Authors: Arınç Demir, Dogan Ulus
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:2605.13553 [pdf, ps, other]
Title: Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime
Authors: Michał Henne, Barbara Morawska, Paweł Parys
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2605.13533 [pdf, ps, other]
Title: Monads and Distributive Laws in Substructural Contexts (Extended Version)
Authors: Soichiro Fujii, Yun Chen Tsai, Yoàv Montacute, Ichiro Hasuo
Comments: 38 pages, LICS 2026
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[6]  arXiv:2605.13526 [pdf, ps, other]
Title: Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
Authors: Markus de Medeiros, Puming Liu, Kwing Hei Li, Alejandro Aguirre, Lars Birkedal, Joseph Tassarotti
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2605.13367 [pdf, ps, other]
Title: A Horn extension of DL-Lite with NL data complexity
Authors: Janos Arpasi, Bartosz Jan Bednarczyk, Magdalena Ortiz
Comments: Submitted to Description Logic Workshop 2025. Full version in preparation
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB)
[8]  arXiv:2605.13348 [pdf, ps, other]
Title: Quantitative Linear Logic
Authors: Matteo Capucci, Robert Atkey, Charles Grellois, Ekaterina Komendantskaya
Comments: Preliminary version (25 pages + 17 pages appendix), comments welcome
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[9]  arXiv:2605.12581 [pdf, ps, other]
Title: Ensuring Logic in the Fog: Sound POMDP Synthesis with LTL Objectives
Authors: Can Zhou, Yulong Gao, Pian Yu
Comments: Accepted by IJCAI-ECAI 2026, the 35th International Joint Conference on Artificial Intelligence
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:2605.12548 [pdf, ps, other]
Title: Cubical Type Theoretic Navya-Nyāya
Authors: Mrityunjoy Panday, Sudipta Ghosh
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2605.12539 [pdf, ps, other]
Title: ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
Authors: Ohad Asor
Subjects: Logic in Computer Science (cs.LO)
[12]  arXiv:2605.12537 [pdf, ps, other]
Title: Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses
Authors: Faruk Alpay, Baris Basaran
Comments: 27 pages; ancillary finite certificate checker, Lean 4 companion, and Alloy 6.2.0 bounded relational companion
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[13]  arXiv:2605.12524 [pdf, ps, other]
Title: Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
Authors: Konstantine Arkoudas, Serafim Batzoglou
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[14]  arXiv:2605.13773 (cross-list from cs.SE) [pdf, ps, other]
Title: (How) Do Large Language Models Understand High-Level Message Sequence Charts?
Authors: Mohammad Reza Mousavi
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[15]  arXiv:2605.12893 (cross-list from cs.PL) [pdf, ps, other]
Title: LFPL: Revisited and Mechanized
Authors: Nathaniel Glover, Jan Hoffmann
Comments: This is the extended version of the article with the same title that appeared at the Forty-First Annual Symposium on Logic in Computer Science (LICS 2026). The difference to the LICS version is that the extended version contains an appendix with additional technical details
Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

Wed, 13 May 2026

[16]  arXiv:2605.11992 [pdf, ps, other]
Title: sweap: Reactive Synthesis for Infinite-State Integer Problems
Authors: Shaun Azzopardi, Luca Di Stefano, Nir Piterman
Comments: to be published in proceedings of CAV 2026
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)
[17]  arXiv:2605.11897 [pdf, ps, other]
Title: Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
Authors: Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2605.11796 [pdf, ps, other]
Title: On Knowledge Compilation For Two-Variable First-Order Logic
Authors: Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang, Ondřej Kuželka
Comments: 37 pages and 2 figures
Subjects: Logic in Computer Science (cs.LO)
[19]  arXiv:2605.12418 (cross-list from cs.FL) [pdf, ps, other]
Title: Extending QuAK with Nested Quantitative Automata
Authors: Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç, Harun Yılmaz
Comments: CAV 2026
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[20]  arXiv:2605.12372 (cross-list from cs.FL) [pdf, ps, other]
Title: Fast Obligation Translation and Synthesis
Authors: Alexandre Duret-Lutz, Giuseppe De Giacomo, Marcin Jurdzinski, Nir Piterman, Moshe Y. Vardi, Shufang Zhu
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[21]  arXiv:2605.11544 (cross-list from cs.AI) [pdf, ps, other]
Title: Optimal LTLf Synthesis
Authors: Yujian Cao, Sven Schewe, Qiyi Tang, Shufang Zhu
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[22]  arXiv:2605.11458 (cross-list from cs.AI) [pdf, ps, other]
Title: Adaptive Teacher Exposure for Self-Distillation in LLM Reasoning
Authors: Zihao Han, Tiangang Zhang, Huaibin Wang, Yilun Sun
Comments: 11 pages, 4 figures; code not released yet
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO)
[23]  arXiv:2605.11190 (cross-list from cs.FL) [pdf, ps, other]
Title: Minimization of Streaming Transducers
Authors: Christian Bianchini, Gabriele Puppis
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[24]  arXiv:2605.11025 (cross-list from cs.DS) [pdf, ps, other]
Title: State Canonization and Early Pruning in Width-Based Automated Theorem Proving
Authors: Mateus de Oliveira Oliveira, Sam Urmian
Comments: Full version. 66 pages, 2 figures, 10 tables
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

Tue, 12 May 2026 (showing first 1 of 26 entries)

[25]  arXiv:2605.10888 [pdf, ps, other]
Title: Shields to Guarantee Probabilistic Safety in MDPs
Authors: Linus Heck, Filip Macák, Roman Andriushchenko, Milan Češka, Sebastian Junges
Comments: Accepted to CAV 2026
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[ total of 67 entries: 1-25 | 26-50 | 51-67 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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