Maydene Fisher

Learn More
Temporal logics of knowledge are useful for dealing with certain situations where the knowledge of some agents in a system is involved. There exist proof methods for these systems, however due to the complexity of the systemas they are not easy to implement. In this paper we present a translation from temporal logics of knowledge into the monodic fragment(More)
  • 1