Updating modal logic