Here I will suggest you
some of my papers and discussions
on the critics and alternatives of give modal logic systems.

The Problem of Mixing Meta-Language with Object Language in in Modal Systems