Logic, Language, Information, and Computation
26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy (Eds.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (41 chapters)
-
-
On Combinatorial Proofs for Logics of Relevance and Entailment
Pages 1-16
-
An Infinitary Treatment of Full Mu-Calculus
Pages 17-34
-
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality
Pages 35-52
-
Rigid First-Order Hybrid Logic
Pages 53-69
-
The One-Variable Fragment of Corsi Logic
Pages 70-83
-
Table of contents (41 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Logic, Language, Information, and Computation
- Book Subtitle
- 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
- Editors
-
- Rosalie Iemhoff
- Michael Moortgat
- Ruy de Queiroz
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 11541
- Copyright
- 2019
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag GmbH Germany, part of Springer Nature
- eBook ISBN
- 978-3-662-59533-6
- DOI
- 10.1007/978-3-662-59533-6
- Softcover ISBN
- 978-3-662-59532-9
- Edition Number
- 1
- Number of Pages
- XXI, 662
- Number of Illustrations
- 1452 b/w illustrations, 29 illustrations in colour
- Topics
