Skip to main content
SpringerLink
Log in
Book cover

Logic, Language, Information, and Computation

21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Ulrich Kohlenbach

    1. Fachbereich Mathematik, TU Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pablo Barceló

    1. Department of Computer Science, Universidad de Chile, Santiago, Chile

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ruy Queiroz

    1. Centro de Informática, Universidade Federal de Pernambuco (UFPE), Recife, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-conference proceedings tracks
  • Inter-disciplinary Research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8652)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: WoLLIC 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Quantum State Transformations and Branching Distributed Temporal Logic

    • Luca Viganò, Marco Volpe, Margherita Zorzi
    Pages 1-19

  3. Definability for Downward and Vertical XPath on Data Trees

    • Sergio Abriola, María Emilia Descotte, Santiago Figueira
    Pages 20-35

  4. On the Value of Variables

    • Beniamino Accattoli, Claudio Sacerdoti Coen
    Pages 36-50

  5. Logics with Copy and Remove

    • Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber
    Pages 51-65

  6. Unranked Second-Order Anti-Unification

    • Alexander Baumgartner, Temur Kutsia
    Pages 66-80

  7. Reinstatement and the Requirement of Maximal Specificity in Argument Systems

    • Gustavo A. Bodanza, Claudio A. Alessio
    Pages 81-93

  8. Sequentialization for N-Graphs via Sub-N-Graphs

    • Ruan Carvalho, Laís Andrade, Anjolina de Oliveira, Ruy de Queiroz
    Pages 94-108

  9. Interrogative Dependencies and the Constructive Content of Inquisitive Proofs

    • Ivano Ciardelli
    Pages 109-123

  10. Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem

    • Petr Cintula, Carles Noguera
    Pages 124-136

  11. Ancestral Logic: A Proof Theoretical Study

    • Liron Cohen, Arnon Avron
    Pages 137-151

  12. A Calculus of Anyons

    • Alessandra Di Pierro, Federica Panarotto
    Pages 152-165

  13. Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars

    • Zoltán Ésik, Panos Rondogiannis
    Pages 166-180

  14. Common Knowledge Semantics of Armstrong’s Axioms

    • Zachary Heckle, Pavel Naumov
    Pages 181-194

  15. On Distributed Stochastic Logics for Mobile Systems

    • Juliana Küster Filipe Bowles, Petrucio Viana
    Pages 195-205

  16. On the Construction of Analytic Sequent Calculi for Sub-classical Logics

    • Ori Lahav, Yoni Zohar
    Pages 206-220

  17. On the Broader Epistemological Significance of Self-Justifying Axiom Systems

    • Dan E. Willard
    Pages 221-236

  18. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Logic, Language, Information, and Computation

Keywords

About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning.

Editors and Affiliations

  • Fachbereich Mathematik, TU Darmstadt, Darmstadt, Germany

    Ulrich Kohlenbach

  • Department of Computer Science, Universidad de Chile, Santiago, Chile

    Pablo Barceló

  • Centro de Informática, Universidade Federal de Pernambuco (UFPE), Recife, Brazil

    Ruy Queiroz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation