Skip to main content
SpringerLink
Log in

Logic, Language, Information, and Computation

29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Helle Hvid Hansen

    1. University of Groningen, Groningen, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andre Scedrov

    1. University of Pennsylvania, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ruy J.G.B. de Queiroz

    1. Universidade Federal de Pernambuco, 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 13923)

Included in the following conference series:

Conference proceedings info: WoLLIC 2023.

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

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 74.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages i-xxxviii
    Download chapter PDF

  3. Contributed Papers

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. Quantitative Global Memory

      • Sandra Alves, Delia Kesner, Miguel Ramos
      Pages 53-68

    3. Effective Skolemization

      • Matthias Baaz, Anela Lolić
      Pages 69-82

    4. Factive Complements are Not Always Unique Entities: A Case Study with Bangla remember

      • Arka Banerjee
      Pages 83-100

    5. Two-Layered Logics for Paraconsistent Probabilities

      • Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
      Pages 101-117

    6. An Axiom System for Basic Hybrid Logic with Propositional Quantifiers

      • Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod
      Pages 118-134

    7. An Evidence Logic Perspective on Schotch-Jennings Forcing

      • Tyler D. P. Brunet, Gillman Payette
      Pages 135-160

    8. A Separation Logic with Histories of Epistemic Actions as Resources

      • Hans van Ditmarsch, Didier Galmiche, Marta Gawek
      Pages 161-177

    9. Conditional Obligations in Justification Logic

      • Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer
      Pages 178-193

    10. Structural Completeness and Superintuitionistic Inquisitive Logics

      • Thomas Ferguson, Vít Punčochář
      Pages 194-210

    11. Validity in Choice Logics

      • Robert Freiman, Michael Bernreiter
      Pages 211-226

    12. Aleatoric Propositions: Reasoning About Coins

      • Tim French
      Pages 227-243

    13. Towards an Induction Principle for Nested Data Types

      • Peng Fu, Peter Selinger
      Pages 244-255

    14. A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey’s Update Rule

      • Bart Jacobs
      Pages 256-273

    15. Parameterized Complexity of Propositional Inclusion and Independence Logic

      • Yasir Mahmood, Jonni Virtema
      Pages 274-291
Back to top

Other volumes

  1. Logic, Language, Information, and Computation

Keywords

About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023.

 

The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.

Editors and Affiliations

  • University of Groningen, Groningen, The Netherlands

    Helle Hvid Hansen

  • University of Pennsylvania, Philadelphia, USA

    Andre Scedrov

  • Universidade Federal de Pernambuco, Recife, Brazil

    Ruy J.G.B. de Queiroz

Bibliographic Information

  • Book Title: Logic, Language, Information, and Computation

  • Book Subtitle: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

  • Editors: Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-39784-4

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Softcover ISBN: 978-3-031-39783-7Published: 30 August 2023

  • eBook ISBN: 978-3-031-39784-4Published: 28 August 2023

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XXXVIII, 395

  • Number of Illustrations: 33 b/w illustrations, 2 illustrations in colour

  • Topics: Logic

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation