Undefinability of propositional quantifiers in the modal system S4
- 1 January 1995
- journal article
- research article
- Published by Springer Science and Business Media LLC in Studia Logica
- Vol. 55 (2), 259-271
- https://doi.org/10.1007/bf01061237
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- An algebraic theory of normal formsAnnals of Pure and Applied Logic, 1995
- On an interpretation of second order quantification in first order intuitionistic propositional logicThe Journal of Symbolic Logic, 1992
- Logics containing K4. Part IIThe Journal of Symbolic Logic, 1985
- Logics containing K4. Part IThe Journal of Symbolic Logic, 1974