On modal logic with propositional quantifiers

Abstract

I am interested in extending modal calculi by adding propositional quantifiers, given by the rules for quantifier introduction: provided that p does not occur free in A .