Logic, Language, Information, and Computation

23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

  • Jouko Väänänen
  • Åsa Hirvonen
  • Ruy de Queiroz
Conference proceedings WoLLIC 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XXII
  2. Juan P. Aguilera
    Pages 22-35
  3. Juan P. Aguilera, Matthias Baaz
    Pages 36-51
  4. Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard
    Pages 52-67
  5. Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
    Pages 83-103
  6. Marta Bílková, Matěj Dostál
    Pages 109-124
  7. Torben Braüner, Patrick Blackburn, Irina Polyanskaya
    Pages 125-144
  8. Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem M. Wijnberg
    Pages 145-164
  9. Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen
    Pages 165-182
  10. Anuj Dawar, Simone Severini, Octavio Zapata
    Pages 183-199
  11. Mateus de Oliveira Oliveira
    Pages 200-214
  12. Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
    Pages 215-233
  13. Ozan Kahramanoğulları
    Pages 249-264
  14. Johann A. Makowsky, Elena V. Ravve
    Pages 279-296
  15. Maicol A. Ochoa, Andrés Villaveces
    Pages 297-315
  16. Konstantinos Pouliasis
    Pages 316-337
  17. Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida
    Pages 338-357
  18. Deniz Rudin, Karl DeVries, Karen Duek, Kelsey Kraus, Adrian Brasoveanu
    Pages 358-374
  19. Raine Rönnholm
    Pages 375-391
  20. R. Zuber
    Pages 432-445
  21. Back Matter
    Pages 447-447

About these proceedings


Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.
The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.


algebraic graph theory computer science logic descriptive complexity formal concept analysis model theory Philosophical logic theory of computation modal logic dependence logic semantics quantifier

Editors and affiliations

  • Jouko Väänänen
    • 1
  • Åsa Hirvonen
    • 2
  • Ruy de Queiroz
    • 3
  1. 1.Dept of Mathematics & StatisticsUniv of Helsinki Dept of Mathematics & StatisticsHelsinkiFinland
  2. 2.Department of Mathematics and StatisticsUniversity of Helsinki HelsinkiFinland
  3. 3.Centro de Informática RecifeBrazil

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-52920-1
  • Online ISBN 978-3-662-52921-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software