Author:
Luk’yanchuk A. N.,Rybakov V. V.
Reference19 articles.
1. Fagin R., Halpern J. Y., Moses Y., and Vardi M. Y., Reasoning About Knowledge, MIT Press, Cambridge (1995).
2. Thomason R. H., “Combination of tense and modality,” in: Handbook of Philosophical Logic. Vol. II (D. Gabbay, F. Guenthner (Eds.)), Reidel, Dordrecht, 1984, pp. 135–165.
3. Stud. Logic Found. Math.;D Gabbay,2003
4. Halpern J. Y., van der Meyden R., and Vardi M. Y., “Complete axiomatization for reasoning about knowledge and time,” SIAM J. Comput., 33, No. 3, 674–703 (2004).
5. Lorenzen P., Einführung in die operative Logik und Mathematik, Springer-Verlag, Berlin, Göttingen, and Heidelberg (1955).