Modality and provability from the perspective of non-deterministic semantics. Universiteit Gent
In this project, we will use non-deterministic semantics to study various modal notions. We will be particularly interested in logics that have a coherent provability reading, such as informal provability, intuitionistic provability, and various other logics validating axiom T. The main interest is the relations between the perspectives offered by non-deterministic semantics and by Kripke's semantics, as well as by the standard semantics ...