Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic

Ron van der Meyden, Manas K. Patra

We investigate the decidability of model-checking logics of time, knowledge and probability, with respect to two epistemic semantics: the clock and synchronous perfect recall seman…