Login / Signup
From modal logic to terminal coalgebras.
Martin Rö
Published in:
Theor. Comput. Sci. (2001)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
situation calculus
nonmonotonic logics
default logic
prime implicates
classical logic
epistemic logic
conditional logic
explanation based generalization
autoepistemic logic
dynamic logic
fixed point
model checking
sequent calculus
database systems