Dynamic Topological Logic

Annals of Pure and Applied Logic - Netherlands

doi 10.1016/j.apal.2004.06.004