Axiomatizability of Alexandrov Dynamic Topological Logic.

Niels C. Vooijs, David Fernndez-Duque

Browse the full LICS paper archive.