Проблема П. С. Новикова для суперинтуиционистской логики <nobr>$L$</nobr> состоит в описании семейства всех максимальных консервативных (то есть <i>полных по П. С. Новикову</i>) расширений <nobr>$L$</nobr> в обогащенном дополнительными логическими связками и константами языке. В связи с континуальностью семейства всех суперинтуиционистских логик имеет смысл рассматривать проблему П. С. Новикова применительно к логикам, уже попавшим по тем или иным причинам в поле зрения исследовател
суперинтуиционистская логика $l2$, новая логическая константа, аксиоматика полных по п\u2009с\xa0новикову расширений