A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic

Anantha Padmanabha, R. Ramanujam 0001. A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic. ACM Trans. Comput. Log., 24(4), October 2023. [doi]

Abstract

Abstract is missing.