A formal logical system rests on foundational truths, known as axioms, which are so self-evident they require no proof. It then uses rules of inference to deduce further true assertions.

Modal logic, an extension of classical logic, investigates the modes of truth such as necessity and possibility. Its development has been closely intertwined with advances in proof theory, a field ...