Changing Observations in Epistemic Temporal Logic

Aurèle Barrière, Bastien Maubert, Aniello Murano +1

We study dynamic changes of agents' observational power in logics of knowledge and time. We consider CTL*K, the extension of CTL* with knowledge operators, and enrich it with a new…