Явная и неявная определимость в модальных, суперинтуиционистских и релевантных логиках.

Abstract

Various versions of the Beth definability property are considered for propositional normal modal logics, and also for superintuitionistic and relevant logics. We discuss interrelations of these properties, and find their algebraic equivalents in case of modal and superintuitionistic logics, and for extensions of $R$ formulated in the language with a propositional constant t.