Logic in Computer Science

Authors and titles for October 2015

[1] arXiv:1510.00077 [pdf, other]

Title: The Attack as Intuitionistic Negation

Dov Gabbay, Michael Gabbay

Comments: 34 pages, 18 figures

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:1510.00797 [pdf, other]

Title: {\L}ukasiewicz {\mu}-calculus

Matteo Mio, Alex Simpson

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:1510.01044 [pdf, other]

Title: A Sorted Semantic Framework for Applied Process Calculi

Johannes Borgström (Uppsala University), Ramūnas Gutkovas (Uppsala University), Joachim Parrow (Uppsala University), Björn Victor (Uppsala University), Johannes Åman Pohjola (Uppsala University)

Comments: 49 pages

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 1 (March 31, 2016) lmcs:1631

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1510.01391 [pdf, other]

Title: Abstraction/Representation Theory for Heterotic Physical Computing

Dominic C. Horsman

Comments: Dominic Horsman published previously as Clare Horsman

Journal-ref: Phil. Trans. R. Soc. A 2015 373 20140224 (June 2015)

Subjects: Logic in Computer Science (cs.LO); Emerging Technologies (cs.ET); Social and Information Networks (cs.SI)

[5] arXiv:1510.02642 [pdf, other]

Title: An Instantiation-Based Approach for Solving Quantified Linear Arithmetic

Andrew Reynolds, Tim King, Viktor Kuncak

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1510.02834 [pdf, other]

Title: NTCCRT: A concurrent constraint framework for real-time interaction (extended version)

Mauricio Toro, Camilo Rueda, Carlos Agón, Gérard Assayag

Comments: 12 pages, short version published in the International Computer Music Conference (ICMC), 2009

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

[7] arXiv:1510.02836 [pdf, other]

Title: A Model for Interactive Scores with Temporal Constraints and Conditional Branching

Mauricio Toro, Myriam Desainte-Catherine, Pascal Baltazar

Comments: 14 pages, extended version of conference paper on Journées de INformatique Musicale 2010

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1510.02840 [pdf, other]

Title: Concurrent Constraint Machine Improvisation: Models and Implementation

Mauricio Toro

Comments: 8 pages

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:1510.03319 [pdf, other]

Title: A decidable weakening of Compass Logic based on cone-shaped cardinal directions

Angelo Montanari (University of Udine, Italy), Gabriele Puppis (LaBRI - CNRS), Pietro Sala (University of Verona, Italy)

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

Subjects: Logic in Computer Science (cs.LO)

[10] arXiv:1510.03531 [pdf, other]

Title: A Program Logic for Verifying Secure Routing Protocols

Chen Chen (University of Pennsylvania), Limin Jia (Carnegie Mellon University), Hao Xu (University of Pennsylvania), Cheng Luo (University of Pennsylvania), Wenchao Zhou (Georgetown University), Boon Thau Loo (University of Pennsylvania)

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

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:1510.03918 [pdf, other]

Title: The equivalence of the torus and the product of two circles in homotopy type theory

Kristina Sojakova

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

[12] arXiv:1510.03994 [pdf, other]

Title: Decidability in the logic of subsequences and supersequences

Prateek Karandikar, Philippe Schnoebelen

Journal-ref: 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)

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

[13] arXiv:1510.04393 [pdf, other]

Title: The Diagonal Lemma Fails in Aristotelian Logic

X.Y. Newberry

Journal-ref: The Reasoner Volume 10, Number 1 January 2016 pgs 102-103

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:1510.04469 [pdf, other]

Title: A Formal System: Rigorous Constructions of Computer Models

Garry Pantelis

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1510.04661 [pdf, other]

Title: A Type-Theoretic Approach to Resolution

Peng Fu, Ekaterina Komendantskaya

Comments: 21 page (incl appendices) in LOPSTR'15 LNCS post-proceedings, 2015. arXiv admin note: substantial text overlap with arXiv:1506.06166

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:1510.04821 [pdf, other]

Title: The Vampire and the FOOL

Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1510.04854 [pdf, other]

Title: A Semantic Theory of the Internet of Things

Valentina Castiglioni, Ruggero Lanotte, Massimo Merro

Comments: The contribution of Valentina Castiglioni is limited to an early writing of some of the proofs in the Appendix

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1510.05162 [pdf, other]

Title: Satisfiability of Short Circuit Logic

Sander in 't Veld

Comments: Supervisors: dr. Inge Bethke, prof. dr. Jan van Eijck

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:1510.05326 [pdf, other]

Title: Combining intermediate propositional logics with classical logic

Steffen Lewitzka

Comments: 18 pages

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1510.05724 [pdf, other]

Title: Approaching the Coverability Problem Continuously

Michael Blondin, Alain Finkel, Christoph Haase, Serge Haddad

Comments: 18 pages, 4 figures

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

[21] arXiv:1510.06020 [pdf, other]

Title: Petri Nets and its Polynomials

Andrey Grinblat, Viktor Lopatkin

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1510.06178 [pdf, other]

Title: Proof equivalence in MLL is PSPACE-complete

Willem Heijltjes (University of Bath), Robin Houston

Comments: Journal version of: Willem Heijltjes and Robin Houston. No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete. In Proc. Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, 2014

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 1 (March 2, 2016) lmcs:1625

Subjects: Logic in Computer Science (cs.LO)

[23] arXiv:1510.06298 [pdf, other]

Title: Switchability and collapsibility of Gap Algebras

Barnaby Martin, Dmitriy Zhuk

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:1510.06649 [pdf, other]

Title: Operator Algebras in Quantum Computation

Mathys Rennela

Comments: 37 pages, made under the supervision of Prof. dr. B.P.F. Jacobs in partial fulfillment of the Master Parisien de Recherche en Informatique (MPRI) of Université Paris 7 Diderot

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

[25] arXiv:1510.06658 [pdf, other]

Title: Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Søren Debois (IT University of Copenhagen), Thomas Hildebrandt (IT University of Copenhagen), Tijs Slaats (IT University of Copenhagen, Exformatics A/S), Nobuko Yoshida (Imperial College, London, Department of Computing)

Comments: Accepted for publication in Logical Methods in Computer Science

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 1 (January 6, 2016) lmcs:1624

Subjects: Logic in Computer Science (cs.LO)

[26] arXiv:1510.06879 [pdf, other]

Title: Characteristic Formulae for Session Types (extended version)

Julien Lange, Nobuko Yoshida

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1510.07247 [pdf, other]

Title: Some Notes on Temporal Justification Logic

Samuel Bucheli

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

[28] arXiv:1510.07253 [pdf, other]

Title: Reversing Single Sessions

Francesco Tiezzi, Nobuko Yoshida

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

[29] arXiv:1510.07276 [pdf, other]

Title: Complexity of Conditional Term Rewriting

Cynthia Kop, Aart Middeldorp, Thomas Sternagel

Comments: This is an extended and improved version of "Conditional Complexity" as published in the proceedings of RTA 2015. It has been submitted for journal publication in LMCS

Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 1 (February 6, 2017) lmcs:3123

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:1510.08079 [pdf, other]

Title: Temporal Logic as Filtering

Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu

Comments: 10 pages

Journal-ref: HSCC 2016, April 12 - 14, 2016, Vienna, Austria

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:1510.08331 [pdf, other]

Title: Structurally Cyclic Petri Nets

Drewes Frank (Dept. of Computing Science, Umeå University, Umeå, Sweden), Leroux Jérôme (LaBRI, CNRS)

Comments: 9 pages. Key words: Petri net, vector addition system, structural cyclicity, reachability

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

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1510.08393 [pdf, other]

Title: What's Decidable about Syntax-Guided Synthesis?

Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1510.08498 [pdf, other]

Title: A Coinductive Approach to Computing with Compact Sets

Ulrich Berger, Dieter Spreen

Comments: 34 pages

Subjects: Logic in Computer Science (cs.LO)

[34] arXiv:1510.08506 [pdf, other]

Title: Regular Symmetry Patterns (Technical Report)

Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun

Comments: Technical report of VMCAI'16 paper

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1510.08517 [pdf, other]

Title: Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

Krishnendu Chatterjee, Hongfei Fu, Petr Novotny, Rouzbeh Hasheminezhad

Comments: 24 pages, full version to the conference paper on POPL 2016

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

[36] arXiv:1510.08564 [pdf, other]

Title: Build your own clarithmetic I: Setup and completeness

Giorgi Japaridze (Villanova University, USA)

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 3 (April 27, 2017) lmcs:2020

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:1510.08566 [pdf, other]

Title: Build your own clarithmetic II: Soundness

Giorgi Japaridze (Department of Computing Sciences, Villanova University)

Journal-ref: Logical Methods in Computer Science, Volume 12, Issue 3 (April 27, 2017) lmcs:2028

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:1510.08786 [pdf, other]

Title: Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic

Martin Lück

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

[39] arXiv:1510.08970 [pdf, other]

Title: Robust Linear Temporal Logic

Paulo Tabuada, Daniel Neider

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

[40] arXiv:1510.09040 [pdf, other]

Title: Approximation and Dependence via Multiteam Semantics

Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema

Comments: Accepted paper for FoIKS conference, long version

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

[41] arXiv:1510.09095 [pdf, other]

Title: Completeness-via-canonicity for coalgebraic logics

Fredrik Dahlqvist

Comments: PhD thesis. 288 pages

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

[42] arXiv:1510.09102 [pdf, other]

Title: Trace Refinement in Labelled Markov Decision Processes

Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 2 (June 3, 2020) lmcs:5002

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:1510.00523 (cross-list from cs.DS) [pdf, other]

Title: Implementing Efficient All Solutions SAT Solvers

Takahisa Toda, Takehide Soh

Journal-ref: ACM Journal of Experimental Algorithmics, Vol. 21, No. 1, Article 1.12, 2016

Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

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

Title: On the Uniform Computational Content of the Baire Category Theorem

Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer

Comments: 28 pages

Journal-ref: Notre Dame J. Formal Logic 59, no. 4 (2018), 605-636

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

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

Title: Effect-Dependent Transformations for Concurrent Programs

Nick Benton, Martin Hofmann, Vivek Nigam

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

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

Title: The grounding for Continuum

Stanislaw Ambroszkiewicz

Comments: This is the second part of the general framework for a constructive type theory presented in the paper Functionals and hardware arXiv:1501.03043. The version is final. The research on the grounding of Mathematics is continued in the paper {\em Asymptotic combinatorial constructions of Geometries} available at arXiv:1904.05173

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

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

Title: Towards non-threaded Concurrent Constraint Programming for implementing multimedia interaction systems

Mauricio Toro

Comments: 55 pages

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

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

Title: On the equivalence of different presentations of Turner's bracket abstraction algorithm

Łukasz Czajka

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

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

Title: Subvarieties of the variety of meadows

Jan A. Bergstra, Inge Bethke

Comments: 11 pages

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

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

Title: The wonderland of reflections

Libor Barto, Jakub Opršal, Michael Pinsker

Comments: 24 pages

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