Quantifiers in deontic logic.
Hintikka, K. Jaakko J.
Helsingfors,
1957.