An Epistemic Logical Language