doxastic logic: the modal logic of belief and disbelief
modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
cupola: a vertical cylindrical furnace for melting iron for casting