A Labeled Natural Deduction System for a Fragment of CTL*.

Andrea Masini, Luca Vigan, Marco Volpe

Browse the full LFCS paper archive.