Several systems of monadic deontic logic are defined in terms of systems of alethic modal logic with a propositional constant. When the universal propositional quantifier is added to these systems, the propositional constant becomes definable in terms of the deontic operator. As a result, the meaning of this constant becomes clearer and it becomes easy to axiomatize the deontic fragments of the alethic modal systems. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Lokhorst, G. J. C. (2006). Prepositional quantifiers in deontic logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4048 LNAI, pp. 201–209). Springer Verlag. https://doi.org/10.1007/11786849_17
Mendeley helps you to discover research relevant for your work.