Monadic Σ 1 1 and Modal Logic with Quantified Binary Relations

摘要

We investigate the expressive power of a range of modal logics extended with second-order prenex quantification of binary and unary relations. Our principal result is thatΣ11(BML=), i.e., Boolean modal logic extended with the identity modality and existential prenex quantification of binary and unary relations, translates intomonadicΣ11. We also briefly discuss a variety of decidability results in multimodal logic implied by our result.