Browsing Matematik - Bilgisayar Yüksek Lisans Programı / Mathematics - Computer Master's Degree Program by Publisher "İstanbul Kültür Üniversitesi / Fen Bilimleri Enstitüsü / Matematik Bilgisayar Anabilim Dalıth"
(İstanbul Kültür Üniversitesi / Fen Bilimleri Enstitüsü / Matematik Bilgisayar Anabilim Dalıth, 2012-06) Ateş, İlayda; Çiğdem Gencer
Bu tezde, S4 ve GL modal mantıklarının sonlu Henkin ve filtreleme yöntemiyle elde edilen modellerinin izomorf olduğu ispatlanmıştır. Bu amaçla S4 ve GL modal mantıklarının modal tamlığından ve kanonik modellerinden yararlanılmıştır
