|
A type-theoretic dynamic logic| old_uid | 9407 |
|---|
| title | A type-theoretic dynamic logic |
|---|
| start_date | 2010/12/10 |
|---|
| schedule | 11h |
|---|
| online | no |
|---|
| location_info | etage 4, salle 4C92 |
|---|
| summary | We provide Montague semantics with a notion of context that allows discourse dynamics to be tackled. The resulting framework subsumes Discourse Representation Theory without appealing to any ad hoc definition. It is based on Church's simply typed lambda-calculus, and the notions of free and bound variables are as usual. We then define the underlying dynamic logic and show how a Montagovian lexicon can be "dynamized" in a systematic way. |
|---|
| responsibles | Crabbé |
|---|
| |
|