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

This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011. The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications.

---

This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011.

The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications.

---

This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011.

The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications.

Content:
Front Matter....Pages -
Computational Social Choice (with a Special Emphasis on the Use of Logic)....Pages 1-3
Binding - Data, Theory, Typology....Pages 4-11
?ukasiewicz Logic: An Introduction....Pages 12-16
The Information Structure and Typological Peculiarities of the Georgian Passive Constructions....Pages 17-34
Discourse Structuring Questions and Scalar Implicatures....Pages 35-50
Towards a Logic of Information Exchange....Pages 51-72
Sitting, Standing, and Lying in Frames: A Frame-Based Approach to Posture Verbs....Pages 73-93
Alleged Assassins: Realist and Constructivist Semantics for Modal Modification....Pages 94-114
An Outline of a Dynamic Theory of Frames....Pages 115-137
What Does It Mean for an Indefinite to Be Presuppositional?....Pages 138-154
Dynamics of Defeasible and Tentative Inference....Pages 155-165
Decidability for Justification Logics Revisited....Pages 166-181
Interpreted Systems Semantics for Process Algebra with Identity Annotations....Pages 182-205
The Duality of State and Observation in Probabilistic Transition Systems....Pages 206-230
Model Checking for Modal Intuitionistic Dependence Logic....Pages 231-256
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory....Pages 257-276
Back Matter....Pages -

---

This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011.

The book consists of summaries of 3 tutorials presented at the symposium together with 13 full papers that were carefully reviewed and selected from the submissions. The papers are organized in two sections, one on Language and one on Logic and Computation. The range of topics covered in the Language section includes natural language syntax, semantics, and pragmatics, frames in natural language semantics, linguistic typology, and discourse phenomena. The papers in the Logic and Computation section cover such topics as constructive, modal, algebraic, and philosophical logic, as well as logics for computer science applications.

Content:
Front Matter....Pages -
Computational Social Choice (with a Special Emphasis on the Use of Logic)....Pages 1-3
Binding - Data, Theory, Typology....Pages 4-11
?ukasiewicz Logic: An Introduction....Pages 12-16
The Information Structure and Typological Peculiarities of the Georgian Passive Constructions....Pages 17-34
Discourse Structuring Questions and Scalar Implicatures....Pages 35-50
Towards a Logic of Information Exchange....Pages 51-72
Sitting, Standing, and Lying in Frames: A Frame-Based Approach to Posture Verbs....Pages 73-93
Alleged Assassins: Realist and Constructivist Semantics for Modal Modification....Pages 94-114
An Outline of a Dynamic Theory of Frames....Pages 115-137
What Does It Mean for an Indefinite to Be Presuppositional?....Pages 138-154
Dynamics of Defeasible and Tentative Inference....Pages 155-165
Decidability for Justification Logics Revisited....Pages 166-181
Interpreted Systems Semantics for Process Algebra with Identity Annotations....Pages 182-205
The Duality of State and Observation in Probabilistic Transition Systems....Pages 206-230
Model Checking for Modal Intuitionistic Dependence Logic....Pages 231-256
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory....Pages 257-276
Back Matter....Pages -
....