On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic $GL$
Andrei Rusu · arXiv (Cornell University) · 2013
In the present paper we consider the simplest non-classical extension $GL4$ of the well-known propositional provability logic $GL$ together with the notion of expressibility of formulas in a logic proposed by A. V. Kuznetsov. Conditions for expressibility of constants in the 4-valued extension $L\mathfrak{B}_2$ of $GL$ are found out, which were first announced in a author's paper in 1996.