Many-dimensional modal logic,” Dissertation (1991)

by Y Venema