Unification and Passive Inference Rules for Modal Logics
作者:
V.V. Rybakov,
M. Terziler,
C. Gencer,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 2000)
卷期:
Volume 10,
issue 3-4
页码: 369-377
ISSN:1166-3081
年代: 2000
DOI:10.1080/11663081.2000.10511004
出版商: Taylor & Francis Group
关键词: unification;unifier;inference rules;modal logics;superintuitionistic logics
数据来源: Taylor
摘要:
We1study 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.
点击下载:
PDF (464KB)
返 回