K ve K4 modal mantıklarının modelleri üzerine
On models of the modal logics K and K4
- Tez No: 304928
- Danışmanlar: PROF. DR. ÇİĞDEM GENCER
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2011
- 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ı: 54
Özet
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 yararlanılmıştır.
Özet (Çeviri)
We 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.
Benzer Tezler
- Deneysel akut medulla spinalis travmasında kronik alfa tokoferol kullanımının lipid peroksidasyon üzerine etkisi
The Effects of chronic alpha tocopherol administration on lipid peroxidation in an experimental model of acute spinal cord injury
MUSTAFA BOZBOĞA
- Bazı iyon ve bileşiklerin model zarların yapısal ve dinamik özellikleri üzerine olan etkilerinin değişik sıcaklıklarda ESR yöntemi ile incelenmesi
Studies on the effect of some ions and compunds on the structural and dynamic properties of model membranes investigated by ESR technique at different temperatures
CANAN AYDAŞ
Doktora
Türkçe
2001
Fizik ve Fizik MühendisliğiHacettepe ÜniversitesiFizik Mühendisliği Ana Bilim Dalı
PROF. DR. MUSTAFA KORKMAZ
- İki dilli ortaokul öğrencilerinin türkçe öğrenimi üzerine bir değerlendirme (Batman örneği)
An evaluation of bilingual student in middle school on learning turkish (Batman sample)
FEYZULLAH AĞIRMAN
Yüksek Lisans
Türkçe
2019
DilbilimNevşehir Hacı Bektaş Veli ÜniversitesiTürkçe Eğitimi Ana Bilim Dalı
DOÇ. DR. MESUT GÜN
- Parkinson tedavisi için nöral farklılaşmış diş pulpası kök hücreleri-enjekte edilebilir polimer modeli: in-vitro çalışmalar
A model of neural differentiated dental pulp stem cells-injectable polymer gel for treatment of parkinson's disease: In-vitro studies
MERVE ÇAPKIN YURTSEVER
Doktora
Türkçe
2016
BiyomühendislikHacettepe ÜniversitesiBiyomühendislik Ana Bilim Dalı
PROF. DR. MENEMŞE GÜMÜŞDERELİOĞLU
- Doğal ve modifiye zeolitlerde su buharı adsorpsiyonu
Adsorption of water vapour in natural and modified zeolites
MERYEM SAKIZCI
Doktora
Türkçe
2004
Fizik ve Fizik MühendisliğiAnadolu ÜniversitesiFizik Ana Bilim Dalı
PROF.DR. ERTUĞRUL YÖRÜKOĞULLARI