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

Thu, 14 Nov 2024 (showing 5 of 5 entries )

[1] arXiv:2411.08847 [pdf, other]
Title: Proof Nets for the {\pi}-Calculus
Matteo Acclavio, Giulia Manara
Subjects: Logic in Computer Science (cs.LO)
[2] arXiv:2411.08770 [pdf, other]
Title: On Kleisli liftings and decorated trace semantics
Daniel Luckhardt, Harsh Beohar, Sebastian Küpper
Comments: 40th Conference on Mathematical Foundations of Programming Semantics (MFPS)
Subjects: Logic in Computer Science (cs.LO)
[3] arXiv:2411.08635 [pdf, html, other]
Title: Synthesis with Privacy Against an Observer
Orna Kupferman, Ofer Leshkowitz, Namma Shamash Halevy
Subjects: Logic in Computer Science (cs.LO)
[4] arXiv:2411.08421 (cross-list from math.CT) [pdf, html, other]
Title: Modest Sets are Equivalent to PERs
Rahul Chhabra
Comments: 14 pages; Expository article
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[5] arXiv:2411.08040 (cross-list from cs.AI) [pdf, html, other]
Title: The Universal PDDL Domain
Patrik Haslum, Augusto B. Corrêa
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Wed, 13 Nov 2024 (showing 5 of 5 entries )

[6] arXiv:2411.07714 [pdf, other]
Title: Typed Non-determinism in Concurrent Calculi: The Eager Way
Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W.N. Paulus, Jorge A. Pérez
Comments: Presented at MFPS 2024
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[7] arXiv:2411.07667 [pdf, html, other]
Title: Formalization of physics index notation in Lean 4
Joseph Tooby-Smith
Comments: 24 pages. Comments are welcome
Subjects: Logic in Computer Science (cs.LO); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th)
[8] arXiv:2411.07665 [pdf, other]
Title: An SMT Theory for n-Indexed Sequences
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
Comments: 22nd International Workshop on Satisfiability Modulo Theories, Jul 2024, Montreal, Canada, France
Subjects: Logic in Computer Science (cs.LO)
[9] arXiv:2411.07431 [pdf, html, other]
Title: Continuous Domains for Function Spaces Using Spectral Compactification
Amin Farjudian, Achim Jung
Comments: 19 pages, 1 figure, Mathematical Foundations of Programming Semantics (MFPS) 2024
Subjects: Logic in Computer Science (cs.LO); General Topology (math.GN)
[10] arXiv:2411.07966 (cross-list from cs.CC) [pdf, html, other]
Title: Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
Albert Atserias, Iddo Tzameret
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

Tue, 12 Nov 2024 (showing 10 of 10 entries )

[11] arXiv:2411.07078 [pdf, other]
Title: Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
Philippe Heim, Rayna Dimitrova
Comments: This is a full version of paper accepted at POPL 2025
Subjects: Logic in Computer Science (cs.LO)
[12] arXiv:2411.06944 [pdf, html, other]
Title: Finite Variable Counting Logics with Restricted Requantification
Simon Raßmann, Georg Schindling, Pascal Schweitzer
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[13] arXiv:2411.06409 [pdf, html, other]
Title: Automated Strategy Invention for Confluence of Term Rewrite Systems
Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[14] arXiv:2411.07049 (cross-list from cs.DB) [pdf, other]
Title: Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David Basin
Subjects: Databases (cs.DB); Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[15] arXiv:2411.06675 (cross-list from math.LO) [pdf, html, other]
Title: FCA using the Concept Explorer in 2024
Edith Vargas-GarcÍa, Andreas Wachtel
Comments: 10 pages, 1 context, 9 figures
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[16] arXiv:2411.06636 (cross-list from math.CT) [pdf, other]
Title: The internal languages of univalent categories
Niels van der Weide
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[17] arXiv:2411.06416 (cross-list from cs.PL) [pdf, other]
Title: A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
Lena Verscht, Benjamin Lucien Kaminski
Comments: This is the extended version of a publication at POPL 2025
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[18] arXiv:2411.06094 (cross-list from cs.PL) [pdf, other]
Title: Generically Automating Separation Logic by Functors, Homomorphisms and Modules
Qiyuan Xu, David Sanan, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu
Comments: Accepted by POPL'25
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[19] arXiv:2411.06043 (cross-list from math.LO) [pdf, html, other]
Title: The subTuring degrees
Takayuki Kihara, Keng Meng Ng
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[20] arXiv:2411.05943 (cross-list from cs.AI) [pdf, html, other]
Title: Quantifying artificial intelligence through algebraic generalization
Takuya Ito, Murray Campbell, Lior Horesh, Tim Klinger, Parikshit Ram
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Mon, 11 Nov 2024 (showing 2 of 2 entries )

[21] arXiv:2411.05511 (cross-list from math.CT) [pdf, other]
Title: Towards computational methods for category theory
Simon Forest
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[22] arXiv:2411.05263 (cross-list from cs.AI) [pdf, html, other]
Title: Minimal Conditions for Beneficial Neighbourhood Search and Local Descent
Mark G. Wallace
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Fri, 8 Nov 2024 (showing 3 of 3 entries )

[23] arXiv:2411.04615 [pdf, html, other]
Title: The Functional Machine Calculus III: Choice (Early Announcement)
Willem Heijltjes
Subjects: Logic in Computer Science (cs.LO)
[24] arXiv:2411.04870 (cross-list from math.AT) [pdf, other]
Title: Manifold Diagrams for Higher Categories
Lukas Heidemann
Comments: originally submitted version, before corrections
Subjects: Algebraic Topology (math.AT); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[25] arXiv:2411.04555 (cross-list from cs.AI) [pdf, html, other]
Title: An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
Jonathan Ben-Naim, Victor David, Anthony Hunter
Comments: 14 pages
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
Total of 25 entries
Showing up to 50 entries per page: fewer | more | all