doxastic logic: the modal logic of belief and disbelief
modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
holystone: a soft sandstone used for scrubbing the decks of a ship