multi-modal logics for belief, knowledge and common knowledge
Modal Fixed Point Logics
scientific article