An incompleteness theorem in modal logic

Semantic analysis of tense logics

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

Humanities, Mathematics, Philosophy +10

An incomplete logic containing S4

Kit Fine · Theoria · 1974 · 133 citations

Humanities, Computer Science, Formal Methods +5

Some embedding theorems for modal logic.

David Makinson · Notre Dame Journal of Formal Logic · 1971 · 88 citations · Full text

Humanities, Computer Science, Mathematics +8

A normal modal calculus between T and S4 without the finite model property

David Makinson · Journal of Symbolic Logic · 1969 · 41 citations

Humanities, Computer Science, Mathematics +7

Noncompactness in propositional modal logic

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

Humanities, Mathematics, Formal Methods +10