Logic in Computer Science

Authors and titles for April 2015

[26] arXiv:1504.04115 [pdf, other]

Title: FO Model Checking on Posets of Bounded Width

Jakub Gajarský, Petr Hliněný, Daniel Lokshtanov, Jan Obdržálek, Sebastian Ordyniak, M. S. Ramanujan, Saket Saurabh

Comments: Minor correction, p.5, def. of τ_{s+1}: instead of an induced subdigraph of D_s, we use the appropriate relational structure formed from this subdigrph

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)

[27] arXiv:1504.04152 [pdf, other]

Title: Interaction Graphs: Full Linear Logic

Thomas Seiller

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

[28] arXiv:1504.04311 [pdf, other]

Title: Higher category models of the pi-calculus

Mike Stay, Lucius Gregory Meredith

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1504.04662 [pdf, other]

Title: Permissive Controller Synthesis for Probabilistic Systems

Klaus Drager (Queen Mary, University of London), Vojtech Forejt (University of Oxford), Marta Kwiatkowska (University of Oxford), David Parker (University of Birmingham), Mateusz Ujma (University of Oxford)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 2 (June 30, 2015) lmcs:1576

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

[30] arXiv:1504.04708 [pdf, other]

Title: The model checking fingerprints of CTL operators

Andreas Krebs, Arne Meier, Martin Mundhenk

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[31] arXiv:1504.04759 [pdf, other]

Title: On the Identity Type as the Type of Computational Paths

Arthur F. Ramos, Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira

Comments: 16 pages

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1504.05038 [pdf, other]

Title: Conservativity of embeddings in the lambda Pi calculus modulo rewriting (long version)

Ali Assaf

Comments: Long version of TLCA 2015 paper

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1504.05739 [pdf, other]

Title: Faster Statistical Model Checking for Unbounded Temporal Properties

Przemysław Daca, Thomas A. Henzinger, Jan Křetínský, Tatjana Petrov

Comments: Published in the proceedings of 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:1504.05797 [pdf, other]

Title: Service-Oriented Logic Programming

Ionut Tutu (Department of Computer Science, Royal Holloway University of London), Jose Luiz Fiadeiro (Department of Computer Science, Royal Holloway University of London)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 3 (August 18, 2015) lmcs:1579

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1504.06105 [pdf, other]

Title: Model Checking Constraint LTL over Trees

Alexander Kartzow, Thomas Weidner

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1504.06135 [pdf, other]

Title: Complexity of Propositional Logics in Team Semantics

Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer

Comments: 15 pages + 1 page appendix, the main result is generalised and the title updated to reflect this

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

[37] arXiv:1504.06187 [pdf, other]

Title: LTL Fragments are Hard for Standard Parameterisations

Martin Lück, Arne Meier

Comments: TIME 2015 conference version

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[38] arXiv:1504.06203 [pdf, other]

Title: A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis

Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang

Journal-ref: Theoretical Computer Science, 2016, Volume 649, 11 October 2016, Pages 25--53

Subjects: Logic in Computer Science (cs.LO)

[39] arXiv:1504.06355 [pdf, other]

Title: On Freeze LTL with Ordered Attributes

Normann Decker, Daniel Thoma

Comments: Extended version of article published in proceedings of FoSSaCS 2016

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:1504.06409 [pdf, other]

Title: Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics

Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer

Comments: Correction of MFCS 2015 paper

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[41] arXiv:1504.06534 [pdf, other]

Title: An Automata-Theoretic Approach to the Verification of Distributed Algorithms

C. Aiswarya, Benedikt Bollig, Paul Gastin

Comments: 26 pages, 6 figures

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

[42] arXiv:1504.06986 [pdf, other]

Title: Proof Theory of a Multi-Lane Spatial Logic

Sven Linker (Carl von Ossietzky Universität Oldenburg), Martin Hilscher (Carl von Ossietzky Universität Oldenburg)

Comments: This paper is the extended and slightly revised version of our publication in the 10th International Colloquium on Theoretical Aspects of Computing (ICTAC) in 2013

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 3 (August 18, 2015) lmcs:1580

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:1504.07003 [pdf, other]

Title: A Graph Theoretic Perspective on CPM(Rel)

Daniel Marsden (University of Oxford)

Comments: In Proceedings QPL 2015, arXiv:1511.01181

Journal-ref: EPTCS 195, 2015, pp. 273-284

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

[44] arXiv:1504.07737 [pdf, other]

Title: A Simple Probabilistic Extension of Modal Mu-calculus

Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang

Subjects: Logic in Computer Science (cs.LO)

[45] arXiv:1504.08309 [pdf, other]

Title: Refining Existential Properties in Separation Logic Analyses

Matko Botinčan, Mike Dodds, Stephen Magill

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

[46] arXiv:1504.08321 [pdf, other]

Title: Evaluation trees for proposition algebra

Jan A. Bergstra, Alban Ponse

Comments: 34 pages, 1 table; main differences with v2: some proofs are corrected and/or simplified in S.3-6

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:1504.00134 (cross-list from math.FA) [pdf, other]

Title: From Haar to Lebesgue via Domain Theory, Revised version

Will Brian, Michael Mislove

Comments: This is a revised version of an earlier paper. The original claimed that all Haar measures on C are the same, which is not true. This version corrects that error

Subjects: Functional Analysis (math.FA); Logic in Computer Science (cs.LO); Group Theory (math.GR)

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

Title: Reactive Synthesis Without Regret

Paul Hunter, Guillermo A. Pérez, Jean-François Raskin

Comments: Fixed inaccuracies spotted by Udi Boker and Karoliina Lehtinen and improved the presentation of a few proofs

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

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

Title: The Lattice of Congruences of a Finite Line Frame

Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf

Comments: 31 pages, 11 figures. Expanded intro, conclusions rewritten. New, less geometrical, proofs of Lemma 19 and (former) Lemma 34

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

[50] arXiv:1504.02297 (cross-list from math.CT) [pdf, other]

Title: Formalizing parity complexes

Mitchell Buckley

Comments: Second version following revision for publication, 27 pages

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