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

Logic in Computer Science

Authors and titles for recent submissions

[ total of 44 entries: 1-44 ]
[ showing up to 100 entries per page: fewer | more ]

Mon, 6 May 2024

[1]  arXiv:2405.01940 [pdf, other]
Title: On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
Authors: Xin Sun, Xingchi Su, Xiaoning Bian, Huiwen Wu
Comments: 35 pages
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2405.01935 [pdf, ps, other]
Title: Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
Authors: Bahareh Afshari, Johannes Kloibhofer
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[3]  arXiv:2405.01793 [pdf, other]
Title: Formalizing Pick's Theorem in Isabelle/HOL
Authors: Sage Binder, Katherine Kosaian
Subjects: Logic in Computer Science (cs.LO)
[4]  arXiv:2405.01733 [pdf, ps, other]
Title: Rings with common division, common meadows and their conditional equational theories
Authors: Jan A Bergstra, John V Tucker
Subjects: Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[5]  arXiv:2405.01675 [pdf, ps, other]
Title: Clones, closed categories, and combinatory logic
Authors: Philip Saville
Comments: A slightly-extended version of the paper published at Foundations of Software Science and Computation Structures (FoSSaCS) 2024
Journal-ref: In: Kobayashi, N., Worrell, J. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2024. Lecture Notes in Computer Science, vol 14575. Springer, Cham
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[6]  arXiv:2405.02083 (cross-list from cs.AI) [pdf, other]
Title: A semantic loss for ontology classification
Authors: Simon Flügel, Martin Glauer, Till Mossakowski, Fabian Neuhaus
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[7]  arXiv:2405.01809 (cross-list from cs.CR) [pdf, ps, other]
Title: A Logic of Sattestation
Authors: Aaron D. Jaggard, Paul Syverson, Catherine Meadows
Comments: 18 pages. Extended version (including proofs) of paper to appear in CSF'24
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

Fri, 3 May 2024

[8]  arXiv:2405.01478 [pdf, ps, other]
Title: Combining Combination Properties: Minimal Models
Authors: Guilherme Vicentin de Toledo, Yoni Zohar
Subjects: Logic in Computer Science (cs.LO)
[9]  arXiv:2405.01375 [pdf, ps, other]
Title: Skolemisation for Intuitionistic Linear Logic
Authors: Alessandro Bruni, Eike Ritter, Carsten Schürmann
Comments: to appear at IJCAR 2024
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2405.01322 [pdf, other]
Title: Reasoning About Group Polarization: From Semantic Games to Sequent Systems
Authors: Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G.Fermüller
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2405.01183 [pdf, other]
Title: An efficient quantifier elimination procedure for Presburger arithmetic
Authors: Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
Comments: Accepted for publication at ICALP 2024
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
[12]  arXiv:2405.01174 [pdf, other]
Title: Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
Authors: Takahito Aoto, Naoki Nishida, Jonas Schöpf
Comments: Accepted at the 9th International Conference on Formal Structures for Computation and Deduction 2024
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:2405.01092 [pdf, ps, other]
Title: About enveloping algebras of direct sums
Authors: Gérard Henry Edmond Duchamp (LIPN), Christophe Tollu (LIPN), Jean-Gabriel Luque (GR2IF), Vu Nguyen Dinh (USTH)
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2405.00921 (cross-list from cs.DC) [pdf, other]
Title: Verification of Population Protocols with Unordered Data
Authors: Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
Comments: 40 pages, 7 figures, extended version of ICALP 2024 paper
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[15]  arXiv:2405.00912 (cross-list from cs.SC) [pdf, other]
Title: Unification in the description logic $\mathcal{FL}_\bot$
Authors: Barbara Morawska
Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)
[16]  arXiv:2405.00687 (cross-list from cs.RO) [pdf, other]
Title: Optimal Planning for Timed Partial Order Specifications
Authors: Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
Comments: 2024 IEEE International Conference on Robotics and Automation
Subjects: Robotics (cs.RO); Logic in Computer Science (cs.LO)

Thu, 2 May 2024

[17]  arXiv:2405.00480 [pdf, ps, other]
Title: Better Bounded Bisimulation Contractions (Preprint)
Authors: Thomas Bolander, Alessandro Burigana
Subjects: Logic in Computer Science (cs.LO)
[18]  arXiv:2405.00440 [pdf, ps, other]
Title: Intersection Types via Finite-Set Declarations
Authors: Fairouz Kamareddine, Joe Wells
Comments: To appear in Wollic 2024
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[19]  arXiv:2405.00237 [pdf, ps, other]
Title: A Categorical Approach to Coalgebraic Fixpoint Logic
Authors: Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:2405.00398 (cross-list from math.CT) [pdf, ps, other]
Title: CaTT contexts are finite computads
Authors: Thibaut Benjamin, Ioannis Markakis, Chiara Sarti
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[21]  arXiv:2405.00205 (cross-list from cs.AI) [pdf, ps, other]
Title: A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Authors: Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
Comments: arXiv admin note: text overlap with arXiv:2307.05150
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[22]  arXiv:2405.00183 (cross-list from cs.AI) [pdf, ps, other]
Title: Capabilities
Authors: John Beverley, Peter M. Koch, David Limbaugh, Barry Smith
Comments: 14
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[23]  arXiv:2405.00165 (cross-list from cs.CC) [pdf, ps, other]
Title: Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations
Authors: Olivier Bournez, Riccardo Gozzi
Comments: Preliminary version presented at STACS'2024
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Dynamical Systems (math.DS)

Wed, 1 May 2024

[24]  arXiv:2404.19724 [pdf, ps, other]
Title: Sound and Complete Proof Rules for Probabilistic Termination
Authors: Rupak Majumdar, V.R. Sathiyanarayana
Subjects: Logic in Computer Science (cs.LO)
[25]  arXiv:2404.19632 [pdf, other]
Title: Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
Authors: Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Różowski, Paul Wild
Subjects: Logic in Computer Science (cs.LO)
[26]  arXiv:2404.19523 [pdf, other]
Title: TRAC: a tool for data-aware coordination (with an application to smart contracts)
Authors: Joao Afonso, Elvis Konjoh Selabi, Maurizio Murgia, Antonio Ravara, Emilio Tuosto
Subjects: Logic in Computer Science (cs.LO)
[27]  arXiv:2404.19503 [pdf, ps, other]
Title: Kuroda's Translation for Higher-Order Logic
Authors: Thomas Traversié (MICS, DEDUCTEAM)
Subjects: Logic in Computer Science (cs.LO)
[28]  arXiv:2404.19614 (cross-list from cs.SE) [pdf, ps, other]
Title: COTS: Connected OpenAPI Test Synthesis for RESTful Applications
Authors: Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Emilio Tuosto
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

Tue, 30 Apr 2024

[29]  arXiv:2404.18874 [pdf, ps, other]
Title: The Essense of Useful Evaluation Through Quantitative Types (Extended Version)
Authors: Pablo Barenbaum, Delia Kesner, Mariana Milicich
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[30]  arXiv:2404.18280 [pdf, ps, other]
Title: Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
Authors: Sarah Winter, Martin Zimmermann
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[31]  arXiv:2404.18205 [pdf, ps, other]
Title: LEGO-like Small-Model Constructions for Åqvist's Logics
Authors: Dmitry Rozplokhas
Subjects: Logic in Computer Science (cs.LO)
[32]  arXiv:2404.18151 [pdf, other]
Title: Decidability of Graph Neural Networks via Logical Characterizations
Authors: Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan
Subjects: Logic in Computer Science (cs.LO)
[33]  arXiv:2404.18098 [pdf, ps, other]
Title: Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for Program Verification via Operational Semantics
Authors: Yuanrui Zhang
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[34]  arXiv:2404.18067 [pdf, other]
Title: Type Inference for Isabelle2Cpp
Authors: Dongchen Jiang, Chenxi Fu
Comments: 22 pages, 4 figures
Subjects: Logic in Computer Science (cs.LO)
[35]  arXiv:2404.18007 [pdf, ps, other]
Title: A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version)
Authors: Rui Ge, Ronald Garcia, Alexander J. Summers
Comments: extended version of IJCAR 2024 publication
Subjects: Logic in Computer Science (cs.LO)
[36]  arXiv:2404.17901 [pdf, other]
Title: The Theory and Practice of Deductive Verification of OCaml Programs
Authors: Mário Pereira
Subjects: Logic in Computer Science (cs.LO)
[37]  arXiv:2404.17834 [pdf, other]
Title: Efficient Reactive Synthesis
Authors: Xin Ye, Harald Ruess
Subjects: Logic in Computer Science (cs.LO)
[38]  arXiv:2404.18904 (cross-list from cs.DM) [pdf, other]
Title: On classes of bounded tree rank, their interpretations, and efficient sparsification
Authors: Jakub Gajarský, Rose McCarty
Comments: Accepted to ICALP 2024, track B
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[39]  arXiv:2404.18813 (cross-list from eess.SY) [pdf, other]
Title: Safe Reach Set Computation via Neural Barrier Certificates
Authors: Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani
Comments: IFAC Conference on Analysis and Design of Hybrid Systems
Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[40]  arXiv:2404.18795 (cross-list from math.CT) [pdf, other]
Title: When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
Authors: Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[41]  arXiv:2404.18417 (cross-list from cs.PL) [pdf, other]
Title: Domain Reasoning in TopKAT
Authors: Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
Comments: A version of this article is accepted at ICALP 2024
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[42]  arXiv:2404.18048 (cross-list from cs.DC) [pdf, ps, other]
Title: Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing
Authors: William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)
[43]  arXiv:2404.17758 (cross-list from cs.AI) [pdf, ps, other]
Title: The Common Core Ontologies
Authors: Mark Jensen, Giacomo De Colle, Sean Kindya, Cameron More, Alexander P. Cox, John Beverley
Comments: 13 pages
Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Logic in Computer Science (cs.LO)
[44]  arXiv:2404.17757 (cross-list from cs.AI) [pdf, ps, other]
Title: Middle Architecture Criteria
Authors: John Beverley, Giacomo De Colle, Mark Jensen, Carter Benson, Barry Smith
Comments: 14 pages
Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Logic in Computer Science (cs.LO)
[ total of 44 entries: 1-44 ]
[ showing up to 100 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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