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 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.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment