Logic in Computer Science

Authors and titles for September 2014

[26] arXiv:1409.3941 [pdf, other]

Title: Polynomial Template Generation using Sum-of-Squares Programming

Assalé Adjé, Victor Magron

Comments: 23 pages, 3 figures, 1 table

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

[27] arXiv:1409.4433 [pdf, other]

Title: Faster Existential FO Model Checking on Posets

Jakub Gajarský (Masaryk University, Brno), Petr Hliněný (Masaryk University, Brno), Jan Obdržálek (Masaryk University, Brno), Sebastian Ordyniak (Masaryk University, Brno)

Comments: Paper as accepted to the LMCS journal. An extended abstract of an earlier version of this paper has appeared at ISAAC'14. Main changes to the previous version are improvements in the Multicoloured Clique part (Section 4)

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 11, 2015) lmcs:1609

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

[28] arXiv:1409.4637 [pdf, other]

Title: Automatic Error Localization for Software using Deductive Verification

Robert Koenighofer, Ronald Toegl, Roderick Bloem

Comments: This is an extended version of [8], featuring an additional appendix

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

[29] arXiv:1409.4925 [pdf, other]

Title: Second-Order Propositional Satisfiability

Cristina David, Daniel Kroening, Matt Lewis

Comments: 19 pages

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:1409.5368 [pdf, other]

Title: Fly-automata, model-checking and recognizability

Bruno Courcelle (LaBRI), Irène A. Durand (LaBRI)

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:1409.5681 [pdf, other]

Title: Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models

Steen Vester

Comments: 22 pages, 12 figures

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1409.5865 [pdf, other]

Title: Homotopy Bisimilarity for Higher-Dimensional Automata

Uli Fahrenberg, Axel Legay

Comments: Heavily revised version of arXiv:1209.4927

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

[33] arXiv:1409.6253 [pdf, other]

Title: Constructing Coverability Graphs for Time Basic Petri Nets

Matteo Camilli

Comments: 13 pages

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

[34] arXiv:1409.6414 [pdf, other]

Title: Proof Generation from Delta-Decisions

Sicun Gao, Soonho Kong, Edmund Clarke

Comments: Appeared in SYNASC'14

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1409.6466 [pdf, other]

Title: Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

Yongming Li, Zhanyou Ma

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1409.6856 [pdf, other]

Title: Reconfigurable Decorated PT Nets with Inhibitor Arcs and Transition Priorities

Julia Padberg

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

[37] arXiv:1409.6873 [pdf, other]

Title: Probabilistic thread algebra

J. A. Bergstra, C. A. Middelburg

Comments: 25 pages (arXiv admin note: text overlap with arXiv:1408.2955, arXiv:1402.4950); some simplifications made; substantially revised

Journal-ref: Scientific Annals of Computer Science 25(2):211--243, 2015

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

[38] arXiv:1409.6977 [pdf, other]

Title: On the information carried by programs about the objects they compute

Mathieu Hoyrup, Cristobal Rojas

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

[39] arXiv:1409.7411 [pdf, other]

Title: A Higher-order Framework for Decision Problems and Games

Jules Hedges, Paulo Oliva, Evguenia Winschel, Viktor Winschel, Philipp Zahn

Comments: 45 pages

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

[40] arXiv:1409.7488 [pdf, other]

Title: On the strictness of the quantifier structure hierarchy in first-order logic

Yuguo He (School of Computer Science and Technology, Beijing Institute of Technology, China)

Comments: 38 pages, 8 figures

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 4 (November 13, 2014) lmcs:965

Subjects: Logic in Computer Science (cs.LO)

[41] arXiv:1409.7542 [pdf, other]

Title: Thin Games with Symmetry and Concurrent Hyland-Ong Games

Simon Castellan (LIP), Pierre Clairambault (LIP, PLUME), Glynn Winskel

Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (March 4, 2019) lmcs:3891

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

[42] arXiv:1409.8056 [pdf, other]

Title: Full abstraction for fair testing in CCS (expanded version)

Tom Hirschowitz (CNRS, Université de Savoie)

Comments: 80 pages

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 4 (October 31, 2014) lmcs:1090

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:1409.0194 (cross-list from quant-ph) [pdf, other]

Title: A Pragmatic Interpretation of Quantum Logic

Claudio Garola

Comments: Third version: 20 pages. Sects. 1, 2, and 4 rewritten and improved. Explanations added

Journal-ref: Int J Theor Phys (2017) 56: 3770-3782

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

[44] arXiv:1409.0309 (cross-list from cs.CR) [pdf, other]

Title: Using Architecture to Reason about Information Security

Stephen Chong, Ron van der Meyden

Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

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

Title: On approximate decidability of minimal programs

Jason Teutsch, Marius Zimand

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

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

Title: Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality

Emanuel Kieroński, Antti Kuusisto

Comments: preprint

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

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

Title: Narrow Proofs May Be Maximally Long

Albert Atserias, Massimo Lauria, Jakob Nordström

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

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

Title: From Small Space to Small Width in Resolution

Yuval Filmus, Massimo Lauria, Mladen Mikša, Jakob Nordström, Marc Vinyals

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

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

Title: LTL Parameter Synthesis of Parametric Timed Automata

Peter Bezděk, Nikola Beneš, Jiří Barnat, Ivana Černá

Comments: 23 pages, extended version

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

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

Title: On the Termination of Linear and Affine Programs over the Integers

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe

Comments: arXiv admin note: substantial text overlap with arXiv:1407.4556

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

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

Title: Projective clone homomorphisms

Manuel Bodirsky, Michael Pinsker, András Pongrácz

Comments: 13 pages

Journal-ref: J. symb. log. 86 (2021) 148-161

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

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

Title: Decidability Problems for Actor Systems

Frank De Boer (CWI), Mahdi Jaghoori (Leiden University), Cosimo Laneve (University of Bologna), Gianluigi Zavattaro (University of Bologna)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 4 (December 4, 2014) lmcs:1091

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

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

Title: Discrete Transfinite Computation

Philip Welch

Comments: A survey of transfinite computational models to appear as a chapter in " Turing's Ideas: their significance and impact ", Eds G. Sommaruga & T. Strahm, Birkhäuser, 2015

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

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

Title: A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems

Ebru Aydin Gol, Ezio Bartocci, Calin Belta

Subjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Systems and Control (eess.SY)

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

Title: Gödel for Goldilocks: A Rigorous, Streamlined Proof of (a variant of) Gödel's First Incompleteness Theorem

Dan Gusfield

Comments: Version 2 corrects typos and one definition in the first version, and expands or contracts parts of the exposition, but the main content remains the same. Version 3 removes an unnecessary comment in Version 2

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

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

Title: Causal Graph Justifications of Logic Programs

Pedro Cabalar, Jorge Fandinno, Michael Fink

Journal-ref: Theory and Practice of Logic Programming (2014), volume 14, issue 4-5, pp. 603-618

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

[57] arXiv:1409.7687 (cross-list from cs.NI) [pdf, other]

Title: Verifying Isolation Properties in the Presence of Middleboxes

Aurojit Panda, Ori Lahav, Katerina Argyraki, Mooly Sagiv, Scott Shenker

Comments: Under submission to NSDI

Subjects: Networking and Internet Architecture (cs.NI); Logic in Computer Science (cs.LO)

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

Title: Using Answer Set Programming for pattern mining

Thomas Guyet (INRIA - IRISA), Yves Moinard (INRIA - IRISA), René Quiniou (INRIA - IRISA)

Comments: Intelligence Artificielle Fondamentale (2014)

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

[59] arXiv:1409.7922 (cross-list from cs.FL) [pdf, other]

Title: Computing downward closures for stacked counter automata

Georg Zetzsche

Comments: 34 pages, 1 figure; submitted

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

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

Title: The Odds of Staying on Budget

Christoph Haase, Stefan Kiefer

Comments: Technical report for an ICALP'15 paper. 30 pages, 1 figure

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

[61] arXiv:1409.8404 (cross-list from cs.FL) [pdf, other]

Title: Converting Reconfigurable Petri Nets to Maude

Alexander Schulz

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