Canonicity for intensional logics without iterative axioms (Q1368753): Difference between revisions

A non-iterative formula of modal logic is one in which no modal operator occurs inside the scope of another modal operator. It has been known for many years that intensional logics axiomatized solely by non-iterative axioms have the finite model property, and therefore are complete. For normal modal logics the author points out that known results entail that all such logics are canonical. The present paper extends this result to all intensional logics by considering neighbourhood semantics in algebraic form, and establishes that with a suitable definition of canonicity for such semantics every intensional logic axiomatized by non-iterative axioms is canonical.