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

by Guram Bezhanishvili (Editor), Sebastian Löbner (Editor), Vincenzo Marra (Editor)

Part 1: Summaries of Tutorials. -Computational Social Choice (with a Special Emphasis on the Use of Logic).- Binding - Data, Theory, Typology.- Lukasiewicz 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 An Inquisitive Witness Semantics.- Sitting, Standing, and Lying in A Frame-Based Approach to Posture Verbs.- Alleged 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 Equipollence Results and Proof Theory.

292 pages, Paperback

First published March 22, 2013