1. Baldoni, M. 1998. Normal multimodal logics: Automatic deduction and logic programming extension PhD thesis, Torino.
2. Zeman, J.J. 1973. Modal logic. Oxford: Oxford University Press.
3. Castellini, C. and A. Smaill. 2000. A systematic presentation of quantified modal logics. Logic Journal of the IGPL 10: 571–599.
4. Bolotov, A., A. Basukoski, O. Grigoriev, and V. Shangin. 2006. Natural deduction calculus for linear-time temporal logic. Proceedings of jelia 2006. LNAI, Springer 4160.
5. Goubault-Larrecq J., and P.H. Schmitt. 1997. A tableau system for linear temporal logic. Proceedings of TACAS’97, 130–144, Springer.