In this section we introduce our logic with its language and axioms, while indicating the difference with the original BAN logic. After that, we prove that this logic is stronger than BAN.
