1. Finger, M., and D. M. Gabbay, “Adding a temporal dimension to a logic system,” Journal of Logic, Language and Information, vol. 1 (1992), pp. 203–233. Zbl 0798.03031 MR 95h:03037
2. Alchourrón, C. E., P. Gärdenfors, and D. Makinson, “On the logic of theory change: partial meet contraction and revision functions,” The Journal of Symbolic Logic, vol. 50 (1985), pp. 510–530. Zbl 0578.03011 MR 87c:03020
3. Andréka, H., J. van Benthem, and I. Németi, “Back and forth between modal logic and classical logic,” Institute for Language, Logic and Information, Report ML-95-04, Amsterdam, 1995. Forthcoming in: Bulletin of the Interest Group for Pure and Applied Logics. Zbl 0840.03010 MR 96k:03036
4. de Bakker, J. W., W.-P. de Roever, and G. Rozenberg, Linear Time, Branching Time and Partial Orders in Logics and Models for Concurrency, Lecture Notes in Computer Science, vol. 354, Springer-Verlag, Berlin, 1989. Zbl 0683.68001 MR 90i:68009
5. Donini, F. M., D. Nardi, and R. Rosati, “Ground nonmonotonic modal logics for knowledge representation,” pp. 133-144 in Proceedings of the Second World Congress on Fundamentals of Artificial Intelligence,WOCFAI-95, edited by M. De Glas and Z. Pawlak, Angkor, Paris, 1995.