Dynamic topological logic.

Philip Kremer Grigori Mints

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

modal logic
artificial intelligence
data mining
logic programming
dynamically changing
topological properties
set theory