Proof theory, on the other hand, focuses on the structure and nature of mathematical proofs. Recent research in these fields has explored various aspects of modal logic and proof theory ...