2.The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called EL, which can avoid the logical omniscience, and gives its semantic rules and its axioms.
3.In order to avoid ship collision accidents, ensure the safety of the navigation and protect the marine environment, IMO has made and issured a series of rules and regulation.
6.In order to avoid such vulnerabilities,firewall administrators have to determine an appropriate position in the firewall rule set to be inserted,and identify all the rules conflicting with the new rule in advance.
