Fangzhen Lin and Yoav Shoham defined a propositional nonmonotonic logic which uses two independent modal operators. One of them represents minimal knowledge, the other is related to the ideas of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results