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)

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

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
  • About this book