Gérard Becher First Order Modal Logics with Generalized Intervals. 1996 conf/time/1996 TIME db/conf/time/time1996.html#Becher96 http://doi.ieeecomputersociety.org/10.1109/TIME.1996.555696 170-175