Advertisement

Logic, Language, Information, and Computation

26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

  • Rosalie Iemhoff
  • Michael Moortgat
  • Ruy de Queiroz
Conference proceedings WoLLIC 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Matteo Acclavio, Lutz Straßburger
    Pages 1-16
  3. Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
    Pages 17-34
  4. Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday
    Pages 35-52
  5. Patrick Blackburn, Manuel Martins, María Manzano, Antonia Huertas
    Pages 53-69
  6. Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Tuyt
    Pages 70-83
  7. Carlos Caleiro, Sérgio Marcelino
    Pages 84-98
  8. Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
    Pages 99-118
  9. Roberto Ciuni, Thomas Macaulay Ferguson, Damian Szmuc
    Pages 119-139
  10. Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg
    Pages 140-160
  11. Jim de Groot, Dirk Pattinson
    Pages 161-176
  12. Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
    Pages 177-194
  13. David Fernández-Duque, Eduardo Hermo-Reyes
    Pages 195-207
  14. Flavio Ferrarotti, Senén González, José María Turull Torres, Jan Van den Bussche, Jonni Virtema
    Pages 208-222
  15. Tommaso Flaminio, Lluis Godo, Ricardo O. Rodríguez
    Pages 223-235
  16. Makoto Fujiwara
    Pages 236-247
  17. Marianna Girlando, Sara Negri, Giorgio Sbardolini
    Pages 248-263
  18. Sergey Bozhko, Leyla Khatbullina, Semyon Grigorev
    Pages 264-281
  19. Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
    Pages 282-300
  20. Miika Hannula, Lauri Hella
    Pages 301-322
  21. Steve Huntsman
    Pages 323-341
  22. Max Kanovich, Stepan Kuznetsov, Andre Scedrov
    Pages 356-372
  23. Max Kanovich, Stepan Kuznetsov, Andre Scedrov
    Pages 373-391
  24. Juha Kontinen, Fan Yang
    Pages 392-414
  25. Yusuke Kubota, Robert Levine
    Pages 415-432
  26. Eveline Lehmann, Thomas Studer
    Pages 433-449
  27. Fei Liang, Thiago Nascimento
    Pages 450-466
  28. Kristina Liefke
    Pages 467-485
  29. Matthias Baaz, Anela Lolic
    Pages 486-497
  30. Gian Carlo Milanese, Yde Venema
    Pages 498-515
  31. Hitoshi Omori, Daniel Skurt
    Pages 516-532
  32. Thomas Powell, Peter Schuster, Franziskus Wiesnet
    Pages 533-549
  33. Igor Sedlár
    Pages 594-609
  34. Hans van Ditmarsch, Louwe B. Kuijer
    Pages 619-632
  35. Noortje J. Venhuizen, Petra Hendriks, Matthew W. Crocker, Harm Brouwer
    Pages 633-646
  36. Richard Zuber
    Pages 647-660
  37. Back Matter
    Pages 661-662

About these proceedings

Introduction

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.

Keywords

artificial intelligence automata theory databases formal languages formal logic linguistics modal logic model checking natural languages problem solving project management sequent calculus set theory software engineering theorem proving

Editors and affiliations

  • Rosalie Iemhoff
    • 1
  • Michael Moortgat
    • 2
  • Ruy de Queiroz
    • 3
  1. 1.Department of Philosophy and Religious StudiesUtrecht UniversityUtrechtThe Netherlands
  2. 2.Utrecht Institute of Linguistics OTSUtrecht UniversityUtrechtThe Netherlands
  3. 3.Centro de InformáticaUniversidade Federal de Pernambuco (UFPE)RecifeBrazil

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-59533-6
  • Copyright Information Springer-Verlag GmbH Germany, part of Springer Nature 2019
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-59532-9
  • Online ISBN 978-3-662-59533-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
Energy, Utilities & Environment