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

Angelo Montanari, Alberto Policriti, Matteo Slanina

Browse the full MFCS paper archive.