Finite model property for negative modalities

摘要

We prove that the logic NUn with negation as unnecessity operator and that its extension, a Heyting-Ockham logic N , have the finite model property and prove the analog of Dziobiak’s theorem for extensions of these logics. Namely, we prove that an extensi