Results 21 to 30 of about 13,565 (215)
A Neutral Temporal Deontic STIT Logic [PDF]
In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead
Lyon, Tim, van Berkel, Kees
core +2 more sources
Social contract theory argues that to properly execute thematic versions of the selection task one has to specify, in the rules of such versions, an explicit benefit that can only be achieved in exchange for meeting a requirement.
Miguel López Astorga
doaj +1 more source
The document titled “14 points of Wilson” was announced by the President of the United States Woodrow Wilson in his speech addressed to the United States Congress on 8th January 1918.
Matulewska Aleksandra +1 more
doaj +1 more source
Weak and Strong Necessity Modals: On Linguistic Means of Expressing "A Primitive Concept OUGHT" [PDF]
This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to').
Silk, Alex
core +3 more sources
Logical Analogies: Interpretations, Oppositions, and Probabilism
I present two logical systems to show the “analogy of proportionality„ common to several interpretations: modality (necessity and possibility), quantification, truth-functional relations, moral attitudes (deontic logic), states of knowledge ...
Walter Redmond
doaj +1 more source
Faith, Language, Logic: Anselm of Canterbury and his Project of Logic of Agency [PDF]
The Philosophical Fragments (Lambeth Fragments) of St. Anselm of Canterbury are a kind of dictionary that explains the meaning of certain terms, such as: facere, velle, posse, necesse, debere, or agere.
Andrzej P. Stefańczyk
doaj +1 more source
The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? [PDF]
In [18,23], we presented a language for the specification of static, dynamic and deontic integrity constraints (IC's) for conceptual models (CM's). An important problem not discussed in that paper is how IC's are inherited in a taxonomic network of types.
Dignum, F.P.M. +3 more
core +4 more sources
Fractional-Valued Modal Logic and Soft Bilateralism
In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14].
Mario Piazza +2 more
doaj +1 more source
The aim of this article is to present a method of creating deontic logics as axiomatic theories built on first-order predicate logic with identity. In the article, these theories are constructed as theories of legal events or as theories of acts.
Andrzej Malec
doaj +1 more source
The walking debt – On the morals of ownership in debt and its alienability
The article provides a moral analysis of the commercial trade of financial claims against private debtors. Secondary debt markets process a type of object that differs from regular commodities.
Simon Derpmann
doaj +1 more source

