Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).

Emanuel Kieronski Sebastian Rudolph

Published in: Description Logics (2021)

Keyphrases

extended abstract

modal logic

finite model theory

database theory