Properties of Embeddings from Int to S4

Uwe Egly. Properties of Embeddings from Int to S4. In Roy Dyckhoff, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings. Volume 1847 of Lecture Notes in Computer Science, pages 205-219, Springer, 2000.

Abstract

Abstract is missing.