S5EC ve KD45-O modal mantıklarının modelleri üzerine
On models of the modal logics S5EC and KD45-O
- Tez No: 337061
- Danışmanlar: PROF. DR. ÇİĞDEM GENCER
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2013
- Dil: Türkçe
- Üniversite: İstanbul Kültür Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Bilgisayar Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 65
Özet
Bu 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 mantk, makul olma, saglamlk,tamlk, kanonik model, sonlu Henkin yontemi,filtreleme yontemi.
Özet (Çeviri)
We prove in this thesis that the models for the modal logics S5EC and KD45-O obtained by the finite Henkin method are isomorphic to the ones obtained by the filtration. For that propose, we use the completeness and canonical model. Keywords : Epistemic logic, plausibility, soundness,completeness, canonical model, nite Henkin method,filtration method.