Michael Huth

Enriching hybrid logics with abstraction, consistency checking, and probabilities

Hybrid logics extend modal logics with the ability to name states. This tagging ability has obvious modeling applications and allows the check of properties that are not expressible in standard modal logic, e.g. the existence of transition cycles. This well developed research area has little to say about enriching hybrid models with abstraction mechanisms, probabilities, or multiple viewpoints. In this talk we briefly outline solutions for such an enrichment.