FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS. - HARRISON-TRAINOR, MATTHEW (Review of Symbolic Logic, 2019)