Internal definability and completeness in modal logic | lit.salon