様相論理S4tBA - Internet Explorer 2.0