It is not the case that Moss and Viglizzo's coalgebraic semantics demonstrates that for finitary modal logics, truth-preserving maps between Kripke models and type spaces can be shown to respect bisimilarity when the functor is a polynomial.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.