Modal logics of domains on the real plane
暂无分享,去创建一个
[1] Dov M. Gabbay,et al. Tense systems with discrete moments of time, part I , 1972, J. Philos. Log..
[2] Robert Goldblatt. Diodorean modality in Minkowski spacetime , 1980 .
[3] J. Burgess. Decidability for branching time , 1980 .
[4] Kit Fine,et al. The Logics Containing S 4.3 , 1971 .
[5] Dov M. Gabbay,et al. A general filtration method for modal logics , 1972, J. Philos. Log..
[6] A. Tarski,et al. The Algebra of Topology , 1944 .
[7] Kit Fine,et al. An incomplete logic containing S4 , 1974 .
[8] Kit Fine,et al. Logics containing K4. Part I , 1974, Journal of Symbolic Logic.
[9] Krister Segerberg,et al. Two-dimensional modal logic , 1973, J. Philos. Log..