семантика возможных миров.