<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>34</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Thijs De Coninck</style></author><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%">Original position arguments: an axiomatic characterization</style></title></titles><dates><year><style  face="normal" font="default" size="100%">Submitted</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>34</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Frederik Van De Putte</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Klein, Dominik</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Applications</style></title></titles><keywords><keyword><style  face="normal" font="default" size="100%">classical modal logics</style></keyword><keyword><style  face="normal" font="default" size="100%">coalition logic</style></keyword><keyword><style  face="normal" font="default" size="100%">distributed belief</style></keyword><keyword><style  face="normal" font="default" size="100%">multi-agent systems</style></keyword><keyword><style  face="normal" font="default" size="100%">pointwise intersection</style></keyword><keyword><style  face="normal" font="default" size="100%">pooling modalities</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">Submitted</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We study classical modal logics with pooling modalities, i.e. unary modal operators that allow one to express properties of sets obtained by the pointwise intersection of neighbourhoods. We discuss salient properties of these modalities, situate the logics in the broader area of modal logics (with a particular focus on relational semantics), establish key properties concerning their expressive power, and discuss their application to epistemic/doxastic logic, the logic of evidence-based belief, deontic logic, and logics of agency and ability.&lt;/p&gt;</style></abstract></record><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%">Mathieu Beirlaen</style></author><author><style face="normal" font="default" size="100%">Bert Leuridan</style></author><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%">A Logic for the Discovery of Deterministic Causal Regularities</style></title><secondary-title><style face="normal" font="default" size="100%">Synthese</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">In Press</style></year></dates><pages><style face="normal" font="default" size="100%">1–33</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><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%">That will do: Logics of Deontic Necessity and Sufficiency</style></title><secondary-title><style face="normal" font="default" size="100%">Erkenntnis</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">82</style></volume><pages><style face="normal" font="default" size="100%">473–511</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;table id=&quot;entry&quot; class=&quot;responsive&quot; style=&quot;margin-top: 10px;&quot;&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td class=&quot;pp-label&quot;&gt;&amp;nbsp;&lt;/td&gt;
&lt;td id=&quot;abstractElement&quot; class=&quot;content&quot;&gt;
&lt;div&gt;We study a logic for deontic necessity and sufficiency, as originally proposed in van Benthem :36–41, 1979). Building on earlier work in modal logic, we provide a sound and complete axiomatization for it, consider some standard extensions, and study other important properties. After that, we compare this logic to the logic of “obligation as weakest permission” from Anglberger et al. :807–827, 2015).&lt;/div&gt;
&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;</style></abstract></record><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>