Some Remarks on Alternating Temporal Epistemic Logic
Wojciech Jamroga · University of Twente Research Information · 2003
Abstract. Alternating-Time Epistemic Logic (ATEL) has been pro-posed recently for specication and verication of multi-agent systems properties in situations of incomplete information. Some minor prob-lems with ATEL semantics are characterized in this paper: an agent can 'access ' the current state of the whole system when making up his strat-egy (even when he should be uncertain about the state); moreover, no explicit representation of actions in ATEL models makes some natural situations harder to model. A few small changes are suggested in con-sequence, mostly to make ATEL models consistent with the incomplete information assumption.