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

Thu, 21 Nov 2024 (showing 8 of 8 entries )

[1] arXiv:2411.13500 [pdf, html, other]
Title: Isomorphism Theorems between Models of Mixed Choice (Revised)
Jean Goubault-Larrecq
Comments: Fixes a mistake in a "Isomorphism Theorems between Models of Mixed Choice" published at MSCS in 2017. 50 pages, 2 figures
Subjects: Logic in Computer Science (cs.LO); Functional Analysis (math.FA); Probability (math.PR)
[2] arXiv:2411.13215 [pdf, other]
Title: Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
Matt Luckcuck (University of Nottingham, UK), Mengwei Xu (University of Newcastle, UK)
Journal-ref: EPTCS 411, 2024
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Robotics (cs.RO)
[3] arXiv:2411.13125 [pdf, html, other]
Title: An Expressive Trace Logic for Recursive Programs
Dilian Gurov, Reiner Hähnle
Comments: 22 pages, 6 figures
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[4] arXiv:2411.12923 [pdf, html, other]
Title: Towards Automated Verification of Logarithmic Arithmetic
Mark G. Arnold, Thomas A. Bailey, John R. Cowles
Comments: 21 pages, Originally a 1994 technical report from University of Wyoming and Computational Logic, Inc
Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)
[5] arXiv:2411.13412 (cross-list from cs.FL) [pdf, other]
Title: Complete Test Suites for Automata in Monoidal Closed Categories
Bálint Kocsis, Jurriaan Rot
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[6] arXiv:2411.13318 (cross-list from cs.FL) [pdf, other]
Title: Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
Georgiana Caltais (University of Twente), Cinzia Di Giusto (Université Côte d'Azur)
Journal-ref: EPTCS 412, 2024
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[7] arXiv:2411.12857 (cross-list from cs.PL) [pdf, html, other]
Title: An Abstract Domain for Heap Commutativity
Jared Pincus, Eric Koskinen
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[8] arXiv:2411.12840 (cross-list from math.ST) [pdf, other]
Title: The Aldous--Hoover Theorem in Categorical Probability
Leihao Chen, Tobias Fritz, Tomáš Gonda, Andreas Klingler, Antonio Lorenzin
Comments: 39 pages
Subjects: Statistics Theory (math.ST); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)

Wed, 20 Nov 2024 (showing 3 of 3 entries )

[9] arXiv:2411.12271 [pdf, html, other]
Title: SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
Bohan Li, Dawei Li, Ming Fu, Shaowei Cai
Subjects: Logic in Computer Science (cs.LO); Human-Computer Interaction (cs.HC)
[10] arXiv:2411.12498 (cross-list from cs.LG) [pdf, html, other]
Title: Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
Terufumi Morishita, Gaku Morio, Atsuki Yamaguchi, Yasuhiro Sogawa
Comments: NeurIPS 2024
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[11] arXiv:2411.11885 (cross-list from math.HO) [pdf, html, other]
Title: Anatomy of a Formal Proof
Jeremy Avigad, Johan Commelin, Heather Macbeth, Adam Topaz
Comments: 12 pages
Subjects: History and Overview (math.HO); Logic in Computer Science (cs.LO)

Tue, 19 Nov 2024 (showing 11 of 11 entries )

[12] arXiv:2411.11809 [pdf, other]
Title: The Lambda Calculus is Quantifiable
Valentin Maestracci, Paolo Pistone
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Logic (math.LO)
[13] arXiv:2411.11766 [pdf, html, other]
Title: A Note on Los's Theorem for Kripke-Joyal Semantics
Marc Aiguier, Romain Pascual
Subjects: Logic in Computer Science (cs.LO)
[14] arXiv:2411.11662 [pdf, html, other]
Title: Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
Noam Zilberstein, Alexandra Silva, Joseph Tassarotti
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[15] arXiv:2411.11428 [pdf, other]
Title: Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
Subjects: Logic in Computer Science (cs.LO)
[16] arXiv:2411.11113 [pdf, other]
Title: Calculational Design of Hyperlogics by Abstract Interpretation
Patrick Cousot, Jeffery Wang
Comments: POPL 2025, Denver, CO, USA
Journal-ref: Proc. ACM Program. Lang. 9, POPL, Article 16 (January 2025), 71 pages
Subjects: Logic in Computer Science (cs.LO)
[17] arXiv:2411.10826 [pdf, html, other]
Title: Probabilistic Nets-within-Nets
Michael Köhler-Bußmeier
Subjects: Logic in Computer Science (cs.LO)
[18] arXiv:2411.10624 [pdf, html, other]
Title: Weak Permission is not Well-Founded, Grounded and Stable
Guido Governatori
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[19] arXiv:2411.11549 (cross-list from cs.GT) [pdf, other]
Title: Sound Value Iteration for Simple Stochastic Games
Muqsit Azeem, Jan Kretinsky, Maximilian Weininger
Comments: Preprint. Under Review
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[20] arXiv:2411.10860 (cross-list from math.LO) [pdf, html, other]
Title: Hereditary First-Order Model Checking
Manuel Bodirsky, Santiago Guzmán-Pro
Subjects: Logic (math.LO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)
[21] arXiv:2411.10601 (cross-list from cs.FL) [pdf, html, other]
Title: Learning Quantitative Automata Modulo Theories
Eric Hsiung, Swarat Chaudhuri, Joydeep Biswas
Comments: 30 pages, 13 figures, 1 table
Subjects: Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[22] arXiv:2401.04606 (cross-list from cs.DB) [pdf, html, other]
Title: The Importance of Parameters in Database Queries
Amir Gilad, Martin Grohe, Benny Kimelfeld, Peter Lindner, Christoph Standke
Subjects: Databases (cs.DB); Logic in Computer Science (cs.LO)

Mon, 18 Nov 2024 (showing 3 of 3 entries )

[23] arXiv:2411.10229 [pdf, other]
Title: Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Hubie Chen, Stefan Mengel
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)
[24] arXiv:2411.10037 [pdf, html, other]
Title: Exact Computation of Error in Approximate Circuits using SAT and Message-Passing Algorithms
S Ramprasath, Marrivada Gopala Krishna Sai Charan, Vinita Vasudevan
Comments: 6 pages, 3 figures
Subjects: Logic in Computer Science (cs.LO)
[25] arXiv:2411.10393 (cross-list from cs.PL) [pdf, html, other]
Title: Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
Fabian Zaiser, Andrzej S. Murawski, C.-H. Luke Ong
Comments: Full version of the POPL 2025 article, including proofs and other supplementary material
Subjects: Programming Languages (cs.PL); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

Fri, 15 Nov 2024 (showing 4 of 4 entries )

[26] arXiv:2411.09489 [pdf, other]
Title: Positive Focusing is Directly Useful
Beniamino Accattoli, Jui-Hsuan Wu
Comments: Paper for the proceedings of MFPS 2024
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[27] arXiv:2411.09366 [pdf, html, other]
Title: LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)
[28] arXiv:2411.09121 [pdf, html, other]
Title: AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs
Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai
Comments: regular tool paper submitted to TACAS 2025
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[29] arXiv:2411.09347 (cross-list from cs.PL) [pdf, other]
Title: The Denotational Semantics of SSA
Jad Elkhaleq Ghalayini, Neel Krishnaswami
Comments: 94 pages, 38 figures, mechanization available at this https URL
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
Total of 29 entries
Showing up to 50 entries per page: fewer | more | all