Opaque predicates, veiled sets and their logic

Decio Krause, Steven French

Motivated by considerations in the foundations of quantum mechanics and inspired by the literature on vague predicates, we introduce the concept of an opaque predicate. While in th…