Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators

Nick Bezhanishvili, Balder ten Cate. Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators. Journal of Logic and Computation, 16(2):177-197, 2006. [doi]

Abstract

Abstract is missing.