1 paper · 1 filter
Joseph Y. Halpern, Evan Piermont
We develop a modal logic to capture partial awareness. The logic has three building blocks: objects, properties, and concepts. Properties are unary predicates on objects; concepts…