Skip to main content
SpringerLink
Log in
Book cover

Logic, Language, Information, and Computation

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

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Alexandra Silva

    1. Cornell University, New York, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Renata Wassermann

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

    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, 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 13038)

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

Included in the following conference series:

Conference proceedings info: WoLLIC 2021.

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Formalized Soundness and Completeness of Epistemic Logic

    • Asta Halkjær From
    Pages 1-15

  3. A Logical Characterization of Constant-Depth Circuits over the Reals

    • Timon Barlag, Heribert Vollmer
    Pages 16-30

  4. Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes

    • Hans van Ditmarsch
    Pages 31-46

  5. Doubly Strongly First Order Dependencies

    • Pietro Galliani
    Pages 47-63

  6. Explicit Non-normal Modal Logic

    • Atefeh Rohani, Thomas Studer
    Pages 64-81

  7. A General Relational Semantics of Propositional Logic: Axiomatization

    • Shengyang Zhong
    Pages 82-99

  8. Meaning and Computing: Two Approaches to Computable Propositions

    • Ivo Pezlar
    Pages 100-116

  9. Modal Logic via Global Consequence

    • Xuefeng Wen
    Pages 117-132

  10. Games for Hybrid Logic

    • Robert Freiman
    Pages 133-149

  11. Verifying the Conversion into CNF in Dafny

    • Viorel Iordache, Ştefan Ciobâcă
    Pages 150-166

  12. Analysis in a Formal Predicative Set Theory

    • Nissan Levi, Arnon Avron
    Pages 167-183

  13. Coherence via Focusing for Symmetric Skew Monoidal Categories

    • Niccolò Veltri
    Pages 184-200

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

  15. Orthogonal Frames and Indexed Relations

    • Philippe Balbiani, Saúl Fernández González
    Pages 219-234

  16. Computable Execution Traces

    • Declan Thompson
    Pages 235-251

  17. Axiomatic Reals and Certified Efficient Exact Real Computation

    • Michal Konečný, Sewon Park, Holger Thies
    Pages 252-268

  18. Lorenzen Won the Game, Lorenz Did Too: Dialogical Logic for Ellipsis and Anaphora Resolution

    • Davide Catta, Symon Jory Stevens-Guille
    Pages 269-286

  19. Uniform Lyndon Interpolation for Basic Non-normal Modal Logics

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

  20. On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties

    • Juha Kontinen, Max Sandström
    Pages 302-318
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 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

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation