Speaker: |
Giovanna Corsi, Università di Bologna |
Title: |
Transition Frames with Counterpart Relations |
Time: |
7th May, 2004, 14:00 |
Venue: |
William Gates Building, room FW11 |
Abstract: |
Transition frames enriched with domain functors and counterpart
relations are introduced so as to model first-order languages with
modal operators. A key theme will be the interplay between
substitution, quantification and identity once modalities are present.
Typed languages with explicit substitutions result to be the
appropriate tool to investigate such an interplay. Correspondence
between properties of the counterpart relation and modal sentences is
shown.
|
|