On variable separation in modal and superintuitionistic logics
暂无分享,去创建一个
[1] Michael Zakharyaschev,et al. The undecidability of the disjunction property of propositional logics and other related problems , 1993, Journal of Symbolic Logic.
[2] L. Maksimova,et al. A lattice of normal modal logics , 1974 .
[3] Wolfgang Rautenberg,et al. Klassische und nichtklassische Aussagenlogik , 1979 .
[4] Michael Dummett,et al. Modal Logics Between S4 and S5 , 1967 .
[5] L. L. Maksimova. The principle of separation of variables in propositional logics , 1976 .
[6] L. L. Maksimova,et al. Interpolation properties of superintuitionistic logics , 1979 .
[7] W. J. Blok,et al. Pretabular varieties of modal algebras , 1980 .
[8] L. L. Maksimova,et al. Modal logics and varieties of modal algebras: The beth properties, interpolation, and amalgamation , 1992 .
[9] E. Lemmon,et al. Modal Logics Between S 4 and S 5 , 1959 .
[10] Soren Hallden,et al. On the semantic non-completeness of certain Lewis calculi , 1951, Journal of Symbolic Logic.