Tableau-based Decision Procedures for Hybrid Logic

Thomas Bolander, Torben Bra√ľner. Tableau-based Decision Procedures for Hybrid Logic. Journal of Logic and Computation, 16(6):737-763, 2006. [doi]

Abstract

Abstract is missing.