Decidability of model checking multi-agent systems against a class of EHS specifications
Alessio R. Lomuscio, Jakub Michaliszyn · Frontiers in artificial intelligence and applications · 2014
We define and illustrate the expressiveness of thefragment of the Epistemic Halpern–Shoham Logic as a specification language for multi-agent systems. We consider the model checking problem for systems against specifications given in the logic. We show its decidability by means of a novel technique that may be reused in other contexts for showing decidability of other logics based on intervals.