Unification and Passive Inference Rules for Modal Logics
Makaleler > Tam Makale · 2000
Yazarlar: V. V. Rybakov, M. Terziler, C. Gencer
Journal of Applied Non-Classical Logics, Uluslararası, Scopus, 2000, cilt 10, ss 369-377
DOI: 10.1080/11663081.2000.10511004
Özet
We1 study unification of formulas in modal logics and consider logics which are equivalent w.r.t. unification of formulas. A criteria is given for equivalence w.r.t. unification via existence or persistent formulas. A complete syntactic description of 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.