New constants in the superintuitionistic logic L2
Aleksandr Danilovich Yashin, A. K. Koshcheeva · Mathematical Notes · 2013
A classification of all Novikov complete extensions of the superintuitionistic logic L2 in a language with several extra constants is given. The decidability of the (algorithmic) conservativeness problem for extensions of the form $$L2 + A\left( {\bar \phi } \right)$$ over L2 is established.