Finite Model Theory of the Triguarded Fragment and Related Logics

Open in new window