Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning. Front Matter....Pages - Quantum State Transformations and Branching Distributed Temporal Logic....Pages 1-19 Definability for Downward and Vertical XPath on Data Trees....Pages 20-35 On the Value of Variables....Pages 36-50 Logics with Copy and Remove....Pages 51-65 Unranked Second-Order Anti-Unification....Pages 66-80 Reinstatement and the Requirement of Maximal Specificity in Argument Systems....Pages 81-93 Sequentialization for N-Graphs via Sub-N-Graphs....Pages 94-108 Interrogative Dependencies and the Constructive Content of Inquisitive Proofs....Pages 109-123 Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem....Pages 124-136 Ancestral Logic: A Proof Theoretical Study....Pages 137-151 A Calculus of Anyons....Pages 152-165 Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars....Pages 166-180 Common Knowledge Semantics of Armstrong’s Axioms....Pages 181-194 On Distributed Stochastic Logics for Mobile Systems....Pages 195-205 On the Construction of Analytic Sequent Calculi for Sub-classical Logics....Pages 206-220 On the Broader Epistemological Significance of Self-Justifying Axiom Systems....Pages 221-236 Back Matter....Pages -