Önermesel modal dilinin farklı semantikleri
Yükleniyor...
Dosyalar
Tarih
2012
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Ege Üniversitesi
Erişim Hakkı
info:eu-repo/semantics/openAccess
Özet
Bu tez yedi bölümden oluşmaktadır. Birinci bölümde genel bilgiler verilmiştir. İkinci bölümde; tezin okunabilirliğini kolaylaştırmak için temel kavramlar açıklayıcı örneklerle birlikte verilmiştir. Üçüncü bölümde; önermesel modal lojik ile birinci mertebe lojik arasında olası eşlemeler ele alınmıştır. Birinci mertebe lojik dilinde yazılan her formülü önermesel modal dilde betimleyen formüllerin olmadığı, Sahlqvist tekniği kullanılmadan, örneklerle gösterilmiştir. Dördüncü bölümde; modal formüllerin geçerliliği model bazında değilde Fitting tarafından ortaya atılan "tableau" yöntemi yardımıyla çalışılmıştır. Bu yöntemin çıkarım kurallarına gerek duymayan yalın ve etkin bir kanıt tekniği olduğu gösterilmiştir. Beşinci bölümde; modal lojikler için temel olan Kripke sağlamlık ve tamlık kavramları ele alınmıştır. Hemen hemen tüm normal lojiklerin tamlığı sonlu model özelliği kullanılmadan, kanonik model inşa edilerek dolaysız bir şekilde kanıtlanmıştır. Altıncı bölümde; genelde "iç" operatörü olarak yorumlanan *yerine topolojik semantik* türev operatörü yorumuyla ele alınmış ve çeşitli lojiklerin topolojik tamlığı gösterilmiştir. Yedinci bölümde; en genel olan komşuluk semantiği çalışılmıştır. Segerberg ve Chellas'ın çalışmalarından hareketle Kripke semantiğine göre geçerli olan bir çok modal formülün komşuluk semantiğinde geçerli olmadığı gösterilmiştir.
Açıklama
Anahtar Kelimeler
Modal lojik, modal önermeler lojiği, tableau yöntemi, kripke sağlamlık ve tamlık, topolojik semantik, komşuluk semantiği., Modal logic, propositional modal logic, tableau method, kripke soundness and completeness, topolojik semantics, neighborhood semantics., Matematik A.B.D.
