Propositional logic is one of the simplest and most common logic and lies at the core of all other logical formalisms.
ALC
SOL
L2V