Publication:
S5EC ve KD45-O modal mantıklarının modelleri üzerine

Simple item page
dc.contributor.advisorÇiğdem Gencer
dc.contributor.authorBölük, Ayşe
dc.date.accessioned2014-08-28T08:07:54Z
dc.date.available2014-08-28T08:07:54Z
dc.date.issued2013-07
dc.description.abstractBu tezde, S5EC ve KD45-O modal mantıklarının sonlu Henkin ve filtreleme yöntemiyle elde edilen modellerinin izomorf olduğu ispatlanmıştır. Bu amaçla, S5EC ve KD45-O modal mantıklarının modal tamlığından ve kanonik modellerinden yararlanılmıştır. Anahtar Kelimeler : Epistemik mant k, makul olma, sa glaml k,taml k, kanonik model, sonlu Henkin y ontemi,filtreleme y ontemi.tr_TR
dc.identifier.urihttp://hdl.handle.net/11413/644
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.titleS5EC ve KD45-O modal mantıklarının modelleri üzerinetr_TR
dc.titleOn models of the modal logics S5EC and KD45-O
dc.typemasterThesistr_TR
dspace.entity.typePublication

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
AyşeBölükYLTez.pdf
Size:
406.98 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
Placeholder
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Matematik ve Bilgisayar Ana Bilim Dalı / Department of Mathematics and Computer Science