WoLLIC: International Workshop on Logic, Language, Information, and Computation

Logic, Language, Information, and Computation

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

  • Valeria de Paiva
  • Ruy de Queiroz
  • Lawrence S. Moss
  • Daniel Leivant
  • Anjolina G. de Oliveira
Conference proceedings WoLLIC 2015

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9160)

Table of contents

  1. Front Matter
    Pages I-XX
    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
    PDF

About these proceedings

Introduction

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.

Keywords

Automata theory Automated reasoning Category theory Coalgebraic logic Completeness Complexity theory Decidability Finite model theory Linear logic Logic and verification Mathematical logic Modal and temporal logics Natural language semantics Proof nets Proof theory Rewriting theory Separation logic Theoretical computer science Topological semantics Type theory

Editors and affiliations

  • Valeria de Paiva
    • 1
  • Ruy de Queiroz
    • 2
  • Lawrence S. Moss
    • 3
  • Daniel Leivant
    • 4
  • Anjolina G. de Oliveira
    • 5
  1. 1.Nuance CommunicationsSunnyvaleUSA
  2. 2.Universidade Federal de PernambucoCentro de InformáticaRecifeBrazil
  3. 3.Department of MathematicsIndiana University BloomingtonBloomingtonUSA
  4. 4.nDepartment of Computer ScienceIndiana University BloomingtonBloomingtonUSA
  5. 5.Universidade Federal de PernambucoCentro de InformáticaRecifeBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-47709-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-47708-3
  • Online ISBN 978-3-662-47709-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book