U. Hustadt, C. Dixon, R. A. Schmidt, and M. Fisher (2000): ``Normal Forms and Proofs in Combined Modal and Temporal Logics.'' In H. Kirchner and C. Ringeissen, editors, Proceedings of the Third International Workshop on Frontiers of Combining Systems (FroCoS 2000) [Nancy, France, 22-24 March 2000], pp. 73-87. LNAI 1794, Springer.
Abstract, BibTeX, PDF (© Springer).

Our aim in this paper is to present an approach that is general enough to capture a wide range of combinations of temporal and modal logics, but still provides viable means for effective theorem proving. [an error occurred while processing this directive]