Logic in Computer Science

Authors and titles for February 2011

[1] arXiv:1102.0155 [pdf, other]

Title: Weak mu-equality is decidable

Wil Dekkers

Comments: 11 pages

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

[2] arXiv:1102.0749 [pdf, other]

Title: Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting

Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff

Comments: In Proceedings LSFA 2011, arXiv:1203.5423

Journal-ref: EPTCS 81, 2012, pp. 16-29

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:1102.1054 [pdf, other]

Title: A new face of the branching recurrence of computability logic

Giorgi Japaridze

Journal-ref: Applied Mathematics Letters 25 (2012), pp. 1585-1589

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

[4] arXiv:1102.1139 [pdf, other]

Title: Residuated Park Theories

Zoltan Esik

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

[5] arXiv:1102.1323 [pdf, other]

Title: Type Classes for Mathematics in Type Theory

Bas Spitters, Eelis van der Weegen

Subjects: Logic in Computer Science (cs.LO)

[6] arXiv:1102.1889 [pdf, other]

Title: Ologs: a categorical framework for knowledge representation

David I. Spivak, Robert E. Kent

Comments: 38 pages

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

[7] arXiv:1102.1935 [pdf, other]

Title: On Paraconsistent Weakening of Intuitionistic Negation

Zoran Majkic

Comments: 10 pages

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:1102.2079 [pdf, other]

Title: Erratum to: Model-checking continuous-time Markov chains by Aziz et al

David N. Jansen (Radboud Universiteit Nijmegen, The Netherlands)

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:1102.2174 [pdf, other]

Title: Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Comments: Extended version of a paper submitted at TIME 2011: contains proofs, additional examples & figures, additional comparison between classical LTL/schemata algorithms up to the provided translations, and an example of how to do model checking with schemata; 36 pages, 8 figures

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

[10] arXiv:1102.2232 [pdf, other]

Title: Decidable Expansions of Labelled Linear Orderings

Alexis Bes (University of Paris-Est Créteil), Alexander Rabinovich (Tel-Aviv University, The Blavatnik School of Computer Science)

Comments: 18 pages

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 2 (May 7, 2011) lmcs:746

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

[11] arXiv:1102.2268 [pdf, other]

Title: Proceedings 6th International Workshop on Computing with Terms and Graphs

Rachid Echahed

Journal-ref: EPTCS 48, 2011

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

[12] arXiv:1102.2366 [pdf, other]

Title: Stuttering Equivalence for Parity Games

Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse

Comments: Version to appear in NFM 2011

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:1102.2405 [pdf, other]

Title: A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance

Andreas Abel (Ludwig-Maximilians-Universität München), Thierry Coquand (Göteborg University), Miguel Pagano (Universidad Nacional de Córdoba)

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 2 (May 7, 2011) lmcs:1069

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:1102.2489 [pdf, other]

Title: Co-ordering and Type 2 co-ordering

Saeed Asaeedi, Farzad Didehvar

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:1102.2521 [pdf, other]

Title: A Logical Method for Policy Enforcement over Evolving Audit Logs

Deepak Garg, Limin Jia, Anupam Datta

Comments: Carnegie Mellon University CyLab Technical Report. 51 pages

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

[16] arXiv:1102.2651 [pdf, other]

Title: Term Graph Rewriting and Parallel Term Rewriting

Andrea Corradini (Dipartimento di Informatica, Pisa, Italy), Frank Drewes (Department of Computing Science, Umeå, Sweden)

Comments: In Proceedings TERMGRAPH 2011, arXiv:1102.2268

Journal-ref: EPTCS 48, 2011, pp. 3-18

Subjects: Logic in Computer Science (cs.LO)

[17] arXiv:1102.2653 [pdf, other]

Title: Dependently-Typed Formalisation of Typed Term Graphs

Wolfram Kahl (McMaster University)

Comments: In Proceedings TERMGRAPH 2011, arXiv:1102.2268

Journal-ref: EPTCS 48, 2011, pp. 38-53

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

[18] arXiv:1102.2655 [pdf, other]

Title: A new graphical calculus of proofs

Sandra Alves (University of Porto), Maribel Fernández (King's College London), Ian Mackie (Ecole Polytechnique)

Comments: In Proceedings TERMGRAPH 2011, arXiv:1102.2268

Journal-ref: EPTCS 48, 2011, pp. 69-84

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:1102.2828 [pdf, other]

Title: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

Nick Bezhanishvili (Imperial College London), Mai Gehrke (Radboud Universiteit, Nijmegen)

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 2 (May 17, 2011) lmcs:702

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

[20] arXiv:1102.2960 [pdf, other]

Title: Tight Upper Bounds for Streett and Parity Complementation

Yang Cai, Ting Zhang

Comments: Corrected typos. 23 pages, 3 figures. To appear in the 20th Conference on Computer Science Logic (CSL 2011)

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

[21] arXiv:1102.2963 [pdf, other]

Title: A Tight Lower Bound for Streett Complementation

Yang Cai, Ting Zhang

Comments: Typo correction and section reorganization. To appear in the proceeding of the 31st Foundations of Software Technology and Theoretical Computer Science conference (FSTTCS 2011)

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

[22] arXiv:1102.3129 [pdf, other]

Title: Automated Complexity Analysis Based on the Dependency Pair Method

Nao Hirokawa, Georg Moser

Comments: 37 pages, submitted to Information & Computation

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Programming Languages (cs.PL)

[23] arXiv:1102.3465 [pdf, other]

Title: Proceedings 5th International Workshop on Higher-Order Rewriting

Eduardo Bonelli (Universidad Nacional de Quilmes)

Journal-ref: EPTCS 49, 2011

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

[24] arXiv:1102.3615 [pdf, other]

Title: Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited

Patricia Bouyer, Nicolas Markey, Jörg Olschewski, Michael Ummels

Comments: 30 pages, revised version

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

[25] arXiv:1102.3730 [pdf, other]

Title: Swapping: a natural bridge between named and indexed explicit substitution calculi

Ariel Mendelzon (Departamento de Computación, FCEyN, Universidad de Buenos Aires), Alejandro Ríos (Departamento de Computación, FCEyN, Universidad de Buenos Aires), Beta Ziliani (Departamento de Computación, FCEyN, Universidad de Buenos Aires)

Comments: In Proceedings HOR 2010, arXiv:1102.3465

Journal-ref: EPTCS 49, 2011, pp. 1-15

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

[26] arXiv:1102.3731 [pdf, other]

Title: On the Implementation of Dynamic Patterns

Thibaut Balabonski (PPS, Paris, France)

Comments: In Proceedings HOR 2010, arXiv:1102.3465

Journal-ref: EPTCS 49, 2011, pp. 16-30

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

[27] arXiv:1102.3732 [pdf, other]

Title: Higher-order Rewriting for Executable Compiler Specifications

Kristoffer H. Rose (IBM T.J. Watson Research Center)

Comments: In Proceedings HOR 2010, arXiv:1102.3465

Journal-ref: EPTCS 49, 2011, pp. 31-45

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

[28] arXiv:1102.3733 [pdf, other]

Title: Uncurrying for Innermost Termination and Derivational Complexity

Harald Zankl, Nao Hirokawa, Aart Middeldorp

Comments: In Proceedings HOR 2010, arXiv:1102.3465

Journal-ref: EPTCS 49, 2011, pp. 46-57

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:1102.3734 [pdf, other]

Title: A standardisation proof for algebraic pattern calculi

Delia Kesner (PPS, CNRS and Universite Paris Diderot - France), Carlos Lombardi (Universidad Nacional de Quilmes - Argentina), Alejandro Ríos (Universidad de Buenos Aires - Argentina)

Comments: In Proceedings HOR 2010, arXiv:1102.3465

Journal-ref: EPTCS 49, 2011, pp. 58-72

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

[30] arXiv:1102.4117 [pdf, other]

Title: Experimental Aspects of Synthesis

Rüdiger Ehlers (Saarland University)

Comments: In Proceedings iWIGP 2011, arXiv:1102.3741

Journal-ref: EPTCS 50, 2011, pp. 1-16

Subjects: Logic in Computer Science (cs.LO)

[31] arXiv:1102.4118 [pdf, other]

Title: Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

Christian von Essen (UJF/Verimag Grenoble, France), Barbara Jobstmann (CNRS/Verimag Grenoble, France)

Comments: In Proceedings iWIGP 2011, arXiv:1102.3741

Journal-ref: EPTCS 50, 2011, pp. 17-32

Subjects: Logic in Computer Science (cs.LO)

[32] arXiv:1102.4119 [pdf, other]

Title: A LTL Fragment for GR(1)-Synthesis

Andreas Morgenstern (University Kaiserslautern), Klaus Schneider (University Kaiserslautern)

Comments: In Proceedings iWIGP 2011, arXiv:1102.3741

Journal-ref: EPTCS 50, 2011, pp. 33-45

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:1102.4121 [pdf, other]

Title: Synchronizing Objectives for Markov Decision Processes

Laurent Doyen (LSV, ENS Cachan & CNRS, France), Thierry Massart (Université Libre de Bruxelles, Belgium), Mahsa Shirmohammadi (Université Libre de Bruxelles, Belgium)

Comments: In Proceedings iWIGP 2011, arXiv:1102.3741

Journal-ref: EPTCS 50, 2011, pp. 61-75

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

[34] arXiv:1102.4225 [pdf, other]

Title: Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable

Catalin Dima, Ferucio Laurentiu Tiplea

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

[35] arXiv:1102.4496 [pdf, other]

Title: A system of relational syllogistic incorporating full Boolean reasoning

Nikolay Ivanov, Dimiter Vakarelov

Comments: Available at this http URL

Journal-ref: Journal of Logic, Language and Information, 21 (2012) 433-459

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:1102.4636 [pdf, other]

Title: Modal Calculus of Illocutionary Logic

Andrew Schumann

Comments: 15 pages

Journal-ref: Piotr Stalmaszczyk (Ed.), Philosophy od Language and Linguistcs. Volume I: The Formal Turn. Ontos Verlag: Paris, Frankfurt, 2010, pp. 261-276

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:1102.5584 [pdf, other]

Title: A Spatial-Epistemic Logic for Reasoning about Security Protocols

Bernardo Toninho (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa and Computer Science Department, Carnegie Mellon University), Luís Caires (Departamento de Informatica / Universidade Nova de Lisboa)

Comments: In Proceedings SecCo 2010, arXiv:1102.5161

Journal-ref: EPTCS 51, 2011, pp. 1-15

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

[38] arXiv:1102.5638 [pdf, other]

Title: On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing

Paritosh K. Pandya, Simoni S. Shah

Comments: Major revision of the paper

Journal-ref: Proc. CONCUR 2011, LNCS 6901, 2011. pp 60-75

Subjects: Logic in Computer Science (cs.LO)

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

Title: Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics

Robert Rothenberg

Comments: 19 pages, 5 figures, 1 table, longer versions of proofs from conference paper and journal submission

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

[40] arXiv:1102.0264 (cross-list from quant-ph) [pdf, other]

Title: The Sheaf-Theoretic Structure Of Non-Locality and Contextuality

Samson Abramsky, Adam Brandenburger

Comments: 33 pages. Extensively revised, new results included. Published in New Journal of Physics

Journal-ref: New Journal of Physics 13 (2011) 113036

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

[41] arXiv:1102.0686 (cross-list from cs.IT) [pdf, other]

Title: Towards an axiomatic system for Kolmogorov complexity

Antoine Taveneaux

Journal-ref: Computability in Europe 2011 Springer LNCS volume

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

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

Title: Continuation-passing Style Models Complete for Intuitionistic Logic

Danko Ilik

Journal-ref: Annals of Pure and Applied Logic 164(6), 2013

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

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

Title: Introduction to Categories and Categorical Logic

Samson Abramsky, Nikos Tzevelekos

Comments: 96 pages

Journal-ref: In New Structures for Physics, B. Coecke (ed). Lecture Notes in Physics Vol. 813, pages 3--94, Springer-Verlag 2011

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

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

Title: From IF to BI: a tale of dependence and separation

Samson Abramsky, Jouko Vaananen

Comments: 28 pages, journal version

Journal-ref: Synthese, 167:2, pages 207--230, 2009

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

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

Title: Axiomatizing Resource Bounds for Measure

Xiaoyang Gu, Jack H. Lutz, Satyadev Nandakumar, James S. Royer

Comments: Changed one reference

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

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

Title: Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case

Marcello Balduccini

Comments: Presented at the ASPOCP10 workshop of ICLP10

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

[47] arXiv:1102.2368 (cross-list from quant-ph) [pdf, other]

Title: Picturing classical and quantum Bayesian inference

Bob Coecke, Robert W. Spekkens

Comments: 38 pages, lots of pictures

Journal-ref: Synthese 186, 651 (2012)

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)

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

Title: Matching, Merging and Structural Properties of Data Base Category

Zoran Majkic

Comments: 27 pages

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

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

Title: Dialectics of Counting and Measures of Rough Theories

A. Mani

Comments: 17 Pages; NCETSC'2011 held during 2-3 Feb'2011 at NW College and organised by Indian Society for Rough Sets, Univ of Pune and Nowrosjee Wadia college

Journal-ref: IEEE Proceedings of NCETSC'2011 held during 2-3 Feb'2011

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

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

Title: Finite state verifiers with constant randomness

Cem Say (Bogazici University), Abuzer Yakaryilmaz (University of Latvia)

Comments: 17 pages. An improved version

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

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