Reducing Validity in Epistemic ATL to Validity in Epistemic CTL

Dimitar P. Guelev

We propose a validity preserving translation from a subset of epistemic Alternating-time Temporal Logic (ATL) to epistemic Computation Tree Logic (CTL). The considered subset of ep…