|
|
|
|
Список литературы
|
|
| |
| 1. |
Humberstone I. L., “Interval Semantics for Tense Logic: Some Remarks”, J. Philos. Logic, 8:1 (1979), 171–196    |
| 2. |
Nishimura H., “Sequential Method in Quantum Logic”, J. Symbolic Logic, 45:2 (1980), 339–352  |
| 3. |
Röper P., “Intervals and Tenses”, J. Philos. Logic, 9:4 (1980), 451–469 |
| 4. |
Halpern J. Y., Shoham Y., “A Propositional Modal Logic of Time Intervals”, J. ACM, 38:4 (1991), 935–962 |
| 5. |
Shapirovsky I., Shehtman V., “Chronological Future Modality in Minkowski Spacetime”, Advances in Modal Logic, 4, King's Coll. Publ., London, 2003, 437–459 |
| 6. |
Bresolin D., Goranko V., Montanari A., Sciavicco G., “Propositional Interval Neighborhood Logics: Expressiveness, Decidability and Undecidable Extensions”, Ann. Pure Appl. Logic, 161:3 (2009), 289–304 |
| 7. |
Chagrov A., Zakharyaschev M., Modal Logic, Clarendon Press, Oxford; Oxford Univ. Press, New York, 1997 |
| 8. |
Blackburn P., de Rijke M., Venema Y., Modal Logic, Cambridge Univ. Press, Cambridge, 2001 |
| 9. |
Fine K., “Logics Containing $K4$. Part I”, J. Symbolic Logic, 39:1 (1974), 31–42 |
