Văn bản này: A comprehensive logic for epistemic propositional attitudes :