Logic in Computer Science

Authors and titles for February 2014

[1] arXiv:1402.0050 [pdf, other]

Title: Branching Bisimilarity Checking for PRS

Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao

Comments: 18 pages, 6 Figures

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:1402.0081 [pdf, other]

Title: Proof Pattern Search in Coq/SSReflect

Jónathan Heras, Ekaterina Komendantskaya

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:1402.0225 [pdf, other]

Title: An Intuitionisticaly based Description Logic

Edward Hermann Haeusler, Alexandre Rademaker

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:1402.0299 [pdf, other]

Title: A Fixed Point Theorem for Non-Monotonic Functions

Zoltán Ésik, Panos Rondogiannis

Comments: 34 pages. Accepted in: Theoretical Computer Science (to appear)

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

[5] arXiv:1402.0474 [pdf, other]

Title: Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic

Maxime Amblard (INRIA Nancy - Grand Est / LORIA), Christian Retoré (LaBRI)

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

[6] arXiv:1402.0705 [pdf, other]

Title: Implicational Relevance Logic is 2-EXPTIME-Complete

Sylvain Schmitz

Comments: Fixed Fig. 6 as pointed out by Hiromi Tanaka

Journal-ref: Proceedings of RTA-TLCA 2014, Lecture Notes in Computer Science 8560, pp. 395--409, Springer, 2014; journal version in Journal of Symbolic Logic 81(2), pages 641--661, 2016

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:1402.0746 [pdf, other]

Title: Modular Complexity Analysis for Term Rewriting

Harald Zankl (University of Innsbruck), Martin Korp (University of Innsbruck)

Comments: 33 pages; Special issue of RTA 2010

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (April 1, 2014) lmcs:749

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1402.0761 [pdf, other]

Title: Higher Inductive Types as Homotopy-Initial Algebras

Kristina Sojakova

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

[9] arXiv:1402.0897 [pdf, other]

Title: Automata theory in nominal sets

Mikołaj Bojańczyk (University of Warsaw), Bartek Klin (University of Warsaw), Sławomir Lasota (University of Warsaw)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 3 (August 15, 2014) lmcs:1157

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

[10] arXiv:1402.1051 [pdf, other]

Title: Breaking a monad-comonad symmetry between computational effects

Jean-Guillaume Dumas (LJK), Dominique Duval (LJK), Jean-Claude Reynaud (RC)

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

Journal-ref: Mathematical Structures in Computer Science 22, 4 (2012) p.719-722

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

[11] arXiv:1402.1377 [pdf, other]

Title: Reasoning about Games via a First-order Modal Model Checking Approach

Davi Romero de Vasconcelos, Edward Hermann Haeusler

Comments: Extended version of article published in the SBMF 2007. Accepted to ENTCS. Withdrawn from ENTCS in 2014 in virtue to submission to other venue

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:1402.1450 [pdf, other]

Title: Smoothed Model Checking for Uncertain Continuous Time Markov Chains

Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti

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

[13] arXiv:1402.1535 [pdf, other]

Title: PUC-Logic

R. Q. A Fernandes, E. H. Haeusler, L. C. P. D Pereira

Comments: 33 pages, 1 figure

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:1402.1922 [pdf, other]

Title: Amortised Resource Analysis and Typed Polynomial Interpretations (extended version)

Martin Hofmann, Georg Moser

Comments: 25 pages

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

[15] arXiv:1402.1992 [pdf, other]

Title: Euler/X: A Toolkit for Logic-based Taxonomy Integration

Mingmin Chen, Shizhuo Yu, Nico Franz, Shawn Bowers, Bertram Lu\''asher

Comments: 8 pages, 14 figures, WFLP 2013

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

[16] arXiv:1402.2071 [pdf, other]

Title: Attribute Dependencies for Data with Grades

Radim Belohlavek, Vilem Vychodil

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

[17] arXiv:1402.2102 [pdf, other]

Title: PTIME Computation of Transitive Closures of Octagonal Relations

Filip Konecny

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:1402.2127 [pdf, other]

Title: Deciding Entailments in Inductive Separation Logic with Tree Automata

Radu Iosif, Adam Rogalewicz, Tomas Vojnar

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:1402.2143 [pdf, other]

Title: Structural Refinement for the Modal nu-Calculus

Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez

Comments: Accepted at ICTAC 2014

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:1402.2245 [pdf, other]

Title: Proof terms for infinitary rewriting, progress report

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer

Subjects: Logic in Computer Science (cs.LO)

[21] arXiv:1402.2410 [pdf, other]

Title: Incremental QBF Solving

Florian Lonsing, Uwe Egly

Comments: revision (camera-ready, to appear in the proceedings of CP 2014, LNCS, Springer)

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:1402.2474 [pdf, other]

Title: Introducing Quantified Cuts in Logic with Equality

Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller

Subjects: Logic in Computer Science (cs.LO)

[23] arXiv:1402.2698 [pdf, other]

Title: Automated Verification, Synthesis and Correction of Concurrent Systems via MSO Logic

Mateus de Oliveira Oliveira

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)

[24] arXiv:1402.2840 [pdf, other]

Title: Robust Synchronization in Markov Decision Processes

Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi

Comments: 27 pages, 9 figures, 3 Tables. arXiv admin note: text overlap with arXiv:1310.2935

Subjects: Logic in Computer Science (cs.LO)

[25] arXiv:1402.2908 [pdf, other]

Title: The Power of Well-Structured Systems

Sylvain Schmitz, Philippe Schnoebelen

Comments: Invited talk

Journal-ref: Proceedings of Concur 2013, Lecture Notes in Computer Science vol. 8052, pp. 5--24

Subjects: Logic in Computer Science (cs.LO)

[26] arXiv:1402.2948 [pdf, other]

Title: MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications

Petr Čermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:1402.2967 [pdf, other]

Title: Verification of Markov Decision Processes using Learning Algorithms

Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík, Vojtěch Forejt, Jan Křetínský, Marta Kwiatkowska, David Parker, Mateusz Ujma

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:1402.3011 [pdf, other]

Title: Computing Minimal Sets on Propositional Formulae I: Problems & Reductions

Joao Marques-Silva, Mikolas Janota

Comments: This version contains some fixes in formatting and bibliography

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1402.3066 [pdf, other]

Title: Complexity Jumps In Multiagent Justification Logic Under Interacting Justifications

Antonis Achilleos

Subjects: Logic in Computer Science (cs.LO)

[30] arXiv:1402.3314 [pdf, other]

Title: Distributed synthesis for acyclic architectures

Anca Muscholl (LaBRI), Igor Walukiewicz (LaBRI)

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

[31] arXiv:1402.3388 [pdf, other]

Title: From LTL to Deterministic Automata: A Safraless Compositional Approach

Javier Esparza, Jan Křetínský

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

[32] arXiv:1402.4062 [pdf, other]

Title: How to Kill Epsilons with a Dagger -- A Coalgebraic Take on Systems with Algebraic Label Structure

Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1402.4172 [pdf, other]

Title: A propositional system induced by Japaridze's approach to IF logic

Wenyan Xu

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

[34] arXiv:1402.4327 [pdf, other]

Title: Unification and Logarithmic Space

Clément Aubert, Marc Bagnol

Journal-ref: International Conference on Rewriting Techniques and Applications RTA 2014: Rewriting and Typed Lambda Calculi pp 77-9

Subjects: Logic in Computer Science (cs.LO)

[35] arXiv:1402.4741 [pdf, other]

Title: A normative account of defeasible and probabilistic inference

Julio Lemos

Journal-ref: Intuitio 6 (2), 2013, pp. 211-219

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

[36] arXiv:1402.4950 [pdf, other]

Title: On algorithmic equivalence of instruction sequences for computing bit string functions

J. A. Bergstra, C. A. Middelburg

Comments: 27 pages, the preliminaries have textual overlaps with the preliminaries in arXiv:1308.0219 [cs.PL], arXiv:1312.1529 [cs.PL], and arXiv:1312.1812 [cs.PL]; 27 pages, three paragraphs about Milner's algorithmic equivalence hypothesis added to concluding remarks; 26 pages, several minor improvements of the presentation made

Journal-ref: Fundamenta Informaticae, 138(4):411--434, 2015

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:1402.5365 [pdf, other]

Title: Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Marco Bernardo (University of Urbino), Rocco De Nicola (IMT Lucca), Michele Loreti (University of Firenze)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (March 3, 2014) lmcs:1137

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:1402.5687 [pdf, other]

Title: Monoidal computer II: Normal complexity by string diagrams

Dusko Pavlovic

Comments: 11 pages, 18 figures

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

[39] arXiv:1402.6067 [pdf, other]

Title: Regular path queries on graphs with data: A rigid approach

Zhilin Wu

Comments: 25 pages, 2 figures

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

[40] arXiv:1402.6281 [pdf, other]

Title: On coalgebras with internal moves

Tomasz Brengos

Comments: Article: 23 pages, Appendix: 3 pages

Subjects: Logic in Computer Science (cs.LO)

[41] arXiv:1402.6459 [pdf, other]

Title: A proof-theoretic view on scheduling in concurrency

Emmanuel Beffara (I2M)

Subjects: Logic in Computer Science (cs.LO)

[42] arXiv:1402.6804 [pdf, other]

Title: Extending ALCQIO with reachability

Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger

Subjects: Logic in Computer Science (cs.LO)

[43] arXiv:1402.6889 [pdf, other]

Title: Lazy Model Expansion: Interleaving Grounding with Search

Broes De Cat, Marc Denecker, Peter Stuckey, Maurice Bruynooghe

Journal-ref: Journal of Artificial Intelligence Research, feb 2015, volume 52, pages 235-286

Subjects: Logic in Computer Science (cs.LO)

[44] arXiv:1402.7122 [pdf, other]

Title: Nested Regular Path Queries in Description Logics

Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus

Comments: added Figure 1

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

[45] arXiv:1402.7253 [pdf, other]

Title: A Simple Character String Proof of the "True but Unprovable" Version of G\"odel's First Incompleteness Theorem

Antti Valmari (Tampere University of Technology)

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal-ref: EPTCS 151, 2014, pp. 355-369

Subjects: Logic in Computer Science (cs.LO)

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

Title: Generalized Quantifiers on Dependent Types: A System for Anaphora

Justyna Grudzinska, Marek Zawadowski

Comments: 40 pages; final version

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

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

Title: Description Logic Knowledge and Action Bases

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

Journal-ref: Journal Of Artificial Intelligence Research, Volume 46, pages 651-686, 2013

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

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

Title: Reasoning about Explanations for Negative Query Answers in DL-Lite

Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni

Journal-ref: Journal Of Artificial Intelligence Research, Volume 48, pages 635-669, 2013

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

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

Title: Machine Learner for Automated Reasoning 0.4 and 0.5

Cezary Kaliszyk, Josef Urban, Jiří Vyskočil

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

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

Title: Type Theory in Ludics

Eugenia Sironi

Comments: arXiv admin note: text overlap with arXiv:1307.1028 by other authors

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