  In 1997 Timothy J. Surendonk proved via algebraic semantics that all modal
logics without iterative axioms are canonical and so strongly complete. In this
paper, we continue the work done by Surendonk in this field. We use
neighborhood semantics to show that some iterative logics (with the axiom $\Box
p\rightarrow\Box\Box p$) are also strongly complete and have the finite model
property.
