Axioms for classical, intuitionistic, and paraconsistent hybrid logic

Torben Bra√ľner. Axioms for classical, intuitionistic, and paraconsistent hybrid logic. Journal of Logic, Language and Information, 15(3):179-194, 2006. [doi]

Abstract

Abstract is missing.