Many-valued hybrid logic

Jens Ulrik Hansen, Thomas Bolander, Torben Bra√ľner. Many-valued hybrid logic. Journal of Logic and Computation, 28(5):883-908, 2018. [doi]

Abstract

Abstract is missing.