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]

Authors

Anantha Padmanabha

This author has not been identified. Look up 'Anantha Padmanabha' in Google

R. Ramanujam 0001

This author has not been identified. Look up 'R. Ramanujam 0001' in Google