Geri Dön

K ve K4 modal mantıklarının modelleri üzerine

On models of the modal logics K and K4

  1. Tez No: 304928
  2. Yazar: ONUR KAHRAMAN
  3. Danışmanlar: PROF. DR. ÇİĞDEM GENCER
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2011
  8. Dil: Türkçe
  9. Üniversite: İstanbul Kültür Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik Bilgisayar Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. 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

  1. 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

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    1991

    Nöroşirürjiİstanbul Üniversitesi
  2. 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

    Türkçe

    2001

    Fizik ve Fizik MühendisliğiHacettepe Üniversitesi

    Fizik Mühendisliği Ana Bilim Dalı

    PROF. DR. MUSTAFA KORKMAZ

  3. İ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

    Türkçe

    2019

    DilbilimNevşehir Hacı Bektaş Veli Üniversitesi

    Türkçe Eğitimi Ana Bilim Dalı

    DOÇ. DR. MESUT GÜN

  4. 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

    Türkçe

    2016

    BiyomühendislikHacettepe Üniversitesi

    Biyomühendislik Ana Bilim Dalı

    PROF. DR. MENEMŞE GÜMÜŞDERELİOĞLU

  5. Doğal ve modifiye zeolitlerde su buharı adsorpsiyonu

    Adsorption of water vapour in natural and modified zeolites

    MERYEM SAKIZCI

    Doktora

    Türkçe

    Türkçe

    2004

    Fizik ve Fizik MühendisliğiAnadolu Üniversitesi

    Fizik Ana Bilim Dalı

    PROF.DR. ERTUĞRUL YÖRÜKOĞULLARI