Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.

Clare Dixon, Cludia Nalon, Michael Fisher

Browse the full TIME paper archive.