Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2019

Logic, Language, Information, and Computation

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

Editors:

  1. Rosalie Iemhoff

    1. Department of Philosophy and Religious Studies, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Moortgat

    1. Utrecht Institute of Linguistics OTS, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ruy de Queiroz

    1. Centro de Informática, Universidade Federal de Pernambuco (UFPE), Recife, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): WoLLIC: International Workshop on Logic, Language, Information, and Computation

Conference proceedings info: WoLLIC 2019.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (41 papers)

  1. Front Matter

    Pages i-xxi
    PDF

  2. On Combinatorial Proofs for Logics of Relevance and Entailment

    • Matteo Acclavio, Lutz Straßburger
    Pages 1-16

  3. An Infinitary Treatment of Full Mu-Calculus

    • Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
    Pages 17-34

  4. Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality

    • Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday
    Pages 35-52

  5. Rigid First-Order Hybrid Logic

    • Patrick Blackburn, Manuel Martins, María Manzano, Antonia Huertas
    Pages 53-69

  6. The One-Variable Fragment of Corsi Logic

    • Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Tuyt
    Pages 70-83

  7. Analytic Calculi for Monadic PNmatrices

    • Carlos Caleiro, Sérgio Marcelino
    Pages 84-98

  8. Non Normal Logics: Semantic Analysis and Proof Theory

    • Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
    Pages 99-118

  9. Modeling the Interaction of Computer Errors by Four-Valued Contaminating Logics

    • Roberto Ciuni, Thomas Macaulay Ferguson, Damian Szmuc
    Pages 119-139

  10. Modelling Informational Entropy

    • Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg
    Pages 140-160

  11. Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic

    • Jim de Groot, Dirk Pattinson
    Pages 161-176

  12. The McKinsey-Tarski Theorem for Topological Evidence Logics

    • Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González
    Pages 177-194

  13. A Self-contained Provability Calculus for \(\varGamma _0\)

    • David Fernández-Duque, Eduardo Hermo-Reyes
    Pages 195-207

  14. Descriptive Complexity of Deterministic Polylogarithmic Time

    • Flavio Ferrarotti, Senén González, José María Turull Torres, Jan Van den Bussche, Jonni Virtema
    Pages 208-222

  15. A Representation Theorem for Finite Gödel Algebras with Operators

    • Tommaso Flaminio, Lluis Godo, Ricardo O. Rodríguez
    Pages 223-235

  16. Bar Induction and Restricted Classical Logic

    • Makoto Fujiwara
    Pages 236-247

  17. Uniform Labelled Calculi for Conditional and Counterfactual Logics

    • Marianna Girlando, Sara Negri, Giorgio Sbardolini
    Pages 248-263

  18. Bar-Hillel Theorem Mechanization in Coq

    • Sergey Bozhko, Leyla Khatbullina, Semyon Grigorev
    Pages 264-281

  19. Proof-Net as Graph, Taylor Expansion as Pullback

    • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
    Pages 282-300

  20. Complexity Thresholds in Inclusion Logic

    • Miika Hannula, Lauri Hella
    Pages 301-322
Back to top

Other Volumes

  1. Logic, Language, Information, and Computation

Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Philosophy and Religious Studies, Utrecht University, Utrecht, The Netherlands

    Rosalie Iemhoff

  • Utrecht Institute of Linguistics OTS, Utrecht University, Utrecht, The Netherlands

    Michael Moortgat

  • Centro de Informática, Universidade Federal de Pernambuco (UFPE), Recife, Brazil

    Ruy de Queiroz

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation