On the Translation from Quantified Modal Logic into the Counterpart Theory Revisited.

Yuming Shen, Yuefei Sui, Ju Wang

Browse the full KSEM paper archive.