Natural Deduction for First-Order Hybrid Logic

Torben Bra√ľner. Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information, 14(2):173-198, 2005. [doi]

Abstract

Abstract is missing.