Among the logics that can be used are classical propositonal logic, intuitionistic propositional logic, modal logic, temporal logic, and others.

They felt the need to resort to Modal Logic to prove that I was wrong.