On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 ModelsOpen Website

Ronald de Haan, Iris van de Pol

Published: 01 Jan 2021, Last Modified: 09 Feb 2024FLAP 2021Readers: Everyone
0 Replies