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