I suggest that we discuss the thoughts we have had about knowledge sharing between logics, based on the things we have been discussing in the last few days (see The First Workshop on Formal Methods in Knowledge Sharing).