• Citations Per Year
Learn More
W-JS is a first-order predicate calculus on the modal theory of knowledge. It is based on na tu ra l deduct ion rules and accompanied by possible-worldaccessibil ity semantics. As an example, the famous "Mr . S and M r . P" puzzle is solved in W-JS. I I N T R O D U C T I O N Reasoning about knowledge is one of the areas wh ich has received the most a t tent(More)
  • 1