Guo Jiahong

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this article we present dynamic epistemic logic in the content of topological semantics. Dynamic epistemic logic is a brunch of modern logic which close related to computer science. We show that the DEL under topological semantics is of highly similarity with that DEL under relational semantics. First we give some preliminary background of topological(More)
  • 1