12 citations · 17 across the 3 of their papers we have counts for
3 papers
cs.LO2020★ 5 cited
Intention as Commitment toward Time
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,…
cs.AI2016
AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version)
Marc van Zee, Dragan Doder
We introduce a logic for temporal beliefs and intentions based on Shoham's database perspective. We separate strong beliefs from weak beliefs. Strong beliefs are independent from i…
math.LO2013★ 12 cited
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2
Bojan Marinković, Zoran Ognjanović, Dragan Doder +1
Primarily guided with the idea to express zero-time transitions by means of temporal propositional language, we have developed a temporal logic where the time flow is isomorphic to…