Learn More
In this paper, we revive the topological interpretation of modal logic, turning it into a general language of patterns in space. In particular, we deene a notion of bisimulation for topological(More)
  • 1