 To K, we can add additional principles as axioms (axiom schemes) to obtain stronger logics (logics that have additional theorems: Logics \(\Lambda\) for which K \(\subseteq\Lambda\)). Of immediate interest is the logic called S5: