1,502 followers
Coalgebraic Predicate Logic http://t.co/Y0cG6cqF4F これ知らなかった。任意の coalgebra でできるというようなことが書いてあって,なんでそんな一般的なセッティングでできるんだろうと思ったら構文が普通の様相と違う。なるほど
Coalgebraic Predicate Logic http://t.co/Y0cG6cqF4F これ知らなかった。任意の coalgebra でできるというようなことが書いてあって,なんでそんな一般的なセッティングでできるんだろうと思ったら構文が普通の様相と違う。なるほど