Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Logic and Semantics Seminar
7th May, 2004: Giovanna Corsi
Computer Laboratory > Research > TSG > Logic and Semantics Seminar > 7th May, 2004: Giovanna Corsi

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.