A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic - researchr publication references

researchr

You are not signed in
Sign in
Sign up

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]

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL