Different types of logics are compaired so as to see the differences they have between them