Metamathematics of modal logics (1976)

by Robert Goldblatt
Venue:Reports on Mathematical Logic