Advertisement

Logic, Language, Information and Computation

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

  • Lev D. Beklemishev
  • Ruy de Queiroz

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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-20920-8
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-20919-2
  • Online ISBN 978-3-642-20920-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site