Topological Modal Logics with Difference Modality.

Published in: Advances in Modal Logic (2006)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
multi modal
nonmonotonic logics
epistemic logic
situation calculus
conditional logic
medical images
default logic
classical logic
topological properties
artificial intelligence
model checking