Stephanou Y. First-order modal logic with an 'actually' operator. Notre Dame Journal of Formal Logic. 2005;46(4):381-405.