On the relation between interpreted systems and kripke models
Abstract. We compare Kripke models and hypercube systems, a sim-pli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to dene a map from the class of hy-percube systems to the class of Kripke frames, another in the opposite direction, and study their properties and compositions. We show that it is possible to characterise semantically the frames that are images of the hypercube systems.