共 50 条
- [1] On the Beth properties of some intuitionistic modal logics Archive for Mathematical Logic, 2002, 41 : 443 - 454
- [5] On the simple substitution property for superintuitionistic and modal propositional logics Doklady Mathematics, 2008, 78 : 923 - 924