様相論理S4.3 - Internet Explorer 2.0