Complexity Results for Modal Dependence Logic.

Peter Lohmann Heribert Vollmer

Published in: Stud Logica (2013)

Keyphrases

modal logic
nonmonotonic logics
worst case
classical logic
computational complexity
database
computational cost
automated reasoning
social networks
memory requirements
situation calculus
dynamic logic