Logic, language and computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21 - 25, 2009 ; revised selected papers

Natural language syntax, semantics, and pragmatics.- Constructive, modal and algebraic logic.- Linguistic typology and semantic universals.- Logics for artificial intelligence.- Information retrieval, query answer systems.- Logic, games, and formal pragmatics.- Language evolution and learnability.- Computational social choice.- Historical linguistics, history of logic.