Report copyright - Aof "accessibility relation" corresponds to the relation of derivability between states during execution. Thus we adopt the Temporal interpretation of Modal Logic. The variety of
Please pass captcha verification before submit form