Skip to main content
Springer Nature Link
Log in

Logic, Language, Information, and Computation

18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Lev D. Beklemishev

    1. Steklov Mathematical Institute, Moscow, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ruy Queiroz

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • up-to-date results
  • fast track conference proceedings
  • state-of-the-art report

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: WoLLIC 2011.

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc.

Similar content being viewed by others

Keywords

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Section 1: Invited Talks

    1. Streaming String Transducers

      • Rajeev Alur
      Pages 1-1

    2. Unification in Logic

      • Rosalie Iemhoff
      Pages 2-2

    3. A Symbolic Logic with Exact Bounds for Cryptographic Protocols

      • John C. Mitchell
      Pages 3-3

    4. Univalent Foundations of Mathematics

      • Vladimir Voevodsky
      Pages 4-4

    5. Relational Concepts and the Logic of Reciprocity

      • Yoad Winter
      Pages 5-5

    6. Logic in the Time of WWW: An OWL View

      • Michael Zakharyaschev
      Pages 6-7

  3. Section 2: Contributed Papers

    1. A Complexity Question in Justification Logic

      • Antonis Achilleos
      Pages 8-19

    2. Basic Model Theory for Memory Logics

      • Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera
      Pages 20-34

    3. Partial Realization in Dynamic Justification Logic

      • Samuel Bucheli, Roman Kuznets, Thomas Studer
      Pages 35-51

    4. Hoare Logic for Higher Order Store Using Simple Semantics

      • Nathaniel Charlton
      Pages 52-66

    5. Nominal Lawvere Theories

      • Ranald Clouston
      Pages 67-83

    6. Turing Machines on Cayley Graphs

      • Aubrey da Cunha
      Pages 84-94

    7. Information Flow on Directed Acyclic Graphs

      • Michael Donders, Sara Miner More, Pavel Naumov
      Pages 95-109

    8. The Boyce-Codd-Heath Normal Form for SQL

      • Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist Vincent
      Pages 110-122

    9. Hybrid Logics and NP Graph Properties

      • Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa Martins
      Pages 123-134

    10. On the Expressive Power of IF-Logic with Classical Negation

      • Santiago Figueira, Daniel Gorín, Rafael Grimson
      Pages 135-145

    11. Concurrent Logic Games on Partial Orders

      • Julian Gutierrez
      Pages 146-160

    12. Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation

      • Alexander Horn
      Pages 161-175

    13. Untestable Properties in the Kahr-Moore-Wang Class

      • Charles Jordan, Thomas Zeugmann
      Pages 176-186
Back to top

Other volumes

  1. Logic, Language, Information, and Computation

Editors and Affiliations

  • Steklov Mathematical Institute, Moscow, Russia

    Lev D. Beklemishev

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

    Ruy Queiroz

Bibliographic Information

Publish with us

Policies and ethics

Back to top