Abstract
In this talk, I survey recent work on extensions of various well-known decidable fragments of first-order logic, in which certain distinguished predicates are required to denote transitive relations or equivalence relations. I explain the origins of this work in modal logic, and outline the current state-of-the-art.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have