Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

by Anuj Dawar, Ruy de Queiroz

Overview

This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6–9, 2010, on the campus of Universidade de Bras´—lia (UnB), Brazil. The Workshop on Logic, Language, Information and Computation (WoL- LIC) is an annual event, meeting every year since 1994, which aims at fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants. The present volume contains 13 contributed papers that were selected from among 32 submissions after a rigorous review by the Program Committee. Each submission was reviewed by at least two, and on average three, Program Comittee members. This volume also containspapersor abstractsthat relateto the seven invited talks presented at the workshop. Between them, these papers give a snapshot of some fascinating work taking place at the frontiers between computation, logic, and linguistics. We are grateful to all the people who made this meeting possible and are responsible for its success: the members of the Program Committee and the external reviewers, the invited speakers, the contributors, and the people who were involved in organizing the workshop.

Product Details

ISBN-13:	9783642138232
Publisher:	Springer Berlin Heidelberg
Publication date:	08/11/2010
Series:	Lecture Notes in Computer Science , #6188
Edition description:	2010
Pages:	259
Product dimensions:	6.10(w) x 9.20(h) x 0.60(d)

Table of Contents

Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics (Invited Talk) Marcelo Finger Mauricio S. C. Hernandes 1

A CTL-Based Logic for Program Abstractions (Invited Talk) Martin Lange Markus Latte 19

Application of Logic to Integer Sequences: A Survey (Invited Talk) Johann A. Makowsky 34

The Two-Variable Fragment with Counting Revisited (Invited Talk) Ian Pratt-Hartmann 42

Intuitionistic Logic and Computability Theory (Invited Talk) Sebastiaan A. Terwijn 55

Foundations of Satisfiability Modulo Theories (Invited Talk) Cesare Tinelli 58

Logical Form as a Determinant of Cognitive Processes Michiel van Lambalgen 59

Formal Lifetime Reliability Analysis Using Continuous Random Variables Naeem Abbasi Osman Hasan Sofiène Tahar 84

Modal Logics with Counting Carlos Areces Guillaume Hoffmann Alexandre Denis 98

Verification of the Completeness of Unification Algorithms à la Robinson Andréia B. Avelar Flávio L. C. de Moura André Luiz Galdino Mauricio Ayala-Rincón 110

Mechanisation of PDA and Grammar Equivalence for Context-Free Languages Aditi Barthwal Michael Norrish 125

On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations Flavio Ferrarotti Sven Hartmann Sebastian Link 136

Decidability and Undecidability Results on the Modal μ-Calculus with a Natural Number-Valued Semantics Alexis Goyet Masami Hagiya Yoshinori Tanabe 148

Solving the Implication Problem for XML Functional Dependencies with Properties Sven Hartmann Sebastian Link Thu Trinh 161

On Anaphora and the Binding Principles in Categorial Grammar Glyn Morrill Oriol Valentín 176

Feasible Functions over Co-inductive Data Ramyaa Ramyaa Daniel Leivant 191

Interval Valued Fuzzy Coimplication Renata H.S. Reiser Benjamin C. Bedregal Gesner A.A. dos Reis 204

Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures Daniele Nantes Sobrinho Mauricio Ayala-Rincón 218

Intersection Type Systems and Explicit Substitutions Calculi Daniel Lima Ventura Mauricio Ayala-Rincón Fairouz Kamareddine 232

Generalising Conservativity Richard Zuber 247

Author Index 259