epistemic logic: the modal logic of knowledge and uncertainty and ignorance
modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
quadrille: a square dance of 5 or more figures for 4 or more couples