@unpublished {2085, title = {Original position arguments: an axiomatic characterization}, year = {Submitted}, author = {Thijs De Coninck and Frederik Van De Putte} } @unpublished {2069, title = {Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Applications}, year = {Submitted}, abstract = {

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.

}, keywords = {classical modal logics, coalition logic, distributed belief, multi-agent systems, pointwise intersection, pooling modalities}, author = {Frederik Van De Putte}, editor = {Klein, Dominik} } @article {BeirlaenForthcoming-BEIALF, title = {A Logic for the Discovery of Deterministic Causal Regularities}, journal = {Synthese}, year = {In Press}, pages = {1{\textendash}33}, author = {Mathieu Beirlaen and Bert Leuridan and Frederik Van De Putte} } @article {VanDePutte2017-VANTWD-2, title = {That will do: Logics of Deontic Necessity and Sufficiency}, journal = {Erkenntnis}, volume = {82}, number = {3}, year = {2017}, pages = {473{\textendash}511}, abstract = {
We study a logic for deontic necessity and sufficiency, as originally proposed in van Benthem :36{\textendash}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 {\textquotedblleft}obligation as weakest permission{\textquotedblright} from Anglberger et al. :807{\textendash}827, 2015).
}, author = {Frederik Van De Putte} } @article {Putte2016ObligationAW, title = {Obligation as Weakest Permission: a Strongly Complete Axiomatization}, journal = {Rew. Symb. Logic}, volume = {9}, year = {2016}, pages = {370-379}, abstract = {

In (Anglberger et al., 2015, Section 4.1), a deontic logic is proposed which explicates the idea that a formula φ 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 et al. (2015). In addition, we prove that our axiomatization is equivalent to Anglberger et al.{\textquoteright}s infinitary proof system, and show that our results are robust w.r.t. certain changes in the underlying semantics.

}, author = {Frederik Van De Putte} }