Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings - Lecture Notes in Computer Science

Marc Notes: International conference proceedings.; Includes bibliographical references and author index.; Description based on print version record. Table of Contents: Section 1. Invited Talks -- Streaming String Transducers / Rajeev Alur -- Unification in Logic / Rosalie Iemhoff -- A Symbolic Logic with Exact Bounds for Cryptographic Protocols / John C. Mitchell -- Univalent Foundations of Mathematics / Vladimir Voevodsky -- Relational Concepts and the Logic of Reciprocity / Yoad Winter -- Logic in the Time of WWW: An OWL View / Michael Zakharyaschev -- Section 2. Contributed Papers -- A Complexity Question in Justification Logic / Antonis Achilleos -- Basic Model Theory for Memory Logics / Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera -- Partial Realization in Dynamic Justification Logic / Stamuel Bucheli, Roman Kuznets, Thomas Studer -- Hoare Logic for Higher Order Store Using Simple Semantics / Nathaniel Charlton -- Nominal Lawvere Theories / Ranald Clouston -- Turing Machines on Cayley Graphs / Aubrey da Cunha -- Information Flow on Directed Acyclic Graphs / Michael Donders, Sara Miner More, Pavel Naumov -- The Boyce-Codd-Heath Normal Form for SQL / Flavio Ferrarotti, Sven Hartmann, Henning Kohler, Sebastian Link, Millist Vincent -- Hybrid Logics and NP Graph Properties / Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasche Schechter, Ana Teresa Martins -- On the Expressive Power of IF-logic with Classical Negation / Santiago Figueira, Daniel Gorin, Rafael Grimson -- Concurrent Logic Games on Partial Orders / Julian Gutierrez -- Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation / Alexander Horn -- Untestable Properties in the Kahr-Moore-Wang Class / Charles Jordan, Thomas Zeugmann -- Characterizing Definability of Second-Order Generalized Quantifiers / Juha Kontinen, Jakub Szymanik -- Countable Version of Omega-Rule / Grigori Mints -- Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus / Paula Severi, Fer-Jan de Vries -- Strong Normalization and Confluence for Reflexive Combinatory Logic / Daniyar S. Shamkanov -- On Polymorphic Types of Untyped Terms / Rick Statman -- Querying the Fragments of English / Camilo Thorne -- Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic / Peter Verdee -- How Much Expressive Power Is Needed for Natural Language Temporal Indexicality? / Igor Yanovich -- Author Index.