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