FRINK Linked Data Fragments server

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

• W2128753218 abstract "Justification Logic is the study of a family of logics used to reason about justified true belief. Dynamic Epistemic Logic is the study of logics used to reason about communication and true belief. This dissertation is a first step in merging these two areas, in that it defines theories for a joint language in which we may reason about communication alongside justified true belief. After some preliminary matters, we go through a comprehensive survey of Dynamic Epistemic Logic, which primes us for the work at the end of the text. We then move into the core work of the dissertation, where we introduce a number of extensions of existing languages and theories of Justification Logic. Our extensions are all based on the work of Sergei Artemov, who extended the language of propositional logic by the addition of formula-labeling terms. This extension allows us to take a term t and a formula p and form the new formula t:p. The terms have a derivation-compatible structure that allows us to view terms as evidence verifying the truth of the formulas they label, which provides us with a means for reasoning about justified true belief.We look at extensions of these theories that allow us to reason about evidence admissibility: the new formula t G p lets us express that t is admissible as evidence for p, by which we mean that t may be taken into account when considering the truth of p, though t need not conclusively validate p. A further extension adds a unary modal operator s that we use to reason about alternative evidence possibilities. Nominated extensions of the latter languages allow us to express a notion of dynamic evidence introduction, whereby we may introduce a term t as admissible as evidence for p. These extensions lead us to the final chapter of the text, where we combine our various systems of Justification Logic with the framework of Dynamic Epistemic Logic. Such joint theories contribute to the ongoing work aiming to provide a better foundational account of the reasoning of computational social agents." @default.
• W2128753218 created "2016-06-24" @default.
• W2128753218 creator A5007940896 @default.
• W2128753218 creator A5075172069 @default.
• W2128753218 date "2008-01-01" @default.
• W2128753218 modified "2023-09-26" @default.
• W2128753218 title "Dynamic epistemic logic with justification" @default.
• W2128753218 cites W101451164 @default.
• W2128753218 cites W102721760 @default.
• W2128753218 cites W127748980 @default.
• W2128753218 cites W1489891289 @default.
• W2128753218 cites W1494449308 @default.
• W2128753218 cites W1494927210 @default.
• W2128753218 cites W1497616999 @default.
• W2128753218 cites W1503767668 @default.
• W2128753218 cites W1518725080 @default.
• W2128753218 cites W1536217426 @default.
• W2128753218 cites W1547530695 @default.
• W2128753218 cites W1557859993 @default.
• W2128753218 cites W1567055505 @default.
• W2128753218 cites W1585866170 @default.
• W2128753218 cites W1588371531 @default.
• W2128753218 cites W1600159979 @default.
• W2128753218 cites W1830814772 @default.
• W2128753218 cites W1965188950 @default.
• W2128753218 cites W1966129247 @default.
• W2128753218 cites W1968710686 @default.
• W2128753218 cites W1971616901 @default.
• W2128753218 cites W1973052685 @default.
• W2128753218 cites W1988804687 @default.
• W2128753218 cites W1991755574 @default.
• W2128753218 cites W1991981864 @default.
• W2128753218 cites W2009552408 @default.
• W2128753218 cites W2016758384 @default.
• W2128753218 cites W2022072959 @default.
• W2128753218 cites W2031495626 @default.
• W2128753218 cites W2040088990 @default.
• W2128753218 cites W2043468053 @default.
• W2128753218 cites W2045237008 @default.
• W2128753218 cites W2058814709 @default.
• W2128753218 cites W2062285040 @default.
• W2128753218 cites W2067483357 @default.
• W2128753218 cites W2067887313 @default.
• W2128753218 cites W2068954086 @default.
• W2128753218 cites W2071005523 @default.
• W2128753218 cites W2072402123 @default.
• W2128753218 cites W2085022454 @default.
• W2128753218 cites W2086825407 @default.
• W2128753218 cites W2096959337 @default.
• W2128753218 cites W2097025526 @default.
• W2128753218 cites W2100327715 @default.
• W2128753218 cites W2107969197 @default.
• W2128753218 cites W2119558232 @default.
• W2128753218 cites W2120613606 @default.
• W2128753218 cites W2120926795 @default.
• W2128753218 cites W2133101582 @default.
• W2128753218 cites W2146819619 @default.
• W2128753218 cites W2147056604 @default.
• W2128753218 cites W2149420462 @default.
• W2128753218 cites W2150780510 @default.
• W2128753218 cites W2153157844 @default.
• W2128753218 cites W2155581733 @default.
• W2128753218 cites W2159131252 @default.
• W2128753218 cites W2165546630 @default.
• W2128753218 cites W2169317811 @default.
• W2128753218 cites W2170447572 @default.
• W2128753218 cites W2172128221 @default.
• W2128753218 cites W2220480974 @default.
• W2128753218 cites W2235992134 @default.
• W2128753218 cites W2274735745 @default.
• W2128753218 cites W2293418847 @default.
• W2128753218 cites W2336123333 @default.
• W2128753218 cites W2339651901 @default.
• W2128753218 cites W2610670723 @default.
• W2128753218 cites W2913002566 @default.
• W2128753218 cites W5642659 @default.
• W2128753218 cites W2615594067 @default.
• W2128753218 hasPublicationYear "2008" @default.
• W2128753218 type Work @default.
• W2128753218 sameAs 2128753218 @default.
• W2128753218 citedByCount "6" @default.
• W2128753218 countsByYear W21287532182013 @default.
• W2128753218 countsByYear W21287532182019 @default.
• W2128753218 countsByYear W21287532182021 @default.
• W2128753218 crossrefType "journal-article" @default.
• W2128753218 hasAuthorship W2128753218A5007940896 @default.
• W2128753218 hasAuthorship W2128753218A5075172069 @default.
• W2128753218 hasConcept C102993220 @default.
• W2128753218 hasConcept C107247716 @default.
• W2128753218 hasConcept C111472728 @default.
• W2128753218 hasConcept C118615104 @default.
• W2128753218 hasConcept C121332964 @default.
• W2128753218 hasConcept C128913409 @default.
• W2128753218 hasConcept C138885662 @default.
• W2128753218 hasConcept C154945302 @default.
• W2128753218 hasConcept C165801399 @default.
• W2128753218 hasConcept C172385210 @default.
• W2128753218 hasConcept C199343813 @default.
• W2128753218 hasConcept C199360897 @default.
• W2128753218 hasConcept C203659156 @default.

• next