[Hilpinen, 1981, pages 8-12]
This system was published by Georg Henrik von Wright in 1951 in a paper called "Deontic Logic" that appeared in "Mind".
This system uses a modality "O", where Op is taken as meaning p is Obligitory.
This system uses a modality "P", where Pq is taken as meaning q is Permissible.
He later published his Dyadic 1956 system partly to overcome the weaknesses of this system.
He also published a Dyadic System in 1964
I'm not aware of any...
© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/vonwright1951.html
This page last updated October 14th, 2005