On variable separation in modal and superintuitionistic logics.

Larisa Maksimova On variable separation in modal and superintuitionistic logics. 99-112 1995 55 Studia Logica 1 db/journals/sLogica/sLogica55.html#Maksimova95