Propositional quantifiers in modal logic¹

Publisher Website

1 December 1970

journal article
Published by Wiley in Theoria

Vol. 36 (3) , 336-346
https://doi.org/10.1111/j.1755-2567.1970.tb00432.x

Abstract

No abstract available

This publication has 5 references indexed in Scilit:

On modal logic with propositional quantifiers
The Journal of Symbolic Logic, 1969
On modal logic with propositional quantifiers
The Journal of Symbolic Logic, 1969
Decidability of S4.1
Theoria, 1968
A Henkin completeness for $T$.
Notre Dame Journal of Formal Logic, 1967
A completeness theorem in modal logic
The Journal of Symbolic Logic, 1959