Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings

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. Front Matter....Pages I-X Graph Turing Machines....Pages 1-13 Independence-Friendly Logic Without Henkin Quantification....Pages 14-30 Total Search Problems in Bounded Arithmetic and Improved Witnessing....Pages 31-47 On the Reflection Calculus with Partial Conservativity Operators....Pages 48-67 On the Length of Medial-Switch-Mix Derivations....Pages 68-79 Proof Theory and Ordered Groups....Pages 80-91 Constructive Canonicity for Lattice-Based Fixed Point Logics....Pages 92-109 Non-commutative Logic for Compositional Distributional Semantics....Pages 110-124 On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order....Pages 125-139 Computable Quotient Presentations of Models of Arithmetic and Set Theory....Pages 140-152 Lattice Logic Properly Displayed....Pages 153-169 Shift Registers Fool Finite Automata....Pages 170-181 The Lambek Calculus with Iteration: Two Variants....Pages 182-198 Multi-type Display Calculus for Semi De Morgan Logic....Pages 199-215 Dependent Event Types....Pages 216-228 A Geometry of Interaction Machine for Gödel’s System T....Pages 229-241 Disjoint Fibring of Non-deterministic Matrices....Pages 242-255 Generalized Relations in Linguistics and Cognition....Pages 256-270 Concrete Mathematics. Finitistic Approach to Foundations....Pages 271-280 Solovay’s Completeness Without Fixed Points....Pages 281-294 An Epistemic Generalization of Rationalizability....Pages 295-303 Knowledge Is a Diamond....Pages 304-320 Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs....Pages 321-335 On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations....Pages 336-348 Substructural Logics with a Reflexive Transitive Closure Modality....Pages 349-357 Global Neighbourhood Completeness of the Gödel-Löb Provability Logic....Pages 358-370 Coherent Diagrammatic Reasoning in Compositional Distributional Semantics....Pages 371-386 Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces....Pages 387-400 Back Matter....Pages 401-401