Logic in Computer Science

Authors and titles for October 2017

[26] arXiv:1710.07516 [pdf, other]

Title: An impure solution to the problem of matching fans

Anton Salikhmetov

Comments: 3 pages

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1710.07660 [pdf, other]

Title: Verifying Equivalence of Database-Driven Applications

Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook

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

[28] arXiv:1710.07903 [pdf, other]

Title: The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes

Stephane Le Roux, Guillermo A. Perez

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

[29] arXiv:1710.07997 [pdf, other]

Title: Timed Concurrent State Machines

Wiktor B. Daszczuk

Comments: 13 pages, 4 figures

Journal-ref: Computer Science, vol. 8, 2007, pp. 23-36

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

[30] arXiv:1710.08195 [pdf, other]

Title: The Refinement Calculus of Reactive Systems Toolset

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

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

[31] arXiv:1710.08326 [pdf, other]

Title: Fitch-Style Modal Lambda Calculi

Ranald Clouston

Comments: Accepted paper at the 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018). This version includes appendices containing many proof details

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1710.08350 [pdf, other]

Title: Algebra, coalgebra, and minimization in polynomial differential equations

Michele Boreale

Comments: 27 pages, extended and revised version of FOSSACS 2017 paper

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (February 15, 2019) lmcs:4009

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1710.08668 [pdf, other]

Title: Bounded Quantifier Instantiation for Checking Inductive Invariants

Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 3 (August 21, 2019) lmcs:4018

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

[34] arXiv:1710.08996 [pdf, other]

Title: Permutation Games for the Weakly Aconjunctive $μ$-Calculus

Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1710.09635 [pdf, other]

Title: Automated Lemma Synthesis in Symbolic-Heap Separation Logic

Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin

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

[36] arXiv:1710.09951 [pdf, other]

Title: Probabilistic Couplings for Probabilistic Reasoning

Justin Hsu

Comments: PhD thesis, University of Pennsylvania, 2017

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL)

[37] arXiv:1710.10203 [pdf, other]

Title: Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism

James Laird

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 4 (November 24, 2021) lmcs:4043

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:1710.10292 [pdf, other]

Title: Ranking Functions for Vector Addition Systems

Florian Zuleger

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1710.10294 [pdf, other]

Title: Permissive Finite-State Controllers of POMDPs using Parameter Synthesis

Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker

Comments: This is an extended version of the paper: S. Junges, N. Jansen, R. Wimmer, T. Quatmann, L. Winterer, J.-P. Katoen, B. Becker: Finite-state Controllers of POMDPs via Parameter Synthesis. Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI 2018), Monterey, CA, USA, August 6-10, 2018

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

[40] arXiv:1710.10307 [pdf, other]

Title: The James construction and $π_4(\mathbb{S}^3)$ in homotopy type theory

Guillaume Brunerie

Comments: 30 pages

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

[41] arXiv:1710.10402 [pdf, other]

Title: Termination in Convex Sets of Distributions

Ana Sokolova, Harald Woracek

Journal-ref: Logical Methods in Computer Science, Volume 14, Issue 4 (November 20, 2018) lmcs:4036

Subjects: Logic in Computer Science (cs.LO)

[42] arXiv:1710.10706 [pdf, other]

Title: Disjunctive bases: normal forms and model theory for modal logics

Sebastian Enqvist, Yde Venema

Comments: This is a corrected version of the paper arXiv:1710.10706 published originally on 26/3, 2019

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (August 23, 2022) lmcs:4038

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:1710.10756 [pdf, other]

Title: Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report)

Ondrej Lengal, Anthony W. Lin, Rupak Majumdar, Philipp Ruemmer

Comments: A technical report of a TACAS'17 paper

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

[44] arXiv:1710.10805 [pdf, other]

Title: Modular Labelled Sequent Calculi for Abstract Separation Logics

Zhé Hóu, Ranald Clouston, Rajeev Goré, Alwen Tiu

Comments: Accepted for publication in ACM Transactions on Computational Logic (TOCL). arXiv admin note: text overlap with arXiv:1307.5592

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

[45] arXiv:1710.11500 [pdf, other]

Title: The equational theory of the natural join and inner union is decidable

Luigi Santocanale (LIF)

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

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

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

Title: Univalent Foundations and the UniMath Library

Anthony Bordg

Journal-ref: In: Centrone S., Kant D., Sarikaya D. (eds) Reflections on the Foundations of Mathematics. Synthese Library, vol 407, 2019. Springer, Cham

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

[47] arXiv:1710.03107 (cross-list from cs.SE) [pdf, other]

Title: Verification of Binarized Neural Networks via Inter-Neuron Factoring

Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess

Comments: Version 2: add proofs for hardness of PTAS approximability, remove experiments on randomized examples and some not-so-important optimizations

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

[48] arXiv:1710.03148 (cross-list from cs.CC) [pdf, other]

Title: The complexity of general-valued CSPs seen from the other side

Clement Carbonnel, Miguel Romero, Stanislav Zivny

Comments: v3: Full version of a FOCS'18 paper; some parts shortened compared to v2 and other small corrections

Journal-ref: SIAM Journal on Computing 51(1) (2022) 19-69

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

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

Title: On Preemption and Overdetermination in Formal Theories of Causality

Sjur K Dyrkolbotn (Western Norway University of Applied Sciences)

Comments: In Proceedings CREST 2017, arXiv:1710.02770

Journal-ref: EPTCS 259, 2017, pp. 1-15

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

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

Title: A Note on Nesting in Dyadic Deontic Logic

Agneau Belanyek, Davide Grossi, Wiebe van der Hoek

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