Browse by Document type
 | Up a level |
Jump to: 19 April 2023
Number of items: 1.
19 April 2023
Padmanabha, Anantha and Ramanujam, R (2023) A decidable fragment of first order modal logic: two variable term modal logic. ACM Transactions on Computational Logic. pp. 1-37.