INTERNET上的导航助手

The Global Properties of Valid Formulas in Modal Logic K

随着Ｉｎｔｅｒｎｅｔ在全球的扩展，人们已设计出了若干面向普通Ｉｎｔｅｒｎｅｔ用户的工具软件．引导着不同层次的用户在Ｉｎｔｅｒｎｅｔ浩瀚的海洋中邀游。本文将介绍Ｉｎｔｅｒｎｅｔ上三种是常用的导航软件的使用方法，它们是ａｒｃｈｉｅ，ＷＡＩＳ和Ｇｏｐｈｅｒ。