Blog Archives

Topic Archive: semantics

Computational Logic SeminarTuesday, March 11, 20142:00 pmGraduate Center, rm. 3209

Melvin Fitting

Height and Happiness

Lehman College - CUNY Graduate Center

Non-rigid designators play a major role in modal logics, when applied to aspects of natural language. Not only constants can be non-rigid, but also function symbols, and this is sometimes essential. I will discuss some examples, formalize them, and provide a semantics. If time permits, I will also present a nested sequent proof system to go with all this.