Completeness of Hilbert-style axiomatization for the extended computation tree logic ECTL

Publication Information

Title

Japanese:
English:	Completeness of Hilbert-style axiomatization for the extended computation tree logic ECTL

Author

Japanese:	鹿島亮.
English:	Ryo Kashima.

Language

English

Journal/Book name

Japanese:
English:	Research Reports on Mathematical and Computing Sciences

Number of Technical Report

C-279

Volume, Number, Page

Published year/month

2012/3

Publisher

Japanese:
English: