 Until recently the possibility of a unification of these theories was generally doubted (Adriaans &amp; van Benthem 2008a), but after two decades of research, perspectives for unification seem better. 