Modal logics with LM-axioms
- 1 July 1978
- journal article
- research article
- Published by Springer Nature in Algebra and Logic
- Vol. 17 (4) , 302-310
- https://doi.org/10.1007/bf01674781
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Noncompact extensions of the logicS4Algebra and Logic, 1977
- A lattice of normal modal logicsAlgebra and Logic, 1974
- A class of decidable intermediate propositional logicsThe Journal of Symbolic Logic, 1971
- Decidability of S4.1Theoria, 1968
- Propositional calculus and realizabilityTransactions of the American Mathematical Society, 1953