Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic?

Katsuhiko Sano. Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic?. J. Applied Logic, 8(4):459-474, 2010. [doi]

Abstract

Abstract is missing.