Logic in Computer Science

Authors and titles for August 2024

[31] arXiv:2408.10117 [pdf, other]

Title: Branching Bisimilarity for Processes with Time-outs

Gaspard Reghem, Rob van Glabbeek

Comments: An extended abstract of this paper appears in Proc. CONCUR'24, see this https URL

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:2408.10211 [pdf, other]

Title: G\"odel Incompleteness Theorem for PAC Learnable Theory

Zhifeng Ma, Tianyi Wu, Zhangang Han

Comments: 24 pages

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[33] arXiv:2408.10563 [pdf, html, other]

Title: The Stable Model Semantics for Higher-Order Logic Programming

Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[34] arXiv:2408.10637 [pdf, html, other]

Title: Variations on distributed belief

John Lindqvist, Fernando R. Velázquez-Quesada, Thomas Ågotnes

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:2408.10685 [pdf, html, other]

Title: Proving Cutoff Bounds for Safety Properties in First-Order Logic

Raz Lotan, Eden Frenkel, Sharon Shoham

Comments: 28 pages, 6 figures, 1 table

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[36] arXiv:2408.11501 [pdf, html, other]

Title: Formalizing equivalences without tears

Tom de Jong

Comments: v3: Minor and funding changes only

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:2408.11502 [pdf, html, other]

Title: CTL* Verification and Synthesis using Existential Horn Clauses

Mishel Carelli, Orna Grumberg

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:2408.11530 [pdf, other]

Title: Scalable Knowledge Refactoring using Constrained Optimisation

Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[39] arXiv:2408.11651 [pdf, html, other]

Title: Boolean basis, formula size, and number of modal operators

Christoph Berkholz, Dietrich Kuske, Christian Schwarz

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[40] arXiv:2408.11699 [pdf, html, other]

Title: Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP

Anitha Murugesan, Isaac Wong, Joaquín Arias, Robert Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[41] arXiv:2408.11712 [pdf, html, other]

Title: A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory (Extended Version)

Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts

Comments: 24 pages, 0 figures, extended version of the paper "A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory" accepted for LPNMR 2024

Subjects: Logic in Computer Science (cs.LO)

[42] arXiv:2408.12240 [pdf, other]

Title: The Bright Side of Timed Opacity

Étienne André, Sarah Dépernet, Engel Lefaucheux

Comments: This is the author (and extended) version of the manuscript of the same name published in the proceedings of the 25th International Conference on Formal Engineering Methods (ICFEM 2024)

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL)

[43] arXiv:2408.12623 [pdf, html, other]

Title: On Woolhouse's Cotton-Spinning Problem

Jan Friso Groote, Tim A.C. Willemse

Comments: 11 pages

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:2408.12668 [pdf, html, other]

Title: Input-based Framework for Three-valued Abstraction Refinement

Jan Onderka

Comments: 18 pages, 5 figures

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:2408.13297 [pdf, other]

Title: An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods

Sangeeta Pant, Anuj Kumar, Jiří Mazurek

Comments: 21 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[46] arXiv:2408.13487 [pdf, html, other]

Title: Towards Automatic Linearization via SMT Solving

Jian Cao, Liyong Lin, Lele Li

Comments: 4 pages, conference

Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY); Optimization and Control (math.OC)

[47] arXiv:2408.13840 [pdf, html, other]

Title: Model-checking positive equality free logic on a fixed structure (direttissima)

Manuel Bodirsky, Marcin Kozik, Florent Madelaine, Barnaby Martin, Michal Wrona

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:2408.14314 [pdf, html, other]

Title: Logic interpretations of ANN partition cells

Ingo Schmitt

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[49] arXiv:2408.14443 [pdf, html, other]

Title: Temporal Ensemble Logic

Guo-Qiang Zhang

Comments: 47 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL)

[50] arXiv:2408.14563 [pdf, other]

Title: Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)

Vítor Fernandes, Marc de Visme, Benoît Valiron

Subjects: Logic in Computer Science (cs.LO)

[51] arXiv:2408.14621 [pdf, html, other]

Title: Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security

Zhiyang Chen, Jan Gorzny, Martin Derka

Comments: 14 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR)

[52] arXiv:2408.14701 [pdf, other]

Title: A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming

Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi

Comments: 41 pages

Subjects: Logic in Computer Science (cs.LO)

[53] arXiv:2408.14999 [pdf, html, other]

Title: The equational theory of the Weihrauch lattice with (iterated) composition

Cécilia Pradic

Comments: 31 pages - fixed typos from v1

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[54] arXiv:2408.15087 [pdf, html, other]

Title: Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

Subjects: Logic in Computer Science (cs.LO)

[55] arXiv:2408.15180 [pdf, html, other]

Title: Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4

Jineon Baek, Seewoo Lee

Subjects: Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)