Schmidt, Renate A.,
Stell, John G. and
Rydeheard, David. 2014.
“Axiomatic and Tableau-Based Reasoning for Kt(H,R).” in
Advances in Modal Logic, volume X, edited by Rajeev
Goré, Barteld P.
Kooi, and Ágnes
Kurucz, pp. 478–497. London: King’s College Publications.