Belief Revision on Computation Tree Logic

Open in new window