 Irreflexivity is not definable in basic modal logic (Blackburn et al. 2001). However if the atomic propositions are powerful enough to tell each outcome apart, then irreflexivity becomes definable. For instance let \(w_k\) be a variable identifying world \(w_k\).[4]  We have the following.