FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1849448889> ?p ?o ?g. }

• W1849448889 endingPage "183" @default.
• W1849448889 startingPage "170" @default.
• W1849448889 abstract "In this article, we propose a Dynamic Logic of Propositional Control DL-PC in which the concept of ‘seeing to it that’ (abbreviated stit) as studied by Belnap, Horty and others can be expressed; more precisely, we capture the concept of the so-called Chellas stit theory and the deliberatibe stit theory, as opposed to Belnap’s original achievement stit. In this logic, the sentence ‘group G sees to it that φ’ is defined in terms of dynamic operators: it is paraphrased as ‘group G is going to execute an action now such that whatever actions the agents outside G can execute at the same time, φ is true afterwards’. We also prove that the satisfiability problem is decidable. In the second part of the article we extend DL-PC with operators modeling normative concepts, resulting in a logic DL-PCLeg. In particular, we define the concepts of ‘legally seeing to it that’ and ‘illegally seeing to it that’. We prove that the decidability result for DL-PC transfers to DL-PCLeg." @default.
• W1849448889 created "2016-06-24" @default.
• W1849448889 creator A5004332415 @default.
• W1849448889 creator A5011445220 @default.
• W1849448889 creator A5037462924 @default.
• W1849448889 creator A5070512275 @default.
• W1849448889 date "2012-01-01" @default.
• W1849448889 modified "2023-10-02" @default.
• W1849448889 title "A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions" @default.
• W1849448889 cites W1497329491 @default.
• W1849448889 cites W155051320 @default.
• W1849448889 cites W1965188950 @default.
• W1849448889 cites W1971267161 @default.
• W1849448889 cites W2015238670 @default.
• W1849448889 cites W2024664992 @default.
• W1849448889 cites W2026284755 @default.
• W1849448889 cites W2034679184 @default.
• W1849448889 cites W2043435342 @default.
• W1849448889 cites W2048905609 @default.
• W1849448889 cites W2054048243 @default.
• W1849448889 cites W2057234686 @default.
• W1849448889 cites W2087363667 @default.
• W1849448889 cites W2095098748 @default.
• W1849448889 cites W2116676758 @default.
• W1849448889 cites W2126557184 @default.
• W1849448889 cites W2158558095 @default.
• W1849448889 cites W2159131252 @default.
• W1849448889 cites W2431139695 @default.
• W1849448889 cites W2912904668 @default.
• W1849448889 cites W3100069195 @default.
• W1849448889 cites W4205678468 @default.
• W1849448889 cites W4211144022 @default.
• W1849448889 cites W4213255959 @default.
• W1849448889 doi "https://doi.org/10.1007/978-3-642-31570-1_12" @default.
• W1849448889 hasPublicationYear "2012" @default.
• W1849448889 type Work @default.
• W1849448889 sameAs 1849448889 @default.
• W1849448889 citedByCount "1" @default.
• W1849448889 countsByYear W18494488892012 @default.
• W1849448889 crossrefType "book-chapter" @default.
• W1849448889 hasAuthorship W1849448889A5004332415 @default.
• W1849448889 hasAuthorship W1849448889A5011445220 @default.
• W1849448889 hasAuthorship W1849448889A5037462924 @default.
• W1849448889 hasAuthorship W1849448889A5070512275 @default.
• W1849448889 hasBestOaLocation W18494488895 @default.
• W1849448889 hasConcept C108170787 @default.
• W1849448889 hasConcept C111472728 @default.
• W1849448889 hasConcept C121332964 @default.
• W1849448889 hasConcept C138885662 @default.
• W1849448889 hasConcept C153269930 @default.
• W1849448889 hasConcept C154945302 @default.
• W1849448889 hasConcept C165801399 @default.
• W1849448889 hasConcept C168773769 @default.
• W1849448889 hasConcept C172385210 @default.
• W1849448889 hasConcept C199343813 @default.
• W1849448889 hasConcept C199360897 @default.
• W1849448889 hasConcept C2777530160 @default.
• W1849448889 hasConcept C2777686260 @default.
• W1849448889 hasConcept C2777796570 @default.
• W1849448889 hasConcept C2780791683 @default.
• W1849448889 hasConcept C41008148 @default.
• W1849448889 hasConcept C44725695 @default.
• W1849448889 hasConcept C62520636 @default.
• W1849448889 hasConcept C71924100 @default.
• W1849448889 hasConcept C80444323 @default.
• W1849448889 hasConceptScore W1849448889C108170787 @default.
• W1849448889 hasConceptScore W1849448889C111472728 @default.
• W1849448889 hasConceptScore W1849448889C121332964 @default.
• W1849448889 hasConceptScore W1849448889C138885662 @default.
• W1849448889 hasConceptScore W1849448889C153269930 @default.
• W1849448889 hasConceptScore W1849448889C154945302 @default.
• W1849448889 hasConceptScore W1849448889C165801399 @default.
• W1849448889 hasConceptScore W1849448889C168773769 @default.
• W1849448889 hasConceptScore W1849448889C172385210 @default.
• W1849448889 hasConceptScore W1849448889C199343813 @default.
• W1849448889 hasConceptScore W1849448889C199360897 @default.
• W1849448889 hasConceptScore W1849448889C2777530160 @default.
• W1849448889 hasConceptScore W1849448889C2777686260 @default.
• W1849448889 hasConceptScore W1849448889C2777796570 @default.
• W1849448889 hasConceptScore W1849448889C2780791683 @default.
• W1849448889 hasConceptScore W1849448889C41008148 @default.
• W1849448889 hasConceptScore W1849448889C44725695 @default.
• W1849448889 hasConceptScore W1849448889C62520636 @default.
• W1849448889 hasConceptScore W1849448889C71924100 @default.
• W1849448889 hasConceptScore W1849448889C80444323 @default.
• W1849448889 hasLocation W18494488891 @default.
• W1849448889 hasLocation W18494488892 @default.
• W1849448889 hasLocation W18494488893 @default.
• W1849448889 hasLocation W18494488894 @default.
• W1849448889 hasLocation W18494488895 @default.
• W1849448889 hasOpenAccess W1849448889 @default.
• W1849448889 hasPrimaryLocation W18494488891 @default.
• W1849448889 hasRelatedWork W1545134309 @default.
• W1849448889 hasRelatedWork W1853345069 @default.
• W1849448889 hasRelatedWork W2040640762 @default.
• W1849448889 hasRelatedWork W2062179480 @default.
• W1849448889 hasRelatedWork W2099222814 @default.
• W1849448889 hasRelatedWork W2121922014 @default.

• next