Authors: DERIJKE M

Citation: M. Derijke, A SYSTEM OF DYNAMIC MODAL LOGIC, Journal of philosophical logic, 27(2), 1998, pp. 109-142

Authors: MONTANARI A DERIJKE M

Citation: A. Montanari et M. Derijke, 2-SORTED METRIC TEMPORAL LOGICS, Theoretical computer science, 183(2), 1997, pp. 187-214