Concepedia

Reduction of second‐order logic to modal logic

S. K. Thomason

Mathematical logic quarterly · 1975 · 64 citations · 2 references

DOI

Concepts

References

2

Reduction of tense logic to modal logic. I

S. K. Thomason · Journal of Symbolic Logic · 1974 · 37 citations

, , +7

Noncompactness in propositional modal logic

S. K. Thomason · Journal of Symbolic Logic · 1972 · 30 citations

, , +10