1. Artemov, S., Protopopescu, T.: Intuitionistic epistemic logic. Computer Science Technical reports, Paper 401 (2014)
2. Balbiani, P., Demange, V., Galmiche, D.: A sequent calculus with labels for PAL. Presented in Advances in Modal Logic (2014)
3. Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Proceedings of TARK, pp. 43–56. Morgan Kaufmann Publishers, Los Altos (1989)
4. Lecture Notes in Computer Science;L Bozzato,2010
5. Bull, R.A.: A modal extension of intuitionistic logic. Notre Dame J. Formal Logic 6, 142–146 (1965)