手机知网 App
24小时专家级知识服务
打 开
数学
ALGEBRAIC SEMANTICS OF SOME NORMAL QUANTIFIED MODAL SYSTEMS WITH THE BARCAN FORMULA
<正> Let S be a propositional modal system and S~* be the quantification of S, then we can prove the algebraic semantic completeness theorem of the kind of Rasiowa-Sikorski for S~* by showing that S has the property (E)given in [1]. But except for a few cases, it is very difficult to show thara system S has the property (E). So for most quantified modal systems,
0 5
手机阅读本文
下载APP 手机查看本文
Chinese Science Bulletin
1989年17期

搜 索