Using modal logic in mobile robots door J. van Diggelen