Bizonyításelmélet II.: Haladó modális logika - (:unkn) unknown (My University, 2026)