Login / Signup
Modal Independence Logic.
Juha Kontinen
Julian-Steffen Müller
Henning Schnoor
Heribert Vollmer
Published in:
CoRR (2014)
Keyphrases
</>
modal logic
nonmonotonic logics
temporal logic
classical logic
modal operators
multi valued
predicate logic
dynamic logic
search engine
database systems
inference rules
default logic
automated reasoning
epistemic logic