Extended Modal Dependence Logic.

Johannes Ebbing Lauri Hella Arne Meier Julian-Steffen Müller Jonni Virtema Heribert Vollmer

Published in: WoLLIC (2013)

Keyphrases

modal logic
nonmonotonic logics
derivation rules
classical logic
multi valued
dynamic logic
data sets
information systems
case study
logic programming
automated reasoning
modal operators
asynchronous circuits