Prove that:
Two finite rooted frames are isomorphic iff they validate the same formulas.
(This is an exercise in the book "Modal Logic" by A.Chagrov and M.Zakharyaschev)
Prove that:
Two finite rooted frames are isomorphic iff they validate the same formulas.
(This is an exercise in the book "Modal Logic" by A.Chagrov and M.Zakharyaschev)