@unpublished {2070, title = {Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Applications}, year = {Submitted}, author = {Van De Putte, Frederik and Klein, Dominik} } @incollection {2020, title = {Adaptive Deontic Logics}, booktitle = {Handbook of Deontic Logic and Normative Systems}, volume = {2}, year = {In Press}, publisher = {College Publications}, edition = {1}, author = {Van De Putte, Frederik and Beirlaen, Mathieu and Meheus, Joke} } @article {2015, title = {Coarse Deontic Logic}, journal = {Journal of Logic and Computation}, year = {In Press}, author = {Van De Putte, Frederik} } @article {JMFC:iadl, title = {Non-Adjunctive Deontic Logics That Validate Aggregation as Much as Possible}, journal = {Journal of Applied Logic}, year = {In Press}, author = {Meheus, Joke and Beirlaen, Mathieu and Van De Putte, Frederik and Stra{\ss}er, Christian} } @article {8678415, title = {{Classical term-modal logics}}, journal = {{JOURNAL OF LOGIC AND COMPUTATION}}, volume = {31}, number = {4}, year = {2021}, pages = {1026-1054}, abstract = {

{We introduce classical term-modal logics and argue that they are useful for modelling agent-relative notions of obligation, evidence and abilities, and their interaction with properties of and relations between the agents in question. We spell out the semantics of these logics in terms of neighborhood models, provide sound and strongly complete axiomatizations and establish the decidability of specific (agent-finite) variants.}

}, keywords = {Arts and Humanities (miscellaneous), CHOICE}, Hardware and Architecture, logic, Software, {Theoretical Computer Science}, issn = {{0955-792X}}, url = {{http://dx.doi.org/10.1093/logcom/exaa053}}, author = {Frijters, Stef and Van De Putte, Frederik} } @article {2074, title = {Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability}, journal = {Studia Logica}, volume = {online first}, year = {2020}, abstract = {

We establish completeness and the finite model property for logics featuring the pooling modalities that were introduced in Van De\ Putte and Klein (Pooling modalities and pointwise intersection: semantics, expressivity, and applications). The definition of our canonical models combines standard techniques with a so-called {\textquotedblleft}puzzle piece construction{\textquotedblright}, which we first illustrate informally. After that, we apply it to the weakest classical logics with pooling modalities and investigate the technique{\textquoteright}s potential for the axiomatization of stronger logics, obtained by imposing well-known frame conditions on the models.

}, author = {Van De Putte, Frederik and Klein, Dominik} } @article {2068, title = {Adaptive Deontic Logics: A Survey}, journal = {IfCoLog Journal of Logics and their Applications}, volume = {6}, number = {3}, year = {2019}, pages = {523-608}, chapter = {523}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00032.pdf}, author = {Van De Putte, Frederik and Beirlaen, Mathieu and Meheus, Joke} } @unpublished {2053, title = {The best we can do (extended abstract, submitted to LOFT)}, year = {2018}, author = {Van De Putte, Frederik and Tamminga, Allard and Duijf, Hein} } @article {2052, title = {Choosing the right concept of "right choices" (technical report)}, year = {2018}, author = {Van De Putte, Frederik} } @proceedings {2050, title = {How to take heroin (if at all). A new approach to detachment in deontic logic}, journal = {Deontic Logic and Normative Systems: 14th International Conference}, year = {2018}, pages = {317-335}, publisher = {College Publications}, type = {submitted}, address = {London}, author = {Van De Putte, Frederik and Frijters, Stef and Meheus, Joke}, editor = {Condoravdi, Cleo and Nair, Shyam and Pigozzi, Gabriella} } @unpublished {2051, title = {Pointwise intersection in neighbourhood modal logic}, year = {2018}, author = {Van De Putte, Frederik and Klein, Dominik} } @conference {2016, title = {Doing Without Nature}, booktitle = {Logic, Rationality, and Interaction (LORI)}, number = {VI}, year = {2017}, month = {9-11/7/2017}, publisher = {Springer}, organization = {Springer}, address = {Sapporro}, author = {Van De Putte, Frederik and Tamminga, Allard and Duijf, Hein} } @incollection {2021, title = {Free Choice Permission in STIT}, booktitle = {Logica Yearbook 2016}, year = {2017}, pages = {289--303}, publisher = {College Publications}, edition = {Pavel Arazim and Tom{\'a}{\v s} L{\'a}vi{\v c}ka}, author = {Van De Putte, Frederik} } @article {strasser2014dynamic, title = {Adaptive Logic Characterizations of Input/output Logic}, journal = {Studia Logica}, volume = {104}, year = {2016}, pages = {869-916}, chapter = {869}, abstract = {

We translate the unconstrained and constrained input/output-logics from [17, 18] to reflexive modal logics, using adaptive logics for the constrained case. The resulting reformulation has various advantages. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our modal framework gives naturally rise to useful variants. Finally, the modal logics display a gain in expressive power over their original counterparts in the input/output framework.

}, author = {Stra{\ss}er, Christian and Beirlaen, Mathieu and Van De Putte, Frederik} } @article {doi:10.1093/logcom/exu044, title = {Adaptive strategies and finite-conditional premise sets}, journal = {Journal of Logic and Computation}, volume = {26}, number = {5}, year = {2016}, pages = {1517-1539}, doi = {10.1093/logcom/exu044}, url = {+ http://dx.doi.org/10.1093/logcom/exu044}, author = {Stra{\ss}er, Christian and Van De Putte, Frederik} } @conference {8122661, title = {Coarse Deontic Logic (short version)}, booktitle = {Deontic Logic and Normative Systems}, year = {2016}, publisher = {College Publications}, organization = {College Publications}, author = {Van De Putte, Frederik} } @article {van2012splitting, title = {Splitting and Relevance: Broadening the Scope of Parikh{\textquoteright}s Concepts}, journal = {Logique et Analyse}, volume = {59}, year = {2016}, pages = {173 -205}, chapter = {173 }, author = {Van De Putte, Frederik} } @article {doi:10.1093/jigpal/jzu017, title = {Adaptive logics: a parametric approach}, journal = {Logic Journal of the IGPL}, volume = {22}, number = {6}, year = {2014}, pages = {905-932}, chapter = {905}, doi = {10.1093/jigpal/jzu017}, url = {+ http://dx.doi.org/10.1093/jigpal/jzu017}, author = {Van De Putte, Frederik and Stra{\ss}er, Christian} } @article {VanDePutte2013a, title = {Default Assumptions and Selection Functions: A Generic Framework for Non-monotonic Logics}, journal = {Proceedings of MICAI2013, Lecture Notes in Artificial Intelligence}, volume = {8264}, year = {2013}, pages = {54-67}, abstract = {

We investigate a generalization of so-called default-assumption consequence relations, obtained by replacing the consequence relation of classical logic with an arbitrary supraclassical, compact Tarski-logic, and using arbitrary selection functions on sets of sets of defaults. Both generalizations are inspired by various approaches in non-monotonic logic and belief revision. We establish some meta-theoretic properties of the resulting systems. In addition, we compare them with two other frameworks from the literature on non-monotonic logic, viz. adaptive logics and selection semantics.

}, doi = {10.1007/978-3-642-45114-0_5}, author = {Van De Putte, Frederik} } @article {4443727, title = {Induction from a single instance: {I}ncomplete frames}, journal = {Foundations of science}, volume = {18}, number = {4}, year = {2013}, pages = {641{\textendash}653}, abstract = {

In this paper we argue that an existing theory of concepts called dynamic frame theory, although not developed with that purpose in mind, allows for the precise formulation of a number of problems associated with induction from a single instance. A key role is played by the distinction we introduce between complete and incomplete dynamic frames, for incomplete frames seem to be very elegant candidates for the format of the background knowledge used in induction from a single instance. Furthermore, we show how dynamic frame theory provides the terminology to discuss the justification and the fallibility of incomplete frames. In the Appendix, we give a formal account of incomplete frames and the way these lead to induction from a single instance.

}, issn = {1233-1821}, doi = {http://dx.doi.org/10.1007/s10699-012-9295-6}, author = {Urbaniak, Rafal and Van De Putte, Frederik} } @article {van2013preferential, title = {Preferential Semantics using Non-smooth Preference Relations}, journal = {Journal of Philosophical Logic}, volume = {43}, number = {5}, year = {2013}, pages = {903{\textendash}942}, abstract = {

This paper studies the properties of eight semantic consequence relations defined from a Tarski-logic L and a preference relation \&\#8826;. They are equivalent to Shoham’s so-called preferential entailment for smooth model structures, but avoid certain problems of the latter in non-smooth configurations. Each of the logics can be characterized in terms of what we call multi-selection semantics. After discussing this type of semantics, we focus on some concrete proposals from the literature, checking a number of meta-theoretic properties and elaborating on their intuitive motivation. As it turns out, many of their meta-properties only hold in case \&\#8826; is transitive. To tackle this problem, we propose slight modifications of each of the systems, showing the resulting logics to behave better at the intuitive level and in metatheoretic terms, for arbitrary \&\#8826;.

}, author = {Van De Putte, Frederik and Stra{\ss}er, Christian} } @article {van2013prime, title = {Prime implicates and relevant belief revision}, journal = {Journal of Logic and Computation}, volume = {23}, number = {1}, year = {2013}, pages = {109{\textendash}119}, abstract = {

This article discusses Parikh’s axiom of relevance in belief revision, and recalls some results from Kourousias and Makinson (2007, J. Symbolic Logic, 72, 994–1002) in this context. The crucial distinction is emphasized between the uniqueness of the finest splitting of K and the fact that K has several normal forms associated with that finest splitting. The main new result of this article is a new proof for the theorem that the set of prime implicates of K is a normal form for the finest splitting of K. It is explained how this proof avoids a mistake in an earlier proof from Wu and Zhang (2010, Knowledge-Based Syst., 23, 70–76). As a corollary, relevance can be re-defined without reference to the finest splitting, using the notion of path-relevance from Makinson (2009, J. Appl. Logic, 7, 377–387). Finally, a weak yet sufficient condition for irrelevance is presented.

}, doi = {10.1093/logcom/exr040}, author = {Van De Putte, Frederik} } @article {3152459, title = {Three formats of prioritized adaptive logics: a comparative study}, journal = {Logic journal of the IGPL}, volume = {21}, year = {2013}, pages = {127{\textendash}159}, abstract = {

A broad range of defeasible reasoning forms has been explicated by prioritized adaptive logics. However, the relative lack in meta-theory of many of these logics stands in sharp contrast to the frequency of their application. This article presents the first comparative study of a large group of prioritized adaptive logics. Three formats of such logics are discussed: superpositions of adaptive logics, hierarchic adaptive logics from F. Van De Putte (2011, Log. J. IGPL, doi:10.1093/jigpal/jzr025) and lexicographic adaptive logics from F. Van De Putte and C. Stra\&\#223;er (2012, Log. Anal., forthcoming). We restrict the scope to logics that use the strategy Minimal Abnormality. It is shown that the semantic characterizations of these systems are equivalent and that they are all sound with respect to either of these characterizations. Furthermore, sufficient conditions for the completeness and equivalence of the consequence relations of the three formats are established. Some attractive properties, including Fixed Point and the Deduction Theorem, are shown to hold whenever these conditions are obeyed.

}, issn = {1367-0751}, doi = {http://dx.doi.org/10.1093/jigpal/jzs004}, author = {Van De Putte, Frederik and Stra{\ss}er, Christian} } @article {3099682, title = {Abduction of generalizations}, journal = {Theoria - revista de teoria historia y fundamentos de la ciencia}, volume = {27}, number = {3}, year = {2012}, pages = {345{\textendash}364}, abstract = {

Abduction of generalizations is the process in which explanatory hypotheses are formed for generalizations such as “pineapples taste sweet” or “rainbows appear when the sun breaks through the rain”. This phenomenon has received little attention in formal logic and philosophy of science. The current paper remedies this lacuna by first giving an overview of some general characteristics of this process, elaborating on its ubiquity in scientific and everyday reasoning. Second, the adaptive logic LA \&\#8704; is presented to explicate this process formally

}, issn = {0495-4548}, author = {Gauderis, Tjerk and Van De Putte, Frederik} } @article {VanDePutte2012, title = {The Dynamics of Relevance: Adaptive Belief Revision}, journal = {Synthese}, volume = {187}, number = {1}, year = {2012}, month = {May}, pages = {1-42}, abstract = {

This paper presents eight (previously unpublished) adaptive logics for belief revision, each of which define a belief revision operation in the sense of the AGM framework. All these revision operations are shown to satisfy the six basic AGM postulates for belief revision, and Parikh’s axiom of Relevance. Using one of these logics as an example, we show how their proof theory gives a more dynamic flavor to belief revision than existing approaches. It is argued that this turns belief revision (that obeys Relevance) into a more natural undertaking, where analytic steps are performed only as soon as they turn out to be necessary in order to uphold certain beliefs.

}, doi = {10.1007/s11229-012-0116-9}, author = {Van De Putte, Frederik and Verd{\'e}e, Peter} } @article {van2012extending, title = {Extending the standard format of adaptive logics to the prioritized case}, journal = {Logique et Analyse}, volume = {55}, number = {220}, year = {2012}, pages = {601{\textendash}641}, abstract = {

This paper introduces a new format for reasoning with prioritized stan- dards of normality. It is applicable in a broad variety of contexts, e.g. dealing with (possibly conflicting) prioritized belief bases or combining different reasoning methods in a prioritized way. The format is a gener- alization of the standard format of adaptive logics (see [4]). Every logic that is formulated within it has a straightforward semantics in the style of Shoham’s selection semantics (see [22]) and a dynamic proof theory. Fur- thermore, it can count on a rich meta-theory that inherits the attractive features of the standard format, such as soundness and completeness, re- flexivity, idempotence, cautious monotonicity, and many other properties.

}, author = {Van De Putte, Frederik and Stra{\ss}er, Christian} } @phdthesis {PhD_Frederik, title = {Generic Formats for Prioritized Adaptive Logics. With Applications in Deontic Logic, Abduction and Belief Revision}, year = {2012}, month = {May 24}, publisher = {Ghent University}, type = {phd}, author = {Van De Putte, Frederik} } @article {Strasser2012, title = {Proof Theories for Superpositions of Adaptive Logics}, journal = {Logique et Analyse}, year = {2012}, pages = {1{\textendash}33}, abstract = {

The standard format for adaptive logics offers a generic and unifying formal framework for defeasible reasoning forms. One of its main distinguishing features is a dynamic proof theory by means of which it is able to explicate actual reasoning. In many applications it has proven very useful to superpose sequences of adaptive logics, such that each logic treats the consequence set of its predecessor as premise set. Although attempts have been made to define dynamic proof theories for some of the resulting logics, no generic proof theory is available yet. Moreover, the existing proof theories for concrete superpositions are suboptimal in various respects: the derivability relations characterized by these proposals are often not adequate with respect to the consequence relation of the superposed adaptive logics and in some cases they even trivialize premise sets. An adequate and generic proof theory is needed in order to meet the requirement of explicating defeasible reasoning in terms of superpositions of adaptive logics. This paper presents two generic proof theories for superpositions of adaptive logics in standard format. By means of simple examples, the basic ideas behind these proof theories are illustrated and it is shown how the older proposals are inadequate.

}, author = {Stra{\ss}er, Christian and Van De Putte, Frederik} } @article {1854795, title = {Hierarchic adaptive logics}, journal = {Logic Journal of the IGPL}, volume = {20}, number = {1}, year = {2011}, pages = {45{\textendash}72}, abstract = {

This article discusses the proof theory, semantics and meta-theory of a class of adaptive logics, called hierarchic adaptive logics. Their specific characteristics are illustrated throughout the article with the use of one exemplary logic HKx, an explicans for reasoning with prioritized belief bases. A generic proof theory for these systems is defined, together with a less complex proof theory for a subclass of them. Soundness and a restricted form of completeness are established with respect to a non-redundant semantics. It is shown that all hierarchic adaptive logics are reflexive, have the strong reassurance property and that a subclass of them is a fixed point for a broad class of premise sets. Finally, they are compared to a different yet related class of adaptive logics.

}, issn = {1367-0751}, doi = {http://dx.doi.org/10.1093/jigpal/jzr025}, author = {Van De Putte, Frederik} } @conference {JMF:adera, title = {Avoiding Deontic Explosion by Contextually Restricting Aggregation}, booktitle = {Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010)}, year = {2010}, publisher = {Springer}, organization = {Springer}, address = {Dordrecht}, abstract = {

In this paper, we present an adaptive logic for deontic conflicts, called \sys{P2.1}$^r$, that is based on Goble{\textquoteright}s logic \sys{SDL}$a$\sys{P}$e${\textendash}-a bimodal extension of Goble{\textquoteright}s logic \sys{P} that invalidates aggregation for all \emph{prima facie} obligations. The logic \sys{P2.1}$^r$ has several advantages with respect to \sys{SDL}$a$\sys{P}$e$. For consistent sets of obligations it yields the same results as Standard Deontic Logic and for inconsistent sets of obligations, it validates aggregation {\textquoteleft}{\textquoteleft}as much as possible{\textquoteright}{\textquoteright}. It thus leads to a richer consequence set than \sys{SDL}$a$\sys{P}$e$. The logic \sys{P2.1}$^r$ avoids Goble{\textquoteright}s criticisms against other non-adjunctive systems of deontic logic. Moreover, it can handle all the {\textquoteleft}toy examples{\textquoteright} from the literature as well as more complex ones.

}, doi = {http://dx.doi.org/10.1007/978-3-642-14183-6\_12}, author = {Meheus, Joke and Beirlaen, Mathieu and Van De Putte, Frederik}, editor = {Governatori, Guido and Sartor, Giovanni} }