1 paper
Roman Kontchakov, Dmitry Shkatov, Frank Wolter
We investigate preservation results for the independent fusion of one-variable first-order modal logics. We show that, without equality, Kripke completeness and decidability of glo…