Skip to main content

A new approach to many-valued modal logics

Alexander Kurz ( University of Leicester )

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: