Matches in SemOpenAlex for { <https://semopenalex.org/work/W4379011657> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4379011657 abstract "Abstract This article provides a systematic analysis of the well-known notions of weak and strong permission in input/output (I/O) logic. We extend the account of permission initially put forward by Makinson and Van der Torre to the whole family of I/O systems developed during the last two decades. The main contribution is a series of characterization results for strong permission, based on establishing the so-called non-repetition property. We also study an input/output logic not yet covered in the literature. It supports reasoning by cases—a natural feature of human reasoning. The output is not closed under logical entailment. At the same time, it avoids excess output using a consistency check—a technique familiar from non-monotonic logic. This makes it well suited for contrary-to-duty reasoning. The axiomatic characterization is in terms of a generalized OR rule. We discuss the implications of all this for our understanding of the notion of the coherence of a normative system. Topics for future research are identified.1" @default.
- W4379011657 created "2023-06-02" @default.
- W4379011657 creator A5018144910 @default.
- W4379011657 creator A5026412815 @default.
- W4379011657 creator A5086111991 @default.
- W4379011657 date "2023-05-31" @default.
- W4379011657 modified "2023-09-24" @default.
- W4379011657 title "Permissive and regulative norms in deontic logic" @default.
- W4379011657 cites W123828164 @default.
- W4379011657 cites W1491747574 @default.
- W4379011657 cites W191511039 @default.
- W4379011657 cites W193929025 @default.
- W4379011657 cites W1965324703 @default.
- W4379011657 cites W1981352203 @default.
- W4379011657 cites W2006112194 @default.
- W4379011657 cites W2008443647 @default.
- W4379011657 cites W2134349791 @default.
- W4379011657 cites W2155322595 @default.
- W4379011657 cites W2217107280 @default.
- W4379011657 cites W250494237 @default.
- W4379011657 cites W2780413716 @default.
- W4379011657 cites W2965970765 @default.
- W4379011657 cites W3106523406 @default.
- W4379011657 cites W4231602651 @default.
- W4379011657 cites W4248447990 @default.
- W4379011657 cites W76565479 @default.
- W4379011657 doi "https://doi.org/10.1093/logcom/exad024" @default.
- W4379011657 hasPublicationYear "2023" @default.
- W4379011657 type Work @default.
- W4379011657 citedByCount "0" @default.
- W4379011657 crossrefType "journal-article" @default.
- W4379011657 hasAuthorship W4379011657A5018144910 @default.
- W4379011657 hasAuthorship W4379011657A5026412815 @default.
- W4379011657 hasAuthorship W4379011657A5086111991 @default.
- W4379011657 hasConcept C105795698 @default.
- W4379011657 hasConcept C111472728 @default.
- W4379011657 hasConcept C134752490 @default.
- W4379011657 hasConcept C138885662 @default.
- W4379011657 hasConcept C154945302 @default.
- W4379011657 hasConcept C167729594 @default.
- W4379011657 hasConcept C171250308 @default.
- W4379011657 hasConcept C189950617 @default.
- W4379011657 hasConcept C192562407 @default.
- W4379011657 hasConcept C199360897 @default.
- W4379011657 hasConcept C2524010 @default.
- W4379011657 hasConcept C2776235265 @default.
- W4379011657 hasConcept C2776436953 @default.
- W4379011657 hasConcept C2779089604 @default.
- W4379011657 hasConcept C2780841128 @default.
- W4379011657 hasConcept C2781181686 @default.
- W4379011657 hasConcept C33923547 @default.
- W4379011657 hasConcept C41008148 @default.
- W4379011657 hasConcept C44725695 @default.
- W4379011657 hasConcept C6377922 @default.
- W4379011657 hasConcept C80444323 @default.
- W4379011657 hasConceptScore W4379011657C105795698 @default.
- W4379011657 hasConceptScore W4379011657C111472728 @default.
- W4379011657 hasConceptScore W4379011657C134752490 @default.
- W4379011657 hasConceptScore W4379011657C138885662 @default.
- W4379011657 hasConceptScore W4379011657C154945302 @default.
- W4379011657 hasConceptScore W4379011657C167729594 @default.
- W4379011657 hasConceptScore W4379011657C171250308 @default.
- W4379011657 hasConceptScore W4379011657C189950617 @default.
- W4379011657 hasConceptScore W4379011657C192562407 @default.
- W4379011657 hasConceptScore W4379011657C199360897 @default.
- W4379011657 hasConceptScore W4379011657C2524010 @default.
- W4379011657 hasConceptScore W4379011657C2776235265 @default.
- W4379011657 hasConceptScore W4379011657C2776436953 @default.
- W4379011657 hasConceptScore W4379011657C2779089604 @default.
- W4379011657 hasConceptScore W4379011657C2780841128 @default.
- W4379011657 hasConceptScore W4379011657C2781181686 @default.
- W4379011657 hasConceptScore W4379011657C33923547 @default.
- W4379011657 hasConceptScore W4379011657C41008148 @default.
- W4379011657 hasConceptScore W4379011657C44725695 @default.
- W4379011657 hasConceptScore W4379011657C6377922 @default.
- W4379011657 hasConceptScore W4379011657C80444323 @default.
- W4379011657 hasLocation W43790116571 @default.
- W4379011657 hasOpenAccess W4379011657 @default.
- W4379011657 hasPrimaryLocation W43790116571 @default.
- W4379011657 hasRelatedWork W2055771053 @default.
- W4379011657 hasRelatedWork W2080575678 @default.
- W4379011657 hasRelatedWork W2136545799 @default.
- W4379011657 hasRelatedWork W2744706430 @default.
- W4379011657 hasRelatedWork W2786389277 @default.
- W4379011657 hasRelatedWork W2792346891 @default.
- W4379011657 hasRelatedWork W3125321514 @default.
- W4379011657 hasRelatedWork W3151748819 @default.
- W4379011657 hasRelatedWork W4220930588 @default.
- W4379011657 hasRelatedWork W4285095284 @default.
- W4379011657 isParatext "false" @default.
- W4379011657 isRetracted "false" @default.
- W4379011657 workType "article" @default.