Logic, Language, Information, and Computation

1. Solovay’s Completeness Without Fixed Points

   • Fedor Pakhomov

   Pages 281-294

2. An Epistemic Generalization of Rationalizability

   • Rohit Parikh

   Pages 295-303

3. Knowledge Is a Diamond

   • Vít Punčochář

   Pages 304-320

4. Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs

   • Yury Savateev, Daniyar Shamkanov

   Pages 321-335

5. On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations

   • Nikolai L. Poliakov, Denis I. Saveliev

   Pages 336-348

6. Substructural Logics with a Reflexive Transitive Closure Modality

   • Igor Sedlár

   Pages 349-357

7. Global Neighbourhood Completeness of the Gödel-Löb Provability Logic

   • Daniyar Shamkanov

   Pages 358-370

8. Coherent Diagrammatic Reasoning in Compositional Distributional Semantics

   • Gijs Jasper Wijnholds

   Pages 371-386

9. Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces

   • Zhiguang Zhao

   Pages 387-400

10. Back Matter

    Pages 401-401

    PDF

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers  were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation. 

• agents
• applied computing
• artificial intelligence
• complexity theory
• cut elimination
• finite element method
• formal logic
• foundations
• language
• linear feedback
• modal logic
• proof theory
• problem solving
• semantics
• shift registers
• substructural logics
• theory of computation
• algorithm analysis and problem complexity

• Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland

  Juliette Kennedy

• Centro de Informática, Recife, Brazil

  Ruy J.G.B. de Queiroz

Policies and ethics