A sound and complete axiomatization for Dynamic Topological Logic

David Fernández-Duque

Published in: CoRR (2012)

Keyphrases

sound and complete axiomatization
belief revision
dynamic environments
conditional logic
modal logic
database
data sets
information retrieval
artificial intelligence
multi agent
data structure
logic programming
constraint satisfaction problems