Skip to main content
SpringerLink
Log in
Book cover

Logic, Language, Information, and Computation

20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Leonid Libkin

    1. School of Informatics, University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ulrich Kohlenbach

    1. Fachbereich Mathematik, TU Darmstadt, Darmstadt, Germany

    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

  • Fast track conference proceedings of WoLLIC 2013
  • State-of-the-art research
  • Up-to-date results

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

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

Included in the following conference series:

Conference proceedings info: WoLLIC 2013.

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 49.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 (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Logic and Agent Programming Languages

    • Natasha Alechina
    Pages 1-10

  3. Natural Models of Homotopy Type Theory (Abstract)

    • Steve Awodey
    Pages 11-12

  4. Modelling Infinite Structures with Atoms

    • Mikołaj Bojańczyk
    Pages 13-28

  5. Counting in SPARQL Property Paths: Perspectives from Theory and Practice

    • Wim Martens
    Pages 29-30

  6. Quantitative Approaches to Information Protection

    • Catuscia Palamidessi
    Pages 31-32

  7. Perspectives of Dynamic Complexity

    • Thomas Schwentick
    Pages 33-33

  8. Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach

    • Laís Andrade, Ruan Carvalho, Anjolina de Oliveira, Ruy de Queiroz
    Pages 34-48

  9. First Order Extensions of Residue Classes and Uniform Circuit Complexity

    • Argimiro Arratia, Carlos E. Ortiz
    Pages 49-63

  10. Quantum Probabilistic Dyadic Second-Order Logic

    • Alexandru Baltag, Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Sonja J. L. Smets, Shengyang Zhong
    Pages 64-80

  11. Structural Extensions of Display Calculi: A General Recipe

    • Agata Ciabattoni, Revantha Ramanayake
    Pages 81-95

  12. The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic

    • Sjur Kristoffer Dyrkolbotn
    Pages 96-110

  13. Boolean Dependence Logic and Partially-Ordered Connectives

    • Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
    Pages 111-125

  14. Extended Modal Dependence Logic \(\mathcal{EMDL}\)

    • Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer
    Pages 126-137

  15. Dependence Logic with Generalized Quantifiers: Axiomatizations

    • Fredrik Engström, Juha Kontinen, Jouko Väänänen
    Pages 138-152

  16. Continuous Truth II: Reflections

    • Michael P. Fourman
    Pages 153-167

  17. A Simple Separation Logic

    • Andreas Herzig
    Pages 168-178

  18. Independence in Database Relations

    • Juha Kontinen, Sebastian Link, Jouko Väänänen
    Pages 179-193

  19. Substructural Logic of Proofs

    • Hidenori Kurokawa, Hirohiko Kushida
    Pages 194-210

  20. Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics

    • Yoshihiro Maruyama
    Pages 211-225
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 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.         

Editors and Affiliations

  • School of Informatics, University of Edinburgh, Edinburgh, UK

    Leonid Libkin

  • Fachbereich Mathematik, TU Darmstadt, Darmstadt, Germany

    Ulrich Kohlenbach

  • 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