Project

Modality and provability from the perspective of non-deterministic semantics.