Sahlqvist Correspondence for Modal mu-calculus.

Johan van Benthem Nick Bezhanishvili Ian M. Hodkinson

Published in: Stud Logica (2012)

Keyphrases

transition systems
point correspondences
modal logic
multiscale
propositional logic
development environment
nonmonotonic logics
automated deduction
databases
computer vision
image matching