Concepedia

Syntax and semantics of modal logics containing S4

M. V. Zakhar'yashchev

Algebra and Logic · 1988 · 29 citations · 11 references

DOI

Concepts

References

11

Boolean Algebras with Operators

Bjarni Jonnson, Alfred Tarski · American Journal of Mathematics · 1952 · 764 citations

, , +8

Boolean Algebras with Operators. Part I

Bjàrni Jónsson, Alfred Tarski · American Journal of Mathematics · 1951 · 757 citations

, , +10

THE MATHEMATICS OF METAMATHEMATICS

G. T. Kneebone · Journal of the London Mathematical Society · 1966 · 196 citations

, , +1

Logics containing <i>K</i>4. Part I

Kit Fine · Journal of Symbolic Logic · 1974 · 143 citations

, , +12

The extended centralizer of a ring over a module

R. E. Johnson · Proceedings of the American Mathematical Society · 1951 · 142 citations · Full text

, , +5