EN
The paper aims at providing temporal epistemic logic TEL with sound and complete axiomatization. This logic combines temporal and epistemic operators. Time is represented as isomorphic to the set of natural numbers, whereas knowledge is modeled as an S5-like modality.