Two Natural Deduction Systems for Hybrid Logic: A Comparison

Torben Bra√ľner. Two Natural Deduction Systems for Hybrid Logic: A Comparison. Journal of Logic, Language and Information, 13(1):1-23, 2004. [doi]

Abstract

Abstract is missing.