A Note on DYNAMIC ARROW LOGIC

@inproceedings{BenthemANO,
  title={A Note on DYNAMIC ARROW LOGIC},
  author={Johan van Benthem}
}
The current interest in logic and information flow has found its technical expression in various systems of what may be called 'dynamic logic' in some broad sense. But unfortunately, existing dynamic logics based on binary transition relations between computational states have high complexity (cf. Harel 1984). Therefore, it is worthwhile rethinking the choice of a relatively simple dynamic base system forming the 'computational core' that we need, without getting entangled in the complexity… CONTINUE READING