<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Frederik Van De Putte</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Obligation as Weakest Permission: a Strongly Complete Axiomatization</style></title><secondary-title><style face="normal" font="default" size="100%">Rew. Symb. Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2016</style></year></dates><volume><style face="normal" font="default" size="100%">9</style></volume><pages><style face="normal" font="default" size="100%">370-379</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In (Anglberger &lt;span class=&quot;italic&quot;&gt;et al.&lt;/span&gt;, &lt;a href=&quot;https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/obligation-as-weakest-permission-a-strongly-complete-axiomatization/006F16E83467F957889B6B2D04932263#ref1&quot;&gt;2015&lt;/a&gt;, Section 4.1), a deontic logic is proposed which explicates the idea that a formula &lt;span class=&quot;italic&quot;&gt;φ&lt;/span&gt; is obligatory if and only if it is (semantically speaking) the weakest permission. We give a sound and strongly complete, Hilbert style axiomatization for this logic. As a corollary, it is compact, contradicting earlier claims from Anglberger &lt;span class=&quot;italic&quot;&gt;et al.&lt;/span&gt; (&lt;a href=&quot;https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/obligation-as-weakest-permission-a-strongly-complete-axiomatization/006F16E83467F957889B6B2D04932263#ref1&quot;&gt;2015&lt;/a&gt;). In addition, we prove that our axiomatization is equivalent to Anglberger et al.’s infinitary proof system, and show that our results are robust w.r.t. certain changes in the underlying semantics.&lt;/p&gt;</style></abstract></record></records></xml>