Fusions of One-Variable First-Order Modal Logics
arXiv:2603.04512v2 Announce Type: replace Abstract: We investigate preservation results for the independent fusion of one-variable first-order modal logics. We show that, without equality, Kripke completeness...