Logic, Language, Information, and Computation

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (Lecture Notes in Computer Science)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.

The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.

Table of Contents

Chapter 1. The Useful MAM, a Reasonable Implementation of the Strong -Calculus
Chapter 2. Compactness in Infinitary Gödel Logics
Chapter 3. Cut Elimination for Gödel Logic with an Operator Adding a Constant
Chapter 4. A Classical Propositional Logic for Reasoning About Reversible Logic Circuits
Chapter 5. Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction
Chapter 6. Justified Belief and the Topology of Evidence
Chapter 7. Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints
Chapter 8. Expressivity of Many-Valued Modal Logics, Coalgebraically
Chapter 9. Second-Order False-Belief Tasks: Analysis and Formalization
Chapter 10. Categories: How I Learned to Stop Worrying and Love Two Sorts
Chapter 11. A Logical Approach to Context-Specific Independence
Chapter 12. Descriptive Complexity of Graph Spectra
Chapter 13. Causality in Bounded Petri Nets is MSO Definable
Chapter 14. A Multi-type Calculus for Inquisitive Logic
Chapter 15. A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits
Chapter 16. True Concurrency of Deep Inference Proofs
Chapter 17. On the Complexity of the Equational Theory of Residuated Boolean Algebras
Chapter 18. Semantic Equivalence of Graph Polynomials Definable in Second Order Logic
Chapter 19. Sheaves of Metric Structures
Chapter 20. A Curry–Howard View of Basic Justification Logic
Chapter 21. On the Formalization of Some Results of Context-Free Language Theory
Chapter 22. The Semantics of Corrections
Chapter 23. The Expressive Power of k-ary Exclusion Logic
Chapter 24. Characterizing Relative Frame Definability in Team Semantics via the Universal Modality
Chapter 25. Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited
Chapter 26. Anaphors and Quantifiers