Vol. 69, No. 1, Analytic Tableaux and Related Methods. Part 1: Modal Logics (Oct., 2001), pp. 171-191 (21 pages) We define a tableau calculus for the logic of only knowing and knowing at most ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback