An Intuitionistic Version of Computation Tree Logic.

Laura Bozzelli, Andrea Capone, Davide Catta, Vadim Malvone, Aniello Murano

Browse the full EUMAS paper archive.