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

Yuming Shen Yuefei Sui Ju Wang 0005 On the Translation from Quantified Modal Logic into the Counterpart Theory Revisited. 377-386 2011 KSEM https://doi.org/10.1007/978-3-642-25975-3_33 conf/ksem/2011 db/conf/ksem/ksem2011.html#ShenSW11