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