Logic in Computer Science

Authors and titles for August 2024

[21] arXiv:2408.07886 [pdf, html, other]

Title: Physically Aware Synthesis Revisited: Guiding Technology Mapping with Primitive Logic Gate Placement

Hongyang Pan, Cunqing Lan, Yiting Liu, Zhiang Wang, Li Shang, Xuan Zeng, Fan Yang, Keren Zhu

Comments: 9 pages, 8 figures, 2 tables

Journal-ref: 2024 International Conference on Computer-Aided Design, New Jersey, NY, USA, Oct 2024

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:2408.07915 [pdf, other]

Title: On the Expressivity of Typed Concurrent Calculi

Joseph William Neal Paulus

Comments: Doctoral thesis

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

[23] arXiv:2408.07980 [pdf, html, other]

Title: Efficiently grounding FOL using bit vectors

Lucas Van Laer, Simon Vandevelde, Joost Vennekens

Comments: Short version published at LPNMR 2024

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:2408.08236 [pdf, other]

Title: Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure

Yoshiki Nakamura

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:2408.08557 [pdf, html, other]

Title: Computational Complexity of Standpoint LTL

Stéphane Demri, Przemysław Andrzej Wałęga

Subjects: Logic in Computer Science (cs.LO)

[26] arXiv:2408.08817 [pdf, html, other]

Title: A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)

Marco Faella, Gennaro Parlato

Comments: Published at ECAI'24 (Extended Version)

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:2408.09002 [pdf, html, other]

Title: Message complexity for unary multiautomata systems

Christian Choffrut

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

[28] arXiv:2408.09516 [pdf, other]

Title: A Logic for Policy Based Resource Exchanges in Multiagent Systems

Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò

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

[29] arXiv:2408.09590 [pdf, html, other]

Title: L\"ob-Safe Logics for Reflective Agents

Seth Ahrenbach

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:2408.09909 [pdf, other]

Title: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming

Ondřej Vašíček, Joaquin Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Křena, Brian Larson, Sarat Chandra Varanasi, Tomáš Vojnar

Comments: Accepted for ICLP 2024

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

[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)