On modal logic with propositional quantifiers

25 July 1969

journal article
Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic

Vol. 34 (2) , 257-263
https://doi.org/10.2307/2271102

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.

Keywords

MODAL LOGIC
QUANTIFIERS
QUANTIFIER INTRODUCTION
MODAL CALCULI
OCCUR FREE
EXTENDING MODAL
ADDING PROPOSITIONAL