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 31 entries : 1-25 26-31
Showing up to 25 entries per page: fewer | more | all

Fri, 4 Jul 2025 (showing 7 of 7 entries )

[1] arXiv:2507.02855 [pdf, html, other]
Title: Subtyping in DHOL -- Extended preprint
Colin Rothgang, Florian Rabe
Comments: 16 pages main document, 44 pages of appendices, to be published in FroCoS 2025
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)
[2] arXiv:2507.02767 [pdf, html, other]
Title: A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
Tiziano Dalmonte, Marianna Girlando
Comments: Draft. A shorter version of this paper was accepted for presentation at TABLEAUX 2025
Subjects: Logic in Computer Science (cs.LO)
[3] arXiv:2507.02742 [pdf, html, other]
Title: Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals
G. Buriola, D. Cantone, G. Cincotti, E.G. Omodeo, G.T. Spartà
Subjects: Logic in Computer Science (cs.LO)
[4] arXiv:2507.02008 [pdf, html, other]
Title: SMT-Sweep: Word-Level Representation Unification for Hardware Verification
Ziyi Yang, Guangyu Hu, Mingkai Miao, Changyuan Yu, Hongce Zhang
Subjects: Logic in Computer Science (cs.LO)
[5] arXiv:2507.02721 (cross-list from eess.SY) [pdf, html, other]
Title: A formal specification of the desired software behaviour of the Princess Marijke lock complex
Jan Friso Groote, Matthias Volk
Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)
[6] arXiv:2507.02585 (cross-list from cs.LG) [pdf, other]
Title: Scalable Interconnect Learning in Boolean Networks
Fabian Kresse, Emily Yu, Christoph H. Lampert
Comments: 12 pages, 8 Figures
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[7] arXiv:2507.02319 (cross-list from cs.AI) [pdf, html, other]
Title: Iterated belief revision: from postulates to abilities
Paolo Liberatore
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Thu, 3 Jul 2025 (showing 3 of 3 entries )

[8] arXiv:2507.01780 [pdf, other]
Title: LeanLTL: A unifying framework for linear temporal logics in Lean
Eric Vin, Kyle A. Miller, Daniel J. Fremont
Comments: 9 pages, 3 figures; for associated project files see this https URL to be published in LIPIcs for ITP '25
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[9] arXiv:2507.01577 [pdf, html, other]
Title: Interpolation with Automated First-Order Reasoning
Christoph Wernhard
Comments: This is a chapter of the forthcoming book "Theory and Applications of Craig Interpolation", edited by Balder ten Cate, Jean Christoph Jung, Patrick Koopmann, Christoph Wernhard and Frank Wolter
Subjects: Logic in Computer Science (cs.LO)
[10] arXiv:2507.01459 (cross-list from cs.DM) [pdf, other]
Title: Some remarks on the uncolored versions of the original CFI-graphs
Yijia Chen, Jörg Flum, Mingjun Liu
Comments: 46 pages
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

Wed, 2 Jul 2025 (showing 2 of 2 entries )

[11] arXiv:2507.00465 [pdf, html, other]
Title: Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
Sohei Ito, Makoto Tatsuta
Subjects: Logic in Computer Science (cs.LO)
[12] arXiv:2507.00557 (cross-list from cs.AI) [pdf, html, other]
Title: Advancing Local Search in SMT-NRA with MCSAT Integration
Tianyi Ding, Haokun Li, Xinpeng Ni, Bican Xia, Tianqi Zhao
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

Tue, 1 Jul 2025 (showing 13 of 13 entries )

[13] arXiv:2506.24072 [pdf, other]
Title: Protocol insecurity with finitely many sessions and XOR
R Ramanujam, Vaishnavi Sundararajan, S P Suresh
Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)
[14] arXiv:2506.23789 [pdf, other]
Title: Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
Reza Soltani, Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Subjects: Logic in Computer Science (cs.LO)
[15] arXiv:2506.23730 [pdf, other]
Title: One-Parametric Presburger Arithmetic has Quantifier Elimination
Alessio Mansutti, Mikhail R. Starchak
Comments: Extended version of a MFCS 2025 paper
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[16] arXiv:2506.22828 [pdf, html, other]
Title: Model-theoretic Forcing in Transition Algebra
Go Hashimoto, Daniel Găină
Subjects: Logic in Computer Science (cs.LO)
[17] arXiv:2506.22735 [pdf, html, other]
Title: Questions as cognitive filters
Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg
Subjects: Logic in Computer Science (cs.LO)
[18] arXiv:2506.22687 [pdf, other]
Title: Compositional Control-Driven Boolean Circuits
Damian Arellanes
Subjects: Logic in Computer Science (cs.LO)
[19] arXiv:2506.22584 [pdf, html, other]
Title: From MBQI to Enumerative Instantiation and Back
Marek Dančo, Petra Hozzová, Mikoláš Janota
Comments: SMT 2025 early presubmission
Subjects: Logic in Computer Science (cs.LO)
[20] arXiv:2506.22561 [pdf, html, other]
Title: On the Reachability Problem for Two-Dimensional Branching VASS
Clotilde Bizière, Thibault Hilaire, Jérôme Leroux, Grégoire Sutre
Comments: Full version of the paper with the same title and authors to appear in the proceedings of MFCS 2025
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[21] arXiv:2506.23773 (cross-list from cs.AI) [pdf, other]
Title: BayesL: Towards a Logical Framework for Bayesian Networks
Stefano M. Nicoletti, Mariëlle Stoelinga
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[22] arXiv:2506.23408 (cross-list from cs.LG) [pdf, html, other]
Title: Do LLMs Dream of Discrete Algorithms?
Claudionor Coelho Jr, Yanen Li, Philip Tee
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[23] arXiv:2506.23404 (cross-list from cs.CC) [pdf, html, other]
Title: Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations
Melissa Antonelli, Arnaud Durand, Juha Kontinen
Comments: 39 pages
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[24] arXiv:2506.22991 (cross-list from cs.NI) [pdf, other]
Title: Resilient-Native and Intelligent Next-Generation Wireless Systems: Key Enablers, Foundations, and Applications
Mehdi Bennis, Sumudu Samarakoon, Tamara Alshammari, Chathuranga Weeraddana, Zhoujun Tian, Chaouki Ben Issaid
Subjects: Networking and Internet Architecture (cs.NI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Systems and Control (eess.SY)
[25] arXiv:2506.22693 (cross-list from math.FA) [pdf, html, other]
Title: Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
Andreu Ballus Santacana
Comments: Submitted to Inventiones Mathematicae. Patent pending on associated certification algorithms and formal verification methods. 22 pages + 7 pages app
Subjects: Functional Analysis (math.FA); Logic in Computer Science (cs.LO); Logic (math.LO)
Total of 31 entries : 1-25 26-31
Showing up to 25 entries per page: fewer | more | all