in the third place modal logic was developed without a semantic analysis being carried out