Интуиционистская логика предикатов со связкой “завтра”

Сформулирован генценовский вариант интуиционистской логики предикатов с дополнительной унарной логической связкой, интерпретируемой на древовидных моделях Крипке понятием “завтра”. Доказаны корректность и полнота в этом классе моделей.
Библиогр. 5.