Kripke Incompleteness of Predicate Extentions of Gabbay-deJongh's Logic of the Finite binary trees

Bulletin of the Section of Logic, Tom 31, Numer 2 (2002) s. 111-118
Tatsuya Shimura