5 citations
1 paper
Marc van Zee, Dragan Doder, Leendert van der Torre +3
In this paper we address the interplay among intention, time, and belief in dynamic environments. The first contribution is a logic for reasoning about intention, time and belief,…