Temporal logic of common knowledge and its resolution-based proof method. - Hadi Farahani; Saman Moshiri (J. Intell. Fuzzy Syst., 2018)