Show simple item record

On models of the modal logics K and K4

dc.contributor.advisorÇiğdem Gencer
dc.contributor.authorKahraman, Onur
dc.date.accessioned2014-08-26T13:27:06Z
dc.date.available2014-08-26T13:27:06Z
dc.date.issued2011-12
dc.identifier.urihttp://hdl.handle.net/11413/623
dc.description.abstractBu 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 yararlanılmıştır.tr_TR
dc.description.abstractWe prove the models obtained for the modal logics K and K4 by the finite Henkin method is isomorphic to the ones obtained by filtration in this thesis. For that purpose we use modal completeness of K, K4 and canonical models.
dc.language.isotrtr_TR
dc.publisherİstanbul Kültür Üniversitesi / Fen Bilimleri Enstitüsü / Matematik Bilgisayar Anabilim Dalıtr_TR
dc.subjectmatematiktr_TR
dc.subjectmathematicstr_TR
dc.titleK ve K4 modal mantıklarının modelleri üzerinetr_TR
dc.titleOn models of the modal logics K and K4
dc.typeThesistr_TR


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record