Finite Model Theory of the Triguarded Fragment and Related Logics.

Emanuel Kieronski Sebastian Rudolph

Published in: LICS (2021)

Keyphrases

finite model theory
expressive power
database
modal logic
artificial intelligence
data structure
query optimization