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 36 entries
Showing up to 50 entries per page: fewer | more | all

Fri, 1 Aug 2025 (showing 2 of 2 entries )

[1] arXiv:2507.23603 [pdf, html, other]
Title: Explanations for Unrealizability of Infinite-State Safety Shields
Andoni Rodriguez, Irfansha Shaik, Davide Corsi, Roy Fox, Cesar Sanchez
Subjects: Logic in Computer Science (cs.LO)
[2] arXiv:2507.23151 (cross-list from cs.PL) [pdf, html, other]
Title: Abstractions of Sequences, Functions and Operators
Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo
Comments: Under consideration for publication in STTT
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Thu, 31 Jul 2025 (showing 5 of 5 entries )

[3] arXiv:2507.22705 [pdf, other]
Title: Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
Kristina Sojakova, Mihai Codescu, Joshua Gancher
Subjects: Logic in Computer Science (cs.LO)
[4] arXiv:2507.22536 [pdf, other]
Title: Infinite Traces by Finality: a Sheaf-Theoretic Approach
Marco Peressotti
Subjects: Logic in Computer Science (cs.LO)
[5] arXiv:2507.22876 (cross-list from cs.AI) [pdf, html, other]
Title: Automatically discovering heuristics in a complex SAT solver with large language models
Yiwen Sun, Furong Ye, Zhihan Chen, Ke Wei, Shaowei Cai
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[6] arXiv:2507.22760 (cross-list from eess.SY) [pdf, html, other]
Title: Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
Samuel Teuber, Debasmita Lohar, Bernhard Beckert
Comments: 15 pages, 3 figures, 1 table; Accepted at FMCAD 2025
Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[7] arXiv:2507.22687 (cross-list from cs.NI) [pdf, html, other]
Title: Bifröst: Spatial Networking with Bigraphs
Josh Millar, Ryan Gibb, Roy Ang, Anil Madhavapeddy, Hamed Haddadi
Comments: Submitted to HotNets 2025
Subjects: Networking and Internet Architecture (cs.NI); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

Wed, 30 Jul 2025 (showing 4 of 4 entries )

[8] arXiv:2507.21955 [pdf, html, other]
Title: Why not? Developing ABox Abduction beyond Repairs
Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan
Subjects: Logic in Computer Science (cs.LO)
[9] arXiv:2507.21851 [pdf, html, other]
Title: The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Krötzsch
Comments: Extended version of a paper accepted at 38th International Workshop on Description Logics (DL 2025)
Subjects: Logic in Computer Science (cs.LO)
[10] arXiv:2507.21598 [pdf, html, other]
Title: A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
Beatrice Melani (Politecnico di Milano), Ezio Bartocci (TU Wien), Michele Chiari (TU Wien)
Comments: 25 pages, 8 figures. Accepted for presentation at EMSOFT 2025, to appear in ACM TECS
Subjects: Logic in Computer Science (cs.LO)
[11] arXiv:2507.21295 [pdf, other]
Title: Semantic Numeration Systems as Dynamical Systems
Alexander Yu. Chunikhin
Comments: 11 pages, 6 figures
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

Tue, 29 Jul 2025 (showing 12 of 12 entries )

[12] arXiv:2507.20726 [pdf, other]
Title: Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato
Subjects: Logic in Computer Science (cs.LO)
[13] arXiv:2507.20615 [pdf, other]
Title: Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer
Subjects: Logic in Computer Science (cs.LO)
[14] arXiv:2507.19886 [pdf, html, other]
Title: A Model-Independent Theory of Probabilistic Testing
Weijun Chen, Yuxi Fu, Huan Long, Hao Wu
Subjects: Logic in Computer Science (cs.LO)
[15] arXiv:2507.19827 [pdf, other]
Title: Synthesis Benchmarks for Automated Reasoning
Márton Hajdu, Petra Hozzová, Laura Kovács, Andrei Voronkov, Eva Maria Wagner, Richard Steven Žilinčík
Comments: This is an extended pre-print of a paper accepted to CICM 2025
Subjects: Logic in Computer Science (cs.LO)
[16] arXiv:2507.19689 [pdf, other]
Title: Scroll nets
Pablo Donato
Comments: 20 pages, 9 figures, submitted to CSL 2026
Subjects: Logic in Computer Science (cs.LO)
[17] arXiv:2507.19630 [pdf, html, other]
Title: Graded Quantitative Narrowing
Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling, Temur Kutsia
Comments: 24 pages, 2 figures
Subjects: Logic in Computer Science (cs.LO)
[18] arXiv:2507.20865 (cross-list from math.LO) [pdf, html, other]
Title: Unravelling Cyclic First-Order Arithmetic
Graham E. Leigh, Dominik Wehr
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[19] arXiv:2507.20251 (cross-list from cs.PL) [pdf, other]
Title: The Power of Negation in Higher-Order Datalog
Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos, Panos Rondogiannis
Subjects: Programming Languages (cs.PL); Computational Complexity (cs.CC); Databases (cs.DB); Logic in Computer Science (cs.LO)
[20] arXiv:2507.20010 (cross-list from cs.AI) [pdf, html, other]
Title: Finding Personalized Good-Enough Solutions to Unsatisfiable Stable Roommates Problems
Müge Fidan, Esra Erdem
Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[21] arXiv:2507.20007 (cross-list from cs.AR) [pdf, html, other]
Title: AxOSyn: An Open-source Framework for Synthesizing Novel Approximate Arithmetic Operators
Siva Satyendra Sahoo, Salim Ullah, Akash Kumar
Comments: Under review with ACM TRETS
Subjects: Hardware Architecture (cs.AR); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO)
[22] arXiv:2507.19329 (cross-list from cs.DB) [pdf, html, other]
Title: Properties for Paths in Graph Databases
Fernando Orejas, Elvira Pino, Renzo Angles, Edelmira Pasarella, Nikos Milonakis
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)
[23] arXiv:2502.10323 (cross-list from math.CT) [pdf, other]
Title: A taxonomy of categories for relations
Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)

Mon, 28 Jul 2025 (showing 13 of 13 entries )

[24] arXiv:2507.19424 [pdf, other]
Title: Order in Partial Markov Categories
Elena Di Lavore, Mario Román, Paweł Sobociński, Márk Széles
Comments: 20 pages, MFPS 2025
Subjects: Logic in Computer Science (cs.LO)
[25] arXiv:2507.19245 [pdf, html, other]
Title: Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
Faruk Alpay, Bugra Kilictas, Taylan Alpay
Comments: 21 pages, 1 figure
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[26] arXiv:2507.19061 [pdf, html, other]
Title: A CASP-based Solution for Traffic Signal Optimisation
Alice Tarzariol, Marco Maratea, Mauro Vallati
Comments: To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2025
Subjects: Logic in Computer Science (cs.LO)
[27] arXiv:2507.19014 [pdf, other]
Title: An ACL2s Interface to Z3
Andrew T. Walter (Northeastern University), Panagiotis Manolios (Northeastern University)
Comments: In Proceedings ACL2 2025, arXiv:2507.18567
Journal-ref: EPTCS 423, 2025, pp. 104-123
Subjects: Logic in Computer Science (cs.LO)
[28] arXiv:2507.19013 [pdf, other]
Title: A Formalization of the Correctness of the Floodsub Protocol
Ankit Kumar (Northeastern University), Panagiotis Manolios (Northeastern University)
Comments: In Proceedings ACL2 2025, arXiv:2507.18567
Journal-ref: EPTCS 423, 2025, pp. 84-103
Subjects: Logic in Computer Science (cs.LO); Networking and Internet Architecture (cs.NI)
[29] arXiv:2507.19012 [pdf, other]
Title: A Formalization of the Yul Language and Some Verified Yul Code Transformations
Alessandro Coglio (Kestrel Institute), Eric McCarthy (Kestrel Institute)
Comments: In Proceedings ACL2 2025, arXiv:2507.18567
Journal-ref: EPTCS 423, 2025, pp. 65-83
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[30] arXiv:2507.19010 [pdf, other]
Title: On Automating Proofs of Multiplier Adder Trees using the RTL Books
Mayank Manjrekar (Arm Inc.)
Comments: In Proceedings ACL2 2025, arXiv:2507.18567
Journal-ref: EPTCS 423, 2025, pp. 51-55
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[31] arXiv:2507.19009 [pdf, other]
Title: RV32I in ACL2
Carl Kwan (The University of Texas at Austin)
Comments: In Proceedings ACL2 2025, arXiv:2507.18567
Journal-ref: EPTCS 423, 2025, pp. 46-50
Subjects: Logic in Computer Science (cs.LO)
[32] arXiv:2507.19008 [pdf, other]
Title: A Proof of the Schröder-Bernstein Theorem in ACL2
Grant Jurgensen (Kestrel Institute)
Comments: In Proceedings ACL2 2025, arXiv:2507.18567
Journal-ref: EPTCS 423, 2025, pp. 36-45
Subjects: Logic in Computer Science (cs.LO)
[33] arXiv:2507.18798 [pdf, html, other]
Title: Higher-order Kripke models for intuitionistic and non-classical modal logics
Victor Barroso-Nascimento
Subjects: Logic in Computer Science (cs.LO)
[34] arXiv:2507.18718 [pdf, other]
Title: Who Wins the Multi-Structural Game?
Ronald Fagin, Neil Immerman, Phokion Kolaitis, Jonathan Lenchner, Rik Sengupta
Comments: 27 pages, 7 figures
Subjects: Logic in Computer Science (cs.LO)
[35] arXiv:2507.19182 (cross-list from cs.AI) [pdf, html, other]
Title: Faster Lifting for Ordered Domains with Predecessor Relations
Kuncheng Zou, Jiahao Mai, Yonggang Zhang, Yuyi Wang, Ondřej Kuželka, Yuanhong Wang, Yi Chang
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[36] arXiv:2507.19015 (cross-list from cs.PL) [pdf, other]
Title: An Enumerative Embedding of the Python Type System in ACL2s
Samuel Xifaras (Northeastern University), Panagiotis Manolios (Northeastern University), Andrew T. Walter (Northeastern University), William Robertson (Northeastern University)
Comments: In Proceedings ACL2 2025, arXiv:2507.18567
Journal-ref: EPTCS 423, 2025, pp. 124-144
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
Total of 36 entries
Showing up to 50 entries per page: fewer | more | all