Abstract

NNIL formulas are propositional formulas that do not allow nesting of implication to the left. These formulas were introduced in [15], where it was shown that NNIL-formulas are (up to frame-equivalence) exactly the formulas that are closed under taking submodels of Kripke models. In this paper we show that NNIL-formulas
... read more