"Ryo Kashima","Completeness of Hilbert-style axiomatization for the extended computation tree logic ECTL",,"Research Reports on Mathematical and Computing Sciences",,,,,2012,Mar.