doxastic logic: the modal logic of belief and disbelief
modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
estoppel: a rule of evidence whereby a person is barred from denying the truth of a fact that has already been settled