Toplam kayıt 1, listelenen: 1-1

    • K ve K4 modal mantıklarının modelleri üzerine 

      Kahraman, Onur (İstanbul Kültür Üniversitesi / Fen Bilimleri Enstitüsü / Matematik Bilgisayar Anabilim Dalı, 2011-12)
      Bu tezde, K ve K4 modal mantıklarının sonlu Henkin yöntemiyle ve filtreleme yöntemiyle elde edilen modal modellerinin izomorf oldukları kanıtlanmıştır. Bu amaçla K ve K4'ün modal tamlığından ve kanonik modellerden ...