Tbilisi Symposium on Logic, Language and Computation: Selected Papers Book

	The Tbilisi Symposium on Logic, Language and Computation
	Contributors
	Introduction
Pt. I	Natural Language Semantics	1
1	An Account of Negated Sentences in the DRT Framework	3
2	Austinian Propositions, Davidsonian Events and Perception Complements	19
3	A Situation-Theoretic Interpretation of Bare Plurals	35
Pt. II	Dynamic Semantics and Channel Theory	55
4	The Public and the Private: Two Domains of Analysis for Semantic Theory	57
5	Modal Subordination, Focus and Complement Anaphora	71
6	First-Order Theory Change Systems and their Dynamic Semantics	85
7	A Generalizable Semantics for a Default Inheritance Reasoner	101
Pt. III	Theoretical Linguistics	121
8	An HPSG Approach to Definite Concord and Elliptical Nominals	123
9	On Recent Formal Analyses of Topic	147
Pt. IV	Computational Linguistics	161
10	Estimating Hidden Markov Model Topologies	163
11	An Evaluation of Statistical Scores for Word Association	177
12	Computing Incoherence of Sentences from a Logical Representation of their Semantics	189
13	Lexical Disambiguation with Fine-Grained Tagsets	203
Pt. V	Formal Language Theory	211
14	Implementational Aspects of a Categorial Grammar Based on Partial Proof Trees	213
15	How to Get Rid of Projection Rules in Context-free Tree Grammars	235
Pt. VI	Logic	249
16	Some Results in Monadic Heyting Algebras	251
17	Decidability and Finite Model Property of Substructural Logics	263
18	A Logic Based Framework for Action Theories	275
19	A Modular Presentation of Modal Logics in a Logical Framework	293
20	On a Logically But Not Functionally Complete Calculus in Three-Valued Logic	309
Pt. VII	Theoretical Computer Science	315
21	Sharing-Graphs, Sharing-Morphisms, and (Optimal) [lambda]-Graph Reductions	317
22	Logical Full Abstraction and PCF	333
23	Properties of Infinite Reduction Paths in Untyped [lambda]-Calculus	353
	Name Index	369
	Subject Index	373