A compositional approach to defining logics for coalgebras.

Corina Cîrstea

Published in: Theor. Comput. Sci. (2004)

Keyphrases

expressive power
modal logic
inference rules
database
decision procedures
databases
three dimensional
expert systems
conditional logic
propositional calculus
propositional dynamic logic