Enviar aquest missatge de text: A comprehensive logic for epistemic propositional attitudes :