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