Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions

Alessio Lomuscio, Jakub Michaliszyn

The Epistemic Halpern-Shoham logic (EHS) is a temporal-epistemic logic that combines the interval operators of the Halpern-Shoham logic with epistemic modalities. The semantics of…