U. Hustadt,
C. Dixon,
R. A. Schmidt, and
M. Fisher
(2000):
``Normal Forms and Proofs in Combined Modal and Temporal Logics.''
To appear in Proceedings of the International Workshop on Frontiers of Combining
Systems FroCoS'2000 (Nancy, France, March 22-24, 2000).
Springer 2000.
Abstract,
BibTeX.
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]