Exact Truthmaker Semantics for Modal Logics. - Dongwoo Kim 007 (J. Philos. Log., 2024)