© 2017

Logic, Language, Information, and Computation

24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

  • Juliette Kennedy
  • Ruy J.G.B. de Queiroz
Conference proceedings WoLLIC 2017

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10388)

Table of contents

  1. Front Matter
    Pages I-X
  2. Nathanael L. Ackerman, Cameron E. Freer
    Pages 1-13
  3. Fausto Barbero, Lauri Hella, Raine Rönnholm
    Pages 14-30
  4. Arnold Beckmann, Jean-José Razafindrakoto
    Pages 31-47
  5. Paola Bruscoli, Lutz Straßburger
    Pages 68-79
  6. Almudena Colacito, George Metcalfe
    Pages 80-91
  7. Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao
    Pages 92-109
  8. Karin Cvetko-Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis, Benjamin Blundell
    Pages 110-124
  9. Flavio Ferrarotti, Senén González, José María Turull-Torres
    Pages 125-139
  10. Michał Tomasz Godziszewski, Joel David Hamkins
    Pages 140-152
  11. Giuseppe Greco, Alessandra Palmigiano
    Pages 153-169
  12. Bjørn Kjos-Hanssen
    Pages 170-181
  13. Stepan Kuznetsov
    Pages 182-198
  14. Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano
    Pages 199-215
  15. Zhaohui Luo, Sergei Soloviev
    Pages 216-228
  16. Sérgio Marcelino, Carlos Caleiro
    Pages 242-255
  17. Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden
    Pages 256-270
  18. Marcin Mostowski, Marek Czarnecki
    Pages 271-280

About these proceedings


Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. 
The 28 contributed papers  were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation. 


agents applied computing artificial intelligence complexity theory cut elimination finite element method formal logic foundations language linear feedback modal logic proof theory problem solving semantics shift registers substructural logics theory of computation

Editors and affiliations

  • Juliette Kennedy
    • 1
  • Ruy J.G.B. de Queiroz
    • 2
  1. 1.Department of Mathematics and StatisticsUniversity of HelsinkiHelsinkiFinland
  2. 2.Centro de InformáticaRecifeBrazil

Bibliographic information

Industry Sectors
IT & Software