'Topological' Aspects of Knowledge and Nexttime
Bernhard Heinemann · 1996
We present a multi-agent logic of knowledge which speaks about the simultaneous changes of the respective sets of knowledge states by passing to the next time. Our main results concern completeness and dedicability of the corresponding logical system, complexity of certain subclasses of formulas, and the treatment of common knowledge.