Non-finite axiomatizability of Dynamic Topological Logic

David Fernández-Duque

Published in: CoRR (2012)

Keyphrases

dynamic environments
dynamically changing
multi agent
topological properties
asynchronous circuits
artificial intelligence
predicate logic
formal theory