On modal logic with propositional quantifiers
- 25 July 1969
- journal article
- research article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 34 (2), 257-263
- https://doi.org/10.1017/s0022481200094512
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
This publication has 1 reference indexed in Scilit:
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963