Описание:В курсе будет рассказываться о разнообразных семантиках для модальных и интуиционистских логик, в том числе о семантике возможных миров Крипке, окрестностной, топологической, алгебраической семантиках. Будут излагаться важнейшие связанные с ними результаты и методы.