Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson. Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. In Alberto Pettorossi, editor, Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings. Volume 649 of Lecture Notes in Computer Science, pages 235-249, Springer, 1992.
Abstract is missing.