1. Baratella, S., Masini, A.: An approach to infinitary temporal proof theory. Archive for Mathematical Logic 43(8), 965–990 (2004)
2. van Benthem, J.: Modality, bisimulation and interpolation in infinitary logic. Annals of Pure and Applied Logic 96(1-3), 29–41 (1999)
3. Dixon, C., Gago, M.-C.F., Fisher, M., van der Hoek, W.: Using temporal logics of knowledge in the formal verification of security protocols. In: Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), pp. 148–151. IEEE Computer Society Press, Los Alamitos (2004)
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)
5. Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Formal Models and Semantics (B), pp. 995–1072. Elsevier and MIT Press (1990)