Logic in Computer Science

Authors and titles for August 2024

[1] arXiv:2408.00262 [pdf, html, other]

Title: Semantical Analysis of Intuitionistic Modal Logics between CK and IK

Jim de Groot, Ian Shillito, Ranald Clouston

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

[2] arXiv:2408.01109 [pdf, html, other]

Title: Characterizing Data Dependencies Then and Now

Phokion G. Kolaitis, Andreas Pieris

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

[3] arXiv:2408.01245 [pdf, other]

Title: CHTW-systems with resource-depended parameters. CHTW(R)-systems

Alexander Yu. Chunikhin

Comments: 10 pages, 2 figures. arXiv admin note: substantial text overlap with arXiv:2310.01587

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:2408.02388 [pdf, html, other]

Title: Extension preservation on dense graph classes

Ioannis Eleftheriadis

Comments: 21 pages

Subjects: Logic in Computer Science (cs.LO)

[5] arXiv:2408.02460 [pdf, html, other]

Title: Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)

Bassem Ghorbel, Vinayak S. Prabhu

Comments: Full version of MEMOCODE 2024 paper

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

[6] arXiv:2408.03244 [pdf, other]

Title: Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles

Jon Arne Glomsrud, Stephanie Kemna, Chanjei Vasanthan, Luman Zhao, Dag McGeorge, Tom Arne Pedersen, Tobias Rye Torben, Børge Rokseth, Dong Trong Nguyen

Comments: 12 pages, 3 figures, final draft submitted to ICMASS/MTEC 2024 conference

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:2408.03334 [pdf, other]

Title: Unconventional Universal Computation in Babbage's Analytical Engine

Raul Rojas

Comments: 6 pages, 1 figure

Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)

[8] arXiv:2408.03796 [pdf, html, other]

Title: PolyHorn: A Polynomial Horn Clause Solver

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, Đorđe Žikelić

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

[9] arXiv:2408.03955 [pdf, html, other]

Title: Computational Modelling for Combinatorial Game Strategies

Răzvan Diaconescu

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

[10] arXiv:2408.04486 [pdf, other]

Title: The Complexity of Learning Temporal Properties

Benjamin Bordais, Daniel Neider, Rajarshi Roy

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:2408.04902 [pdf, html, other]

Title: Algorithms for Markov Binomial Chains

Alejandro Alarcón Gonzalez, Niel Hens, Tim Leys, Guillermo A. Pérez

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:2408.05012 [pdf, other]

Title: Complete Dynamic Logic of Communicating Hybrid Programs

Marvin Brieger, Stefan Mitsch, André Platzer

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:2408.05033 [pdf, html, other]

Title: Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy

Borzoo Bonakdarpour, Anik Momtaz, Dejan Ničković, N. Ege Saraç

Comments: Full version of the paper to appear in RV 2024

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:2408.06035 [pdf, html, other]

Title: Syntax-Guided Automated Program Repair for Hyperproperties

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner

Comments: CAV 2024

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

[15] arXiv:2408.06196 [pdf, html, other]

Title: On Categories of Nested Conditions

Arend Rensink, Andrea Corradini

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:2408.06768 [pdf, html, other]

Title: Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting

Jan-Christoph Kassing, Jürgen Giesl

Comments: arXiv admin note: text overlap with arXiv:2305.11741

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:2408.06988 [pdf, html, other]

Title: Catamorphic Abstractions for Constrained Horn Clause Satisfiability

Emanuele De Angelis (1), Fabio Fioravanti (2), Alberto Pettorossi (3), Maurizio Proietti (1) ((1) IASI-CNR, Rome, Italy, (2) DEc, University 'G. d'Annunzio', Chieti-Pescara, Italy, (3) DICII, University of Rome 'Tor Vergata', Italy)

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

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

[18] arXiv:2408.07059 [pdf, html, other]

Title: Model Counting in the Wild

Arijit Shaw, Kuldeep S. Meel

Comments: Full version of conference paper accepted at KR 2024

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

[19] arXiv:2408.07283 [pdf, html, other]

Title: Queries With Exact Truth Values in Paraconsistent Description Logics

Meghyn Bienvenu, Camille Bourgaux, Daniil Kozhemiachenko

Comments: This is an extended version of a paper with the same title appearing at the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)

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

[20] arXiv:2408.07287 [pdf, html, other]

Title: Abductive Reasoning in a Paraconsistent Framework

Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko

Comments: This is an extended version of a paper with the same title appearing at the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)

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

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