On modal logic with propositional quantifiers

Publisher Website
Google Scholar
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.