Project

Non-deterministic semantics as a tool for modeling negation and modality.