Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Logic, Language, Information, and Computation

28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Agata Ciabattoni

    1. Technische Universität Wien, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Elaine Pimentel

    1. University College London, London, UK

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

Included in the following conference series:

Conference proceedings info: WoLLIC 2022.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy 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

Licence this eBook for your library

Institutional subscriptions

About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 28th Workshop on Logic, Language, Information and Computation, WoLLIC 2022, Iasi, Romania, in September 2022. The 25 full papers presented included with 8 extra abstracts, 5 invited talks and 3 tutorials were fully reviewed and selected from 46 submissions. The conference aims fostering interdisciplinary research in pure and applied logic.

Similar content being viewed by others

Keywords

Table of contents (25 papers)

  1. Front Matter

    Pages i-xxix
    Download chapter PDF

  2. A Proof of the Focusing Theorem via MALL Proof Nets

    • Roberto Maieli
    Pages 1-17

  3. Time and Gödel: Fuzzy Temporal Reasoning in PSPACE

    • Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque, Brett McLean
    Pages 18-35

  4. Fixed Point Logics and Definable Topological Properties

    • David Fernández-Duque, Quentin Gougeon
    Pages 36-52

  5. Correspondence Theory for Generalized Modal Algebras

    • Zhiguang Zhao
    Pages 53-69

  6. Tense Logics over Lattices

    • Xiaoyang Wang, Yanjing Wang
    Pages 70-87

  7. Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability

    • Tomoyuki Yamakami
    Pages 88-104

  8. Multityped Abstract Categorial Grammars and Their Composition

    • Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote
    Pages 105-122

  9. Interval Probability for Sessions Types

    • Bogdan Aman, Gabriel Ciobanu
    Pages 123-140

  10. Combinatorial Flows as Bicolored Atomic Flows

    • Giti Omidvar, Lutz Straßburger
    Pages 141-157

  11. A Logic of “Black Box” Classifier Systems

    • Xinghan Liu, Emiliano Lorini
    Pages 158-174

  12. What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?

    • Naosuke Matsuda, Kento Takagi
    Pages 175-189

  13. Logic of Visibility in Social Networks

    • Rustam Galimullin, Mina Young Pedersen, Marija Slavkovik
    Pages 190-206

  14. The Alternation Hierarchy of the \(\mu \)-calculus over Weakly Transitive Frames

    • Leonardo Pacheco, Kazuyuki Tanaka
    Pages 207-220

  15. Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests

    • Igor Sedlár, Johann J. Wannenburg
    Pages 221-236

  16. The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable

    • Hans van Ditmarsch, Malvin Gattinger
    Pages 237-249

  17. Additive Types in Quantitative Type Theory

    • Vít Šefl, Tomáš Svoboda
    Pages 250-262

  18. Strongly First Order, Domain Independent Dependencies: The Union-Closed Case

    • Pietro Galliani
    Pages 263-279

  19. Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations

    • Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
    Pages 280-294

  20. Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting

    • Bartosz Bednarczyk, Oskar Fiuk
    Pages 295-308
Back to top

Other volumes

  1. Logic, Language, Information, and Computation

Editors and Affiliations

  • Technische Universität Wien, Vienna, Austria

    Agata Ciabattoni

  • University College London, London, UK

    Elaine Pimentel

  • Universidade Federal de Pernambuco, Recife, Brazil

    Ruy J. G. B. de Queiroz

Bibliographic Information

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation