Article ID Journal Published Year Pages File Type
4663196 Journal of Applied Logic 2009 15 Pages PDF
Abstract

Extending the idiom of dynamic logic we outline a deontic logic in which deontic operators operate on terms rather than on formulæ. In a second step we distinguish between what we call real and deontic actions.

Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
,