[Philosophy.lugano] Online Talk: A truthmaker semantics for modal logic