Modal Logics Between S 4 and S 5
- 1 January 1959
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 5 (14-24), 250-264
- https://doi.org/10.1002/malq.19590051405
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On the existence of finite models and decision procedures for propositional calculiMathematical Proceedings of the Cambridge Philosophical Society, 1958
- Extensions of the Lewis system S5The Journal of Symbolic Logic, 1951
- Some theorems about the sentential calculi of Lewis and HeytingThe Journal of Symbolic Logic, 1948
- On Closed Elements in Closure AlgebrasAnnals of Mathematics, 1946
- The Algebra of TopologyAnnals of Mathematics, 1944
- A solution of the decision problem for the Lewis systems S2 and S4, with an application to topologyThe Journal of Symbolic Logic, 1941
- Modalities in the Survey system of strict implicationThe Journal of Symbolic Logic, 1939
- Partially ordered setsTransactions of the American Mathematical Society, 1937