Цахим шуудангийн бүртгэл: Современная модальная логика