An expressive completeness theorem for coalgebraic modal mu-calculi.

Sebastian Enqvist Fatemeh Seifan Yde Venema

Published in: CoRR (2017)

Keyphrases

modal logic
sequent calculi
development environment
real time
von neumann
data sets
artificial intelligence
decision making
clustering algorithm
decision trees
rough sets
nonmonotonic logics