In this paper we define and study the modal logic K43W and its corresponding class of algebras. The modal logic K43W is an extension of the modal logic K4W which corresponds to the class of diagonalizable algebras.
The equational class corresponding to the modal logic K4.3W
PASINI, Leonardo;
1980-01-01
Abstract
In this paper we define and study the modal logic K43W and its corresponding class of algebras. The modal logic K43W is an extension of the modal logic K4W which corresponds to the class of diagonalizable algebras.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.