Assertion: monadic quantifier | /r/HasProperty | governed by rule
Facets:
Source sentences:
text: Kripke (1959), Fine (1970), and Kaplan (1970) went on to consider systems of propositional modal logic supplemented with propositional quantifiers governed by appropriate axioms and rules of inference.