Two-dimensional Modal Logic (1973)

by K Segerberg
Venue:J. of Philosophical Logic