Self-Reference and Modal Logic (1985)

by C Smoryński