Dynamic topological logics over spaces with continuous functions.

Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

Browse the full AiML paper archive.