%0 Journal Article %A Veselka D. Boeva %T A Modal Logic Framework for Dynamic Conflict Detection %J Mathematica balkanica %D 2005 %P 17 %V 19 %N 1-2 %I mathdoc %U http://geodesic.mathdoc.fr/item/MABA_2005_19_1-2_a1/ %F MABA_2005_19_1-2_a1