Intuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we show that it is possible to hybridize constructive modal logics. We describe the first constructive version of hybrid logic and prove some important proof-theoretical properties for this system. Several alternative systems are discussed, but we fix on a reasonable and well-motivated version and prove essential proof-theoretical results for it. This shows that constructive hybrid logics are a viable enterprise and opens up the way for future applications.
de Paiva, V. ; Brauner, T. Intuitionistic hybrid logic. Journal of Applied Logic. 2006 September; 4 (3): 231-255.