Costas D. Koutras, Christos Moyzes, Yorgos Zikos: A modal logic of knowledge, belief and estimation. J. Log. Comput. 27(8): 2303-2339 (2017)