Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic

Diana Costa 0001, Manuel A. Martins 0001. Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic. J. Log. Algebr. Meth. Program., 121:100679, 2021. [doi]

Abstract

Abstract is missing.