K modal lojiğinin genişlemeleri üzerine
- Global styles
- Apa
- Bibtex
- Chicago Fullnote
- Help
Abstract
ÖZET K MODAL LOJİĞİNÎN GENİŞLEMELERİ ÜZERİNE KAYALIK, Melike Yüksek Lisans Tezi, Matematik Bölümü Tez Yöneticisi: Prof. Dr. Mehmet TERZİLER Haziran 2003, 45 sayfa Giriş ve ön Bilgiler bölümleri dışmda bu tez esas olarak dört bölümden oluşmaktadır. 3. bölümde; D ve 0 operatörlerinin bazı özellikleri verildi. 4. bölüm belirli morfîzmalar altında semantik denk yapılarla ilgilidir. 5. ve 6. bölümlerde süzme (filtration) yöntemi ve sonlu model özelliği (finite model property) kullanılarak belirli modal lojiklerin tamlık (completeness) ve saptanabilirlik (decidability) karakterleri belirlendi. Anahtar sözcükler: Süzme, sonlu model özelliği, tamlık ve saptanabilirlik. vn ABSTRACT ON THE EXTENSIONS OF MODAL LOGIC K KAYALIK, Melike MSc in Mathematics Department Supervisor: Prof. Dr. Mehmet TERZÎLER June 2003,45 pages In addition to Introduction and Preliminaries Chapters, the thesis consists essentially of four chapters. Chapter 3 describes some properties of the operations D and 0. Chapter 4 concerns with semantic equivalent structures under certain morphisms. In chapter 5 and 6, it is shown that some well-known modal logics are complete and decidable by using filtration and finite model property concepts. Key words: Filtration, finite model property (finp), completeness and decidability.
Collections