| Rings Used in Modal Logic and Their Radicals
A. V. Kelarev and T. Stokes
Abstract
We define modal Boolean rings without identity and show that all such
can be embedded in modal Boolean rings with identity. We then show that
there are radical-theoretic ways of viewing many of the most important
classes of modal logics, such as {\it T} and {\it S}4. |