様相論理S4の拡張について