Derivability in Locally Quantified Modal Logics via Translation in Set Theory

MONTANARI, Angelo

POLICRITI, SLANINA