Seol mar théacs é seo: A comprehensive logic for epistemic propositional attitudes :