Unification and passive inference rules for modal logics
Küçük Resim Yok
Tarih
2000
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Erişim Hakkı
info:eu-repo/semantics/closedAccess
Özet
We 1 study unification of formulas in modal logics and consider logics which are equivolent w.r.t. unification of formulas. A criteria is given for equivalence w.r.t. uniilcation via existence or persistent formulas. A complete syntactic description cf all formulas which are non-unifiable in wide classes of modal logics is given. Passive inference rules are considered, it is shown that in any modal logic over D4 there is a finite basis for passive rules.
Açıklama
Anahtar Kelimeler
Inference Rules, Modal Logics, Superintuitionistic Logics, Unification, Unifier
Kaynak
Journal of Applied Non-Classical Logics
WoS Q Değeri
Scopus Q Değeri
Q1
Cilt
10
Sayı
3-4
