On the basic logic ofSTITwith a single agent
Ming Hui Xu · Journal of Symbolic Logic · 1995
Abstract We present in this paper an axiomatization of Belnap and Perloff'sstittheory (a logic of “seeing to it that”) with a single agent. The idea of the proof is to apply the notion of companion sets—the same notion as used in another paper by the author that showed the decidability ofstittheory with a single agent andRefrefequivalence.