Logic, Language, Information and Computation

18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

  • Lev D. Beklemishev
  • Ruy de Queiroz
Conference proceedings WoLLIC 2011

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 6642)

Table of contents

  1. Front Matter
  2. Section 1: Invited Talks

  3. Section 2: Contributed Papers

    1. Antonis Achilleos
      Pages 8-19
    2. Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera
      Pages 20-34
    3. Samuel Bucheli, Roman Kuznets, Thomas Studer
      Pages 35-51
    4. Ranald Clouston
      Pages 67-83
    5. Aubrey da Cunha
      Pages 84-94
    6. Michael Donders, Sara Miner More, Pavel Naumov
      Pages 95-109
    7. Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist Vincent
      Pages 110-122
    8. Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa Martins
      Pages 123-134
    9. Santiago Figueira, Daniel Gorín, Rafael Grimson
      Pages 135-145
    10. Julian Gutierrez
      Pages 146-160
    11. Charles Jordan, Thomas Zeugmann
      Pages 176-186
    12. Juha Kontinen, Jakub Szymanik
      Pages 187-200
    13. Grigori Mints
      Pages 201-209
    14. Rick Statman
      Pages 239-256
    15. Camilo Thorne
      Pages 257-271
  4. Back Matter

About these proceedings


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

Editors and affiliations

  • Lev D. Beklemishev
    • 1
  • Ruy de Queiroz
    • 2
  1. 1.Steklov Mathematical InstituteMoscowRussia
  2. 2.Centro de InformáticaUniversidade Federal de PernambucoRecifeBrazil

Bibliographic information