Bisimulations and Boolean Vectors.
Melvin Fitting · 2002
this paper I show that a shift in the point of view, from Kripke frames to closely related Boolean vector spaces, turns bisimulations from relations to linear mappings having rather nice properties. Mono-modal frames give rise to Boolean vector spaces over the familiar two-valued Boolean algebra, while multi-modal frames bring more complex Boolean algebras into the picture. Still, the basic ideas remain the same for both the mono- and the multimodal cases. The point of this approach is not to prove new results, but to look at well-known results in a new way, hoping that a fresh perspective will lead to fresh insights. The paper begins with several sections discussing background. The formal work on Boolean valued vector spaces begins with Section 5