Natural Deduction for Hybrid Logic

Torben Bra√ľner. Natural Deduction for Hybrid Logic. Journal of Logic and Computation, 14(3):329-353, 2004. [doi]

Abstract

Abstract is missing.