Logic, Language, and Computation [E-Book] : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / edited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter.
Bezhanishvili, Guram.
Löbner, Sebastian. / Marra, Vincenzo. / Richter, Frank.
Berlin, Heidelberg : Springer, 2013
XII, 277 p. 56 illus. digital.
Printed edition: 9783642369759
Lecture notes in computer science ; 7758
Full Text
Table of Contents:
  • Part 1: Summaries of Tutorials. -Computational Social Choice (with a Special Emphasis on the Use of Logic)
  • Binding – Data, Theory, Typology
  • Lukasiewicz Logic: An Introduction
  • Part 2: Contributions in Language The Information Structure and Typological Peculiarities of the Georgian Passive Constructions
  • Discourse Structuring Questions and Scalar Implicatures
  • Towards a Logic of Information Exchange: An Inquisitive Witness Semantics
  • Sitting, Standing, and Lying in Frames: A Frame-Based Approach to Posture Verbs
  • Alleged Assassins: Realist and Constructivist Semantics for Modal Modification
  • An Outline of a Dynamic Theory of Frames
  • What Does It Mean for an Indefinite to Be Presuppositional?
  • Part 3: Contributions in Logic and Computation Dynamics of Defeasible and Tentative Inference
  • Decidability for Justification Logics Revisited
  • Interpreted Systems Semantics for Process Algebra with Identity Annotations
  • The Duality of State and Observation in Probabilistic Transition Systems
  • Model Checking for Modal Intuitionistic Dependence Logic
  • Coalgebraic Predicate Logic: Equipollence Results and Proof Theory.