共查询到20条相似文献,搜索用时 359 毫秒
1.
2.
3.
4.
5.
6.
7.
8.
9.
Graded modalities. I 总被引:1,自引:0,他引:1
We study a modal system ¯T, that extends the classical (prepositional) modal system T and whose language is provided with modal operators M inn (nN) to be interpreted, in the usual kripkean semantics, as there are more than n accessible worlds such that.... We find reasonable axioms for ¯T and we prove for it completeness, compactness and decidability theorems.The authors are very indebted to the referee for Ms consideration and appreciation of their work. 相似文献
10.
11.
12.
13.
The paper is conceived as a first study on the Suszko operator. The purpose of this paper is to indicate the existence of close relations holding between the properties of the Suszko operator and the structural properties of the model class for various sentential logics. The emphasis is put on generality both of the results and methods of tackling the problems that arise in the theory of this operator. The attempt is made here to develop the theory for non-protoalgebraic logics. 相似文献
14.
15.
16.
17.
18.
19.
20.