Login / Signup
The Expressive Power of Modal Dependence Logic.
Lauri Hella
Kerkko Luosto
Katsuhiko Sano
Jonni Virtema
Published in:
Advances in Modal Logic (2014)
Keyphrases
</>
expressive power
computational properties
modal logic
nonmonotonic logics
monadic second order logic
first order logic
data complexity
query language
relation algebra
temporal logic
epistemic logic
relational algebra
classical logic
transitive closure
set theory
recursive queries