Skip to content

Two variable fragment of Term Modal Logic.

Anantha Padmanabha, R. Ramanujam

VenueBMFCS
Year2019
ProceedingsMFCS

Browse the full MFCS paper archive.