It is well-known that many modal logics can be viewed as fragments of $FO^2$, i.e. two-variable first-order logic.

But is there a modal logic that is not a fragment, but is expressively equivalent to $FO^2$?



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.