Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness.

Thomas gotnes, Natasha Alechina

Browse the full TARK paper archive.