Distributive knowledge, doxastic logic, Kripke completeness2, Logic of Hypotheses, modal logic3, Trust.