A new approach to many-valued modal logics
Alexander Kurz ( University of Leicester )
- 14:00 17th February 2012 ( week 5, Hilary Term 2012 )Lecture Theatre B
Many-valued (or fuzzy) logics have a long tradition and adeep and beautiful algebraic theory (MV-algebras). Much less work hasbeen done on extensions of these logics by modal operators. In thistalk I will present the first steps of a new approach suggested bygeneralising coalgebraic logic from 2 truth-values to truth valuestaken from a complete lattice (or commutative quantale).
Share this:
