A sound and complete axiomatization for dynamic topological logic
scientific article; zbMATH DE number 6083960
scientific article