2.5 Logical Systems