On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic $GL$

Andrei Rusu

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 for…