scientific article; zbMATH DE number 3775493

MaRDI QIDQ3955334zbMATH OpenFDO

Authors Massimo Mirolli

Publication date 1980

zbMATH Keywords

generic framegeneric modelKripke framenormal modal logic Gstrong axiomatizabilitysubframe criterion

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited in

(3)

• An effective representation for finitely generated free interior algebras
• Fixed point algebras
• On the axiomatization of finite K-frames

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3955334)