Wei Li. What Is the Right Logical Framework for Evolution of Knowledge. In The Third Asian Workshop on Programming Languages and Systems, APLAS 02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings. pages 84-94, 2002.
Abstract is missing.