Login / Signup
Modal Logic for Coalgebras.
Martin Rößiger
Published in:
GI Jahrestagung (1999)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
epistemic logic
classical logic
nonmonotonic logics
conditional logic
situation calculus
default logic
dynamic logic
reinforcement learning
prime implicates
modal operators
explanation based generalization