Pristine Perspectives on Logic, Language and Computation

1. Front Matter

   PDF

2. Language and Computation

   1. Characterizing Speech Genres through the Relation between Prosody and Macrosyntax

      • Julie Belião

      Pages 1-18

   2. Evaluating Supervised Semantic Parsing Methods on Application-Independent Data

      • Sebastian Beschke

      Pages 19-25

   3. Using Corpus Statistics to Evaluate Nonce Words

      • Özkan Kılıç

      Pages 26-35

   4. XMG: A Modular MetaGrammar Compiler

      • Simon Petitjean

      Pages 36-48

   5. Locative Alternation in English and Russian: A Frame Semantic Analysis

      • Yulia Zinova

      Pages 49-68

3. Logic and Computation

   1. On a Formal Connection between Truth, Argumentation and Belief

      • Sjur Dyrkolbotn

      Pages 69-90

   2. The Impact of Including Model Update Operators in Modal Logics

      • Raul Fervari

      Pages 91-108

   3. How Arbitrary Are Arbitrary Public Announcements?

      • Louwe Bouke Kuijer

      Pages 109-123

   4. A Quantitative Measure of Relevance Based on Kelly Gambling Theory

      • Mathias Winther Madsen

      Pages 124-141

   5. A Generalization of Modal Frame Definability

      • Tin Perkov

      Pages 142-153

   6. Monoid Automata for Displacement Context-Free Languages

      • Alexey Sorokin

      Pages 154-173

4. Logic and Language

   1. True Precision Required

      • Melania S. Masiá

      Pages 174-193

   2. Language Change and the Force of Innovation

      • Roland Mühlenbernd, Jonas David Nick

      Pages 194-213

   3. (The) Most in Flemish Dutch: Definiteness and Specificity

      • Koen Roelandt

      Pages 214-232

   4. Toward a Discourse Structure Account of Speech and Attitude Reports

      • Antoine Venant

      Pages 233-246

   5. ST5: A 5-Valued Logic for Truth-Value Judgments Involving Vagueness and Presuppositions

      • Jérémy Zehr

      Pages 247-265

5. Back Matter

   PDF

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. The 16 papers presented in this volume have been selected among 44 papers presented by talks or posters at the Student Sessions of the 24th and 25th editions of ESSLLI, held in 2012 in Opole, Poland, and 2013 in Düsseldorf, Germany. The papers are extended versions of the versions presented, and have all been subjected to a second round of blind peer review.

• logic and verification
• modal logic
• modal theory
• multi-agent systems
• proof complexity
• speech recognition
• vagueness
• algorithm analysis and problem complexity

• Laboratoire de Linguistique Formelle, Université Paris Diderot-Paris 7, Paris, France

  Margot Colinet

• Passeerdersstraat 28A, Amsterdam, The Netherlands

  Sophia Katrenko

• Department of Philosophy, Lund Unviersity, Lund, Sweden

  Rasmus K. Rendsvig

Policies and ethics