Unifiability in extensions of K4

---

Gencer C., De Jongh D.

LOGIC JOURNAL OF THE IGPL, cilt.17, sa.2, ss.159-172, 2009 (SCI-Expanded, Scopus)

• Yayın Türü: Makale / Tam Makale
• Cilt numarası: 17 Sayı: 2
• Basım Tarihi: 2009
• Doi Numarası: 10.1093/jigpal/jzn032
• Dergi Adı: LOGIC JOURNAL OF THE IGPL
• Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
• Sayfa Sayıları: ss.159-172
• Açık Arşiv Koleksiyonu: AVESİS Açık Erişim Koleksiyonu
• İstanbul Kültür Üniversitesi Adresli: Evet

Özet

We extend and generalize the work on unifiability of [8]. We give a semantic characterization for unifiability and non-unifiability in the extensions of K4. We apply this in particular to extensions of KD4, GL and K4.3 to obtain a syntactic characterization and give a concrete decision procedure for unifiability for those logics. For that purpose we use universal models.