科研之友
微信
新浪微博
Facebook
分享链接
摘要
Following a result by De Rijke for modal logic, it is shown that the basic weak entailment model-theoretic language with absurdity is the maximal model-theoretic language having (i) the finite occurrence property, (ii) preservation under relevant directed bisimulations and (iii) the finite depth property. This can be seen as a generalized preservation theorem characterizing propositional weak entailment formulas among formulas of other model-theoretic languages.
- 出版日期2016-4
