A sound and complete axiomatization for Dynamic Topological Logic.

David Fernández-Duque

Published in: J. Symb. Log. (2012)

Keyphrases

sound and complete axiomatization
belief revision
conditional logic
information systems
dynamic environments
formal theory
artificial intelligence
knowledge base
default reasoning
digital circuits