Login / Signup
Modal Independence Logic.
Juha Kontinen
Julian-Steffen Müller
Henning Schnoor
Heribert Vollmer
Published in:
Advances in Modal Logic (2014)
Keyphrases
</>
modal logic
nonmonotonic logics
epistemic logic
multi valued
logic programming
dynamic logic
case study
real time
temporal logic
pairwise
inference rules
conditional independence
modal operators
predicate logic
kripke models
formal theory
digital circuits
classical logic
logical framework
bayesian networks