An Intuitionistic Version of Alternating-Time Temporal Logic.

Laura Bozzelli, Andrea Capone, Davide Catta, Aniello Murano

Browse the full KR paper archive.