An expressive completeness theorem for coalgebraic modal mu-calculi.

Sebastian Enqvist Fatemeh Seifan Yde Venema

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

modal logic
development environment
data quality
machine learning
databases
case study
spatial relations
digital topology
sequent calculi