R. A. Schmidt, and
``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.
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]