Modal logic and classical logic