Skip to main content
SpringerLink
Log in
Book cover

Logic, Language, Information, and Computation

22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Valeria de Paiva

    1. Nuance Communications, Sunnyvale, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ruy de Queiroz

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Lawrence S. Moss

    1. Department of Mathematics, Indiana University Bloomington, Bloomington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Daniel Leivant

    1. nDepartment of Computer Science, Indiana University Bloomington, Bloomington, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Anjolina G. de Oliveira

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Interdisciplinary research in pure and applied
  • Logic up-to date results
  • Fast track conference proceedings
  • Includes supplementary material: sn.pub/extras

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

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

Included in the following conference series:

Conference proceedings info: WoLLIC 2015.

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 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.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 (14 papers)

  1. Front Matter

    Pages I-XX
    Download chapter PDF

  2. The Word Problem for Finitely Presented Quandles is Undecidable

    • James Belk, Robert W. McGrail
    Pages 1-13

  3. Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language

    • Liron Cohen, Robert L. Constable
    Pages 14-26

  4. On Topologically Relevant Fragments of the Logic of Linear Flows of Time

    • Bernhard Heinemann
    Pages 27-37

  5. An Equation-Based Classical Logic

    • Andreia Mordido, Carlos Caleiro
    Pages 38-52

  6. Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing

    • Vito Michele Abrusci, Roberto Maieli
    Pages 53-68

  7. A Dichotomy Result for Ramsey Quantifiers

    • Ronald de Haan, Jakub Szymanik
    Pages 69-80

  8. Parametric Polymorphism — Universally

    • Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
    Pages 81-92

  9. On the Weak Index Problem for Game Automata

    • Alessandro Facchini, Filip Murlak, Michał Skrzypczak
    Pages 93-108

  10. Proof-Theoretic Aspects of the Lambek-Grishin Calculus

    • Philippe de Groote
    Pages 109-123

  11. Syllogistic Logic with “Most”

    • Jörg Endrullis, Lawrence S. Moss
    Pages 124-139

  12. Characterizing Frame Definability in Team Semantics via the Universal Modality

    • Katsuhiko Sano, Jonni Virtema
    Pages 140-155

  13. An Epistemic Separation Logic

    • Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche
    Pages 156-173

  14. Equational Properties of Stratified Least Fixed Points (Extended Abstract)

    • Zoltán Ésik
    Pages 174-188

  15. The p-adic Integers as Final Coalgebra

    • Prasit Bhattacharya
    Pages 189-199

  16. Back Matter

    Pages 201-201
    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 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.

The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.

Editors and Affiliations

  • Nuance Communications, Sunnyvale, USA

    Valeria de Paiva

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

    Ruy de Queiroz, Anjolina G. de Oliveira

  • Department of Mathematics, Indiana University Bloomington, Bloomington, USA

    Lawrence S. Moss

  • nDepartment of Computer Science, Indiana University Bloomington, Bloomington, USA

    Daniel Leivant

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation