Modal logics for rational agents door B. van Linder