Book Volume 7758 2013

Logic, Language, and Computation

9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

ISBN: 978-3-642-36975-9 (Print) 978-3-642-36976-6 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages -

  2. Summaries of Tutorials

    1. Chapter

      Pages 1-3

      Computational Social Choice (with a Special Emphasis on the Use of Logic)

    2. Chapter

      Pages 4-11

      Binding - Data, Theory, Typology

    3. Chapter

      Pages 12-16

      Łukasiewicz Logic: An Introduction

  3. Contributions in Language

    1. Chapter

      Pages 17-34

      The Information Structure and Typological Peculiarities of the Georgian Passive Constructions

    2. Chapter

      Pages 35-50

      Discourse Structuring Questions and Scalar Implicatures

    3. Chapter

      Pages 51-72

      Towards a Logic of Information Exchange

    4. Chapter

      Pages 73-93

      Sitting, Standing, and Lying in Frames: A Frame-Based Approach to Posture Verbs

    5. Chapter

      Pages 94-114

      Alleged Assassins: Realist and Constructivist Semantics for Modal Modification

    6. Chapter

      Pages 115-137

      An Outline of a Dynamic Theory of Frames

    7. Chapter

      Pages 138-154

      What Does It Mean for an Indefinite to Be Presuppositional?

  4. Contributions in Logic and Computation

    1. Chapter

      Pages 155-165

      Dynamics of Defeasible and Tentative Inference

    2. Chapter

      Pages 166-181

      Decidability for Justification Logics Revisited

    3. Chapter

      Pages 182-205

      Interpreted Systems Semantics for Process Algebra with Identity Annotations

    4. Chapter

      Pages 206-230

      The Duality of State and Observation in Probabilistic Transition Systems

    5. Chapter

      Pages 231-256

      Model Checking for Modal Intuitionistic Dependence Logic

    6. Chapter

      Pages 257-276

      Coalgebraic Predicate Logic: Equipollence Results and Proof Theory

  5. Back Matter

    Pages -