Towards a Coalgebraic Interpretation of Propositional Dynamic Logic

Ernst-Erich Doberkat

Published in: CoRR (2011)

Keyphrases

propositional dynamic logic
image interpretation
dynamic logic
databases
high level
reasoning about actions
data sets
scene interpretation
information systems
decision making
image processing
decision trees
relational databases
image analysis
semantic interpretation