様相論理4.3の意味論