Logic in Computer Science

Authors and titles for August 2021

[101] arXiv:2108.10492 (cross-list from cs.GT) [pdf, other]

Title: A Game Characterization for Contrasimilarity

Benjamin Bisping (Technische Universität Berlin), Luisa Montanari (Technische Universität Berlin)

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

Journal-ref: EPTCS 339, 2021, pp. 27-42

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[102] arXiv:2108.11004 (cross-list from cs.AI) [pdf, other]

Title: Reasoning about Counterfactuals and Explanations: Problems, Results and Directions

Leopoldo Bertossi

Comments: To appear in informal proceedings of 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2021), co-located with KR 2021. arXiv admin note: substantial text overlap with arXiv:2107.10159

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

[103] arXiv:2108.11679 (cross-list from cs.PL) [pdf, other]

Title: A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency

Juan José González-Abril, Germán Vidal

Comments: Pre-proceedings paper presented at the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), Tallinn, Estonia, and Virtual, September 7-8, 2021 (arXiv:2107.10160)

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

[104] arXiv:2108.12095 (cross-list from math.LO) [pdf, other]

Title: Relational Hypersequent S4 and B are Cut-Free Hypersequent Incomplete

Kai Tanter

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

[105] arXiv:2108.12348 (cross-list from cs.PL) [pdf, other]

Title: A denotational semantics for PROMELA addressing arbitrary jumps

Marco Comini (1), María del Mar Gallardo (2), Alicia Villanueva (3) ((1) Università degli Studi di Udine (Italy), (2) Universidad de Málaga, Andalucía Tech, ITI-Software, (3) VRAIN - Universitat Politècnica de València)

Comments: Pre-proceedings paper presented at the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), Tallinn, Estonia, and Virtual, September 7-8, 2021 (arXiv:2107.10160)

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

[106] arXiv:2108.12971 (cross-list from cs.PL) [pdf, other]

Title: HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types

Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi

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

[107] arXiv:2108.13036 (cross-list from cs.AI) [pdf, other]

Title: Aleatoric Description Logic for Probailistic Reasoning (Long Version)

Tim French, Tom Smoker

Comments: Short version submitted to DL2021

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

[108] arXiv:2108.13338 (cross-list from cs.DS) [pdf, html, other]

Title: Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees

Zhuan Khye Koh, Georg Loho

Comments: 35 pages, 9 figures

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[109] arXiv:2108.13490 (cross-list from eess.SY) [pdf, other]

Title: Reactive and Risk-Aware Control for Signal Temporal Logic

Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas

Comments: Conditionally accepted in the IEEE Transactions on Automatic Control

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