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: Epistemik mant k, makul olma, sa glaml k, taml k, kanonik model, sonlu Henkin y ontemi, filtreleme y ontemi, Epistemic logic, plausibility, soundness, completeness, canonical model, nite Henkin method, filtration method
- Yıl: 2013
- Dil: Türkçe
- Üniversite: İstanbul Kültür Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik ve Bilgisayar Bilimleri Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Ö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.
Ö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.
Benzer Tezler
- Yeraltı sularında jeolojik süreçlerden kaynaklanan florür kontaminasyonu ve insan sağlığı üzerindeki etkileri
Fluoride contamination caused by geological processes in groundwater and its effects on human health
MEVLÜT YILMAN
Yüksek Lisans
Türkçe
2022
Çevre MühendisliğiBitlis Eren ÜniversitesiÇevre Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ AYŞEGÜL DEMİR YETİŞ
- Sera koşullarında farklı tuz seviyesine sahip sulama suyu uygulamalarının turp (Raphanus sativus L.) verimine etkisi
Effect of irrigation water application with different salinity levels in greenhouse conditions on radish (Raphanus sativus L.) yield
MUHAMMED HÜSNÜ KÖROĞLU
Yüksek Lisans
Türkçe
2019
ZiraatSelçuk ÜniversitesiTarımsal Yapılar ve Sulama Ana Bilim Dalı
DR. ÖĞR. ÜYESİ İLKNUR KUTLAR YAYLALI