様相論理Verの意味論