Logic of doxastic attitudes solver