Tuesday, October 30, 2012 3:30 pm
-
3:30 pm
EDT (GMT -04:00)
Logic seminar
Pantelis Eleftheriou, Department of Pure Mathematics, University of Waterloo
“Model-theoretic constructions in many-valued modal logics”
We study a family of Heyting-valued modal logics introduced by Fitting in the early ’90s. For each logic in this family, the semantics is given via Kripke-frames whose edges are labelled with values from an underlying Heyting algebra H.