Hyperintensional modalities for many-valued logics

Abstract

Work on hyperintensional modal logics, logics where modalities are invariant to substitution of logically equivalent formulas, has been mostly based on classical logic. We argue that many approaches to hyperintensionality can go hand-in-hand well with non-binary valuations, whether it is propositional variables, modal formulas or both that are many-valued. In particular, we generalize Sedlar’s general framework for hyperintensional logics to be many-valued.