Syntactical and Semantical Characterization of a Class of Paraconsistent Logics

Abstract

The paper presents a modal formulation of some propositional logics. The idea was used in [3] where the logic Z is formulated with the help of the logic S5. The formulation of the logic Z uses a transformation from the set of classical propositional formulae to the set of modal propositional formulae. This formulation