Tag Archives: rational

Transitive filtration on (Q,<)

This a bonus question for HW 2 Basic Modal Logic course 2016/2017. Show that transitive fitration on is a finite list of clusters, maybe interspersed by some irreflexive singletons, no two of which may be adjacent. What I did is … Continue reading

Posted in Uncategorized | Tagged , , , , , , , , , , | Leave a comment