A Natural Deduction System for CTL

Bulletin of the Section of Logic, Tom 31, Numer 4 (2002) s. 231-240
Christian J. Renteria, Edward Hermann Haeusler

 

do góry