Tag Archives: modal logic

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

Hubungan makna box dan diamond dalam modal logic

Berikut adalah beberapa contoh menarik makna dan dalam modal logic yang menarik.¬†Biasanya jika kita merekayasa makna , maka makna dapat diperoleh melalui hubungan . Berikut adalah makna yang diberikan jika modal yang digunakan menyatakan hal berikut. Untuk meyatakan keharusan Sebagai … Continue reading

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