Logic in Computer Science

Authors and titles for cs.LO in Apr 2020

[1]  arXiv:2004.00124 [pdf, other]

Title: Axiomatizing Hybrid XPath with Data

Authors: Carlos Areces, Raul Fervari

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 3 (July 20, 2021) lmcs:6259

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:2004.01320 [pdf, other]

Title: Session Type Systems based on Linear Logic: Classical versus Intuitionistic

Authors: Bas van den Heuvel (University of Groningen), Jorge A. Pérez (University of Groningen)

Comments: In Proceedings PLACES 2020, arXiv:2004.01062

Journal-ref: EPTCS 314, 2020, pp. 1-11

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

[3]  arXiv:2004.01410 [pdf, other]

Title: Omission-based Abstraction for Answer Set Programs

Authors: Zeynep G. Saribatur, Thomas Eiter

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

Journal-ref: Theory and Practice of Logic Programming 21 (2021) 145-195

Subjects: Logic in Computer Science (cs.LO)

[4]  arXiv:2004.01709 [pdf, other]

Title: Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory

Authors: Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri

Comments: 31 pages. Second version is a minor revision. arXiv admin note: text overlap with arXiv:1804.06687

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 4 (December 15, 2020) lmcs:6278

Subjects: Logic in Computer Science (cs.LO)

[5]  arXiv:2004.01859 [pdf, other]

Title: Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

Authors: Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali

Subjects: Logic in Computer Science (cs.LO)

[6]  arXiv:2004.02120 [pdf, ps, other]

Title: Simpler completeness proofs for modal logics with intersection

Authors: Yì N. Wáng, Thomas Ågotnes

Comments: 16 pages

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

[7]  arXiv:2004.02282 [pdf, ps, other]

Title: Clique-Width of Point Configurations

Authors: Onur Çağırıcı, Petr Hliněný, Filip Pokrývka, Abhisekh Sankaran

Subjects: Logic in Computer Science (cs.LO); Computational Geometry (cs.CG)

[8]  arXiv:2004.03719 [pdf, other]

Title: The Mathematical Syntax of Architectures

Authors: Christoph F. Strnadl

Comments: 22 pages, 4 figures, 1 table, 12 definitions, 2 theorems, 1 lemma, 1 corollary. This is a considerably extended version of the initial submission with new material in almost every section including minor technical amendments and (typographical) corrections

Subjects: Logic in Computer Science (cs.LO); Information Theory (cs.IT)

[9]  arXiv:2004.03924 [pdf, ps, other]

Title: Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere

Authors: Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner

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

[10]  arXiv:2004.04214 [pdf, other]

Title: Optimal Runtime Verification of Finite State Properties over Lossy Event Streams

Authors: Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer

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

[11]  arXiv:2004.04854 [pdf, ps, other]

Title: Politeness for the Theory of Algebraic Datatypes

Authors: Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett

Subjects: Logic in Computer Science (cs.LO)

[12]  arXiv:2004.05287 [pdf, other]

Title: The ZX&-calculus: A complete graphical calculus for classical circuits using spiders

Authors: Cole Comfort (University of Oxford)

Comments: In Proceedings QPL 2020, arXiv:2109.01534

Journal-ref: EPTCS 340, 2021, pp. 60-90

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Quantum Physics (quant-ph)

[13]  arXiv:2004.05392 [pdf, other]

Title: Computing with Continuous Objects: A Uniform Co-inductive Approach

Authors: Dieter Spreen

Comments: 46 pages

Journal-ref: Math. Struct. Comp. Sci. 31 (2021) 144-192

Subjects: Logic in Computer Science (cs.LO); Dynamical Systems (math.DS); General Topology (math.GN)

[14]  arXiv:2004.05400 [pdf, ps, other]

Title: Steps and Traces

Authors: Jurriaan Rot, Bart Jacobs, Paul Levy

Subjects: Logic in Computer Science (cs.LO)

[15]  arXiv:2004.05688 [pdf, ps, other]

Title: The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices

Authors: Gershom Bazerman, Raymond Puzio

Comments: 22 pages

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

[16]  arXiv:2004.05802 [pdf, ps, other]

Title: To Be Announced

Authors: Hans van Ditmarsch

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

[17]  arXiv:2004.05853 [pdf, ps, other]

Title: Generation Of A Complete Set Of Properties

Authors: Eugene Goldberg

Subjects: Logic in Computer Science (cs.LO)

[18]  arXiv:2004.05943 [pdf, ps, other]

Title: Congruence Preservation, Lattices and Recognizability

Authors: Patrick Cegielski, Serge Grigorieff, Irene Guessarian

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

[19]  arXiv:2004.06637 [pdf, other]

Title: Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis

Authors: Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek

Comments: This paper is a preprint of the corresponding ESREL/PSAM 2020 conference publication

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

[20]  arXiv:2004.06997 [pdf, ps, other]

Title: Prolog Technology Reinforcement Learning Prover

Authors: Zsolt Zombori, Josef Urban, Chad E. Brown

Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)

[21]  arXiv:2004.07058 [pdf, ps, other]

Title: Computing Tropical Prevarieties with Satisfiability Modulo Theories (SMT) Solvers

Authors: Christoph Lüders

Subjects: Logic in Computer Science (cs.LO); Computational Geometry (cs.CG)

[22]  arXiv:2004.07221 [pdf, ps, other]

Title: First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic

Authors: Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Subjects: Logic in Computer Science (cs.LO)

[23]  arXiv:2004.07390 [pdf, other]

Title: Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory

Authors: Dominik Kirst, Dominique Larchey-Wendling

Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL); Logic (math.LO)

[24]  arXiv:2004.07506 [pdf, ps, other]

Title: On Reductions of Hintikka Sets for Higher-Order Logic

Authors: Alexander Steen, Christoph Benzmüller

Comments: 10 pages; improved version

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

[25]  arXiv:2004.07578 [pdf, other]

Title: Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard

Authors: Mnacho Echenim, Radu Iosif, Nicolas Peltier

Subjects: Logic in Computer Science (cs.LO)