alethic logic: the modal logic of necessity and possibility and contingency
modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
picture: a visual representation (of an object or scene or person or abstraction) produced on a surface