Skip to main content
  • Conference proceedings
  • © 2021

Logic, Language, Information, and Computation

27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings

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

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 2021.

Buy it now

Buying options

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 79.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 (25 papers)

  1. Front Matter

    Pages i-viii
  2. Doubly Strongly First Order Dependencies

    • Pietro Galliani
    Pages 47-63
  3. Explicit Non-normal Modal Logic

    • Atefeh Rohani, Thomas Studer
    Pages 64-81
  4. Modal Logic via Global Consequence

    • Xuefeng Wen
    Pages 117-132
  5. Games for Hybrid Logic

    • Robert Freiman
    Pages 133-149
  6. Verifying the Conversion into CNF in Dafny

    • Viorel Iordache, Ştefan Ciobâcă
    Pages 150-166
  7. Analysis in a Formal Predicative Set Theory

    • Nissan Levi, Arnon Avron
    Pages 167-183
  8. On the Subtle Nature of a Simple Logic of the Hide and Seek Game

    • Dazhu Li, Sujata Ghosh, Fenrong Liu, Yaxin Tu
    Pages 201-218
  9. Orthogonal Frames and Indexed Relations

    • Philippe Balbiani, Saúl Fernández González
    Pages 219-234
  10. Computable Execution Traces

    • Declan Thompson
    Pages 235-251
  11. Axiomatic Reals and Certified Efficient Exact Real Computation

    • Michal Konečný, Sewon Park, Holger Thies
    Pages 252-268
  12. Uniform Lyndon Interpolation for Basic Non-normal Modal Logics

    • Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
    Pages 287-301

Other Volumes

  1. Logic, Language, Information, and Computation

About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 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.

Editors and Affiliations

  • Cornell University, New York, USA

    Alexandra Silva

  • Instituto de Matematica e Estatisrica, Universidade de São Paulo, Sao Paulo, Brazil

    Renata Wassermann

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

    Ruy de Queiroz

Bibliographic Information

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

  • Book Subtitle: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings

  • Editors: Alexandra Silva, Renata Wassermann, Ruy de Queiroz

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-88853-4

  • Publisher: Springer Cham

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

  • Copyright Information: Springer Nature Switzerland AG 2021

  • Softcover ISBN: 978-3-030-88852-7Published: 06 October 2021

  • eBook ISBN: 978-3-030-88853-4Published: 05 October 2021

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 427

  • Number of Illustrations: 48 b/w illustrations, 5 illustrations in colour

  • Topics: Logic

Buy it now

Buying options

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 79.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