Logic, Language, Information, and Computation

1. Front Matter

   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

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.

• completeness
• decidability
• modal logic
• monadic logic
• satisfiability
• algorithm analysis and problem complexity

• Steklov Mathematical Institute, Moscow, Russia

  Lev D. Beklemishev

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

  Ruy Queiroz

Policies and ethics