Existential definability of modal frame classes.

Tin Perkov Luka Mikec

Published in: Math. Log. Q. (2020)

Keyphrases

finite model theory
fixed point
propositional logic
real time
knowledge base
relational databases
query answering
frame rate
database systems
image quality