论文信息 - Some descending chains of incomplete modal logics - 字舞流文

Some descending chains of incomplete modal logics

[1] Max J. Cresswell. Magari's theorem via the recession frame , 1987, J. Philos. Log..

[2] Krister Segerberg,et al. An essay in classical modal logic , 1971 .

[3] S. K. Thomason,et al. An incompleteness theorem in modal logic , 1974 .

[4] Willem J. Blok,et al. The lattice of modal logics: an algebraic investigation , 1980, Journal of Symbolic Logic.

[5] George Boolos,et al. An incomplete system of modal logic , 1985, J. Philos. Log..

[6] Steven K. Thomason,et al. Semantic analysis of tense logics , 1972, Journal of Symbolic Logic.

[7] David Makinson,et al. A normal modal calculus between T and S4 without the finite model property , 1969, Journal of Symbolic Logic.