Geri Dön

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

On models of the modal logics S5EC and KD45-O

  1. Tez No: 337061
  2. Yazar: AYŞE BÖLÜK
  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: 2013
  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ı: 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.

Benzer Tezler