A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.

Dov M. Gabbay Dick De Jongh A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. 67-78 1974 39 J. Symb. Log. 1 db/journals/jsyml/jsyml39.html#GabbayJ74