Sahlqvist formülleri ve tamlık

Giriş ve Ön Bilgiler bölümleri dışında bu tez, esas olarak iki bölümden oluşmaktadır. 3. bölümde; modeller teorisinin kısa bir tanıtımı yapıldıktan sonra; çeşitli normal modal lojikler tanımlanmıştır. Bu lojiklerden özellikle S4 üzerinde durulmuş ve kanonik modeller aracılığıyla McKinsey-Tarski Teoremi çerçevesinde tamlığı ele alınmıştır. 4. bölümde önce çeşitli normal modal lojiklerin belirli çatı sınıflarına göre tamlığı gösterilmiş ve örneklenmiştir. Sonra Sahlqvist Algoritması ayrıntılı tanıtılmış ve Sahlqvist Teoremi genel bir örnek üzerine dayalı olarak ispatlanmıştır. Algoritmanın etkinliği üç örnekle gözler önüne sergilenmiştir.