Merging observation and access in dynamic logic (0)

by J van Benthem
Venue:Journal of Logic Studies