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]

Authors

Diana Costa 0001

This author has not been identified. Look up 'Diana Costa 0001' in Google

Manuel A. Martins 0001

This author has not been identified. Look up 'Manuel A. Martins 0001' in Google