TY - JOUR
AB - The Epistemic Halpern-Shoham logic (EHS) is a temporal-epistemic logic thatcombines the interval operators of the Halpern-Shoham logic with epistemicmodalities. The semantics of EHS is based on interpreted systems whoselabelling function is defined on the endpoints of intervals. We show that thisdefinition can be generalised by allowing the labelling function to be based onthe whole interval by means of regular expressions. We prove that all thepositive results known for EHS, notably the attractive complexity of its modelchecking problem for some of its fragments, still hold for its generalisation.We also propose the new logic EHSre which operates on standard Kripkestructures and has expressive power equivalent to that of EHS with regularexpressions. We compare the expressive power of EHSre with standard temporallogics.
AU - Lomuscio,A
AU - Michaliszyn,J
PY - 2015///
TI - Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions
UR - http://arxiv.org/abs/1509.00608v1
ER -