Derivability in Locally Quantified Modal Logics via Translation in Set Theory.

Angelo Montanari Alberto Policriti Matteo Slanina Derivability in Locally Quantified Modal Logics via Translation in Set Theory. 559-568 http://link.springer.de/link/service/series/0558/bibs/1893/18930559.htm 2000 conf/mfcs/2000 MFCS db/conf/mfcs/mfcs2000.html#MontanariPS00