"logics" - key terms from Wikipedia