Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2014

Logic, Language, Information, and Computation

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

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)

Conference series link(s): WoLLIC: International Workshop on Logic, Language, Information, and Computation

Conference proceedings info: WoLLIC 2014.

Sections

Buy it now

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

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

Table of contents (16 papers)

  1. Front Matter

    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

  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

  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

  18. Back Matter

    PDF
Back to top

Other Volumes

  1. Logic, Language, Information, and Computation

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation