An incomplete logic containing S4. Theoria (1974)

by K Fine
Venue:45] Fine, K., Logics containing K4, part II, Journal of Symbolic Logic 50