Logic in Computer Science

Authors and titles for August 2021

[26] arXiv:2108.05680 [pdf, other]

Title: Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics

Bartosz Bednarczyk

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

[27] arXiv:2108.05842 [pdf, other]

Title: Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it

Nils Kürbis

Journal-ref: Journal of Applied Logics 8/2 (2021): 531-556; Journal of Applied Logics 8/7 (2021): 2259-2261

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

[28] arXiv:2108.06015 [pdf, other]

Title: Natural Deduction Calculus for First-Order Logic

Alrubyli, Yazeed

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

[29] arXiv:2108.06081 [pdf, other]

Title: Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition

Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark Barrett, Subhasish Mitra

Comments: preprint of a paper to appear at FMCAD 2021, including appendix

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:2108.06096 [pdf, other]

Title: SHACL: A Description Logic in Disguise

Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche

Comments: Presented at LPNRM conference 2022

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:2108.06296 [pdf, other]

Title: An ML-style Record Calculus with Extensible Records

Sandra Alves (University of Porto), Miguel Ramos (University of Porto)

Comments: In Proceedings MFPS 2021, arXiv:2112.13746

Journal-ref: EPTCS 351, 2021, pp. 1-17

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:2108.06603 [pdf, other]

Title: Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)

Willem Conradie, Valntin Goranko, Peter Jipsen

Comments: 27 pages

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

[33] arXiv:2108.06922 [pdf, other]

Title: A Conjecture Equivalent to the Collatz Conjecture

Ashish Tiwari

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:2108.06944 [pdf, other]

Title: Verifying C11-Style Weak Memory Libraries via Refinement

Sadegh Dalvandi, Brijesh Dongol

Comments: arXiv admin note: substantial text overlap with arXiv:2012.14133

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

[35] arXiv:2108.07510 [pdf, other]

Title: Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version)

A. R. Balasubramanian, Chana Weil-Kennedy

Comments: Long version of the paper accepted at Gandalf 2021

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)

[36] arXiv:2108.07625 [pdf, other]

Title: Hybrid dynamical type theories for navigation

Paul Gustafson, Jared Culbertson, Daniel E. Koditschek

Comments: 6 pages, 6 figures

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Robotics (cs.RO); Category Theory (math.CT)

[37] arXiv:2108.07642 [pdf, other]

Title: Symbolic Automatic Relations and Their Applications to SMT and CHC Solving

Takumi Shimoda, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Comments: A shorter version will appear in Proceedings of SAS 2021

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

[38] arXiv:2108.08018 [pdf, other]

Title: Timed Automata Robustness Analysis via Model Checking

Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 3 (July 29, 2022) lmcs:8375

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

[39] arXiv:2108.08070 [pdf, other]

Title: Witnessing subsystems for probabilistic systems with low tree width

Simon Jantsch, Jakob Piribauer, Christel Baier

Comments: conference version accepted for publication at GandALF 2021

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:2108.08079 [pdf, other]

Title: On correctness and completeness of an n queens program

Włodzimierz Drabent

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP). 13 pages, 1 figure. A re-worked version of arXiv:1909.07479

Journal-ref: Theory and Practice of Logic Programming, Volume 22 , Issue 1 , January 2022 , pp. 37 - 50

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

[41] arXiv:2108.08796 [pdf, other]

Title: Towards an Automatic Proof of Lamport's Paxos

Aman Goel, Karem A. Sakallah

Comments: "to be published in Formal Methods in Computer-Aided Design (FMCAD) 2021, see this https URL

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL)

[42] arXiv:2108.08838 [pdf, other]

Title: Description logics as polyadic modal logics

Jonne Iso-Tuisku, Antti Kuusisto

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:2108.09624 [pdf, other]

Title: Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics

Ornela Dardha, Valentina Castiglioni

Journal-ref: EPTCS 339, 2021

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

[44] arXiv:2108.10156 [pdf, other]

Title: Truly Concurrent Calculi with Reversibility, Probabilism and Guards

Yong Wang

Comments: 251 pages, 28 tables. arXiv admin note: substantial text overlap with arXiv:2107.08453, arXiv:1703.00159, arXiv:1805.03575, arXiv:1704.07774

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:2108.10259 [pdf, other]

Title: The Multiverse: Logical Modularity for Proof Assistants

Kenji Maillard, Nicolas Margulies, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter

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

[46] arXiv:2108.10293 [pdf, other]

Title: A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die

Éric Goubault, Jérémy Ledent, Sergio Rajsbaum

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA); Logic (math.LO)

[47] arXiv:2108.10489 [pdf, other]

Title: Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel

Jan Friso Groote (Eindhoven University of Technology, The Netherlands)

Comments: In Proceedings EXPRESS/SOS 2021, arXiv:2108.09624

Journal-ref: EPTCS 339, 2021, pp. 2-8

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

[48] arXiv:2108.10490 [pdf, other]

Title: Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics

Eric Alsmann (School of Electrical Engineering and Computer Science, University of Kassel, Germany), Florian Bruse (School of Electrical Engineering and Computer Science, University of Kassel, Germany), Martin Lange (School of Electrical Engineering and Computer Science, University of Kassel, Germany)

Comments: In Proceedings EXPRESS/SOS 2021, arXiv:2108.09624

Journal-ref: EPTCS 339, 2021, pp. 10-26

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:2108.10494 [pdf, other]

Title: On Decidability of the Bisimilarity on Higher-order Processes with Parameterization

Xian Xu (East China University of Science and Technology), Wenbo Zhang (Shanghai Ocean University, Shanghai Key Laboratory of Trustworthy Computing)

Comments: In Proceedings EXPRESS/SOS 2021, arXiv:2108.09624

Journal-ref: EPTCS 339, 2021, pp. 76-92

Subjects: Logic in Computer Science (cs.LO)

[50] arXiv:2108.10558 [pdf, other]

Title: The Mays and Musts of Concurrent Strategies

Simon Castellan (CELTIQUE, IRISA), Pierre Clairambault (LIP, PLUME), Glynn Winskel

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