Modal verbs. Logical Assumptions