Two variable fragment of Term Modal Logic

Anantha Padmanabha, R. Ramanujam. Two variable fragment of Term Modal Logic. In Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen, editors, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany. Volume 138 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: