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.