An institution of modal logics for coalgebras.

Corina Cîrstea

Published in: J. Log. Algebraic Methods Program. (2006)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
nonmonotonic logics
higher education
default logic
model checking
conditional logic
sufficient conditions
data model
search algorithm
situation calculus
reinforcement learning
artificial intelligence