论文信息 - Tense systems with discrete moments of time, part I - 字舞流文

Tense systems with discrete moments of time, part I

Dov M. Gabbay | D. Gabbay

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

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

[3] Patrick Schindler. Tense Logic for Discrete Future Time , 1970, J. Symb. Log..