1. L. Catach. Normal multimodal logics. In: Proc. Nat. Conf. on AI (AAAI88), pp. 491–495, 1988.
2. B. F. Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.
3. R. Fagin, J. Y. Halpern. Belief, Awareness, and Limited Reasoning. Journal of Artificial Intelligence, 34, 39–76, 1988.
4. L. Farinas del Cerro, A. Herzig. Automated Deduction for Epistemic and Temporal Logics. In: Handbook of Logic in AI and Logic Programming, Vol. 4: Epistemic and Temporal Reasoning, D. Gabbay, C.J. Hogger, J. A. Robinson, (eds.), pp. 499–594. Oxford University Press, Oxford, 1995.
5. M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht, 1983.