The main result of this dissertation provides rather general conditions under which extensions of zero order propositional calculi inherit the property of having a finite characteristic model. This result is applied t ...