论文信息 - Modal logics with linear alternative relations - 字舞流文

Modal logics with linear alternative relations

Krister Segerberg | K. Segerberg

[1] K. Segerberg. Decidability of S4.1 , 2008 .

[2] R. A. Bull. An Algebraic Study of Tense Logics with Linear Time , 1968, J. Symb. Log..

[3] David Makinson,et al. There are infinitely many Diodorean modal functions , 1966, Journal of Symbolic Logic.

[4] R. A. Bull,et al. An algebraic study of Diodorean modal systems , 1965, Journal of Symbolic Logic.

[5] E. Lemmon,et al. Modal Logics Between S 4 and S 5 , 1959 .