排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
The taming (timing) of the states 总被引:1,自引:0,他引:1
2.
van Benthem Johan D'Agostino Giovanna Montanari Angelo Policriti Alberto 《Studia Logica》1998,60(3):387-420
In this paper, we generalize the set-theoretic translation method for poly-modal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor such a translation to work with specific cases of extended modal logics. 相似文献
3.
1