Introduction to epistemic logics and knowledge analysis .................................................