Interactions between knowledge and time in a first-order logic for multi-agent systems - Belardinelli,F; Lomuscio,A (AAAI Press, 2010)