Construction of an explicit basis for rules admissible in modal system S4
Küçük Resim Yok
Tarih
2001
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Wiley-V C H Verlag Gmbh
Erişim Hakkı
info:eu-repo/semantics/closedAccess
Özet
We find an explicit basis for all admissible rules of the modal logic S4. Our basis consists of an infinite sequence of rules which have compact and simple, readable form and depend on increasing set of variables. This gives a basis for all quasi-identities valid in the free modal algebra F-S4(omega) of countable rank.
Açıklama
Anahtar Kelimeler
İnference Rule, Modal Logic, Free Algebra, Kripke Model, Basis For Admissible Rules, Admissible Rule, Intuitionistic Logic
Kaynak
Mathematical Logic Quarterly
WoS Q Değeri
Q4
Scopus Q Değeri
Q2
Cilt
47
Sayı
4
