Logic, Language, Information, and Computation

1. Front Matter

   Pages i-xxix

   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

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.

• artificial intelligence
• automata theory
• computer hardware
• computer networks
• computer programming
• computer science
• computer systems
• formal languages
• formal logic
• graph theory
• internet
• linguistics
• logic programming
• mathematics
• modal logic
• programming languages
• semantics
• software design
• software engineering
• theoretical computer science

• 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

Policies and ethics