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