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.

Similar works

This paper was published in CiteSeerX.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.