03861120

j

03861120 Fischer Servi, Gis\`ele Completeness for non normal intuitionistic modal logics. Note Mat. 1, No. 2, 203-212 (1981). 1981 Universit\`a del Salento, Coordinamento SIBA, Lecce EN completeness non-normal intuitionistic modal logic Zbl 0452.03014

doi:10.1285/i15900932v1n2p203

Each non-normal intuitionistic modal logic is obtained by translating the intuitionistic language into modal language and by conjoining the S4 axioms for one primitive modal operator with the axioms of the non-normal modal system for another primitive operator, adding to this connecting axioms for the two operators. Algebraic methods are used to prove that the resulting systems are complete with respect to a type of model in which there are two accessibility relations, one for the S4 operator and another for the non-normal operator. The paper presumes acquaintance with the author's earlier paper in Italian studies in the philosophy of science, Boston Stud. Philos. Sci., Vol. 47, 59--72 (1981; Zbl 0452.03014). G.Forbes