Modal logic 1.5a - soundness & completeness

Kane B is already on Lumen; this upload was never considered before. Channel treated as mixed (picked title by title); title passed a strict per-title check; oEmbed verified.

A 4-minute video from Kane B: “Modal logic 1.5a - soundness & completeness”.

Video by Kane B, played through YouTube's embedded player.