Non-finite axiomatizability of dynamic topological logic

David Fernández Duque. Non-finite axiomatizability of dynamic topological logic. ACM Trans. Comput. Log., 15(1):4, 2014. [doi]

Authors

David Fernández Duque

This author has not been identified. Look up 'David Fernández Duque' in Google