Local and global operators and many-valued modal logics’, Notre Dame (1979)

by C G Morgan
Venue:Journal of Formal Logic