Modal logic is based on the assumption that various possible states of affairs coexist at the same time, and that as little as a change...