Login / Signup
Efficient Representations for the Modal Logic S5.
Alexandre Niveau
Bruno Zanuttini
Published in:
IJCAI (2016)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
explanation based generalization
situation calculus
conditional logic
epistemic logic
dynamic logic