Matches in SemOpenAlex for { <https://semopenalex.org/work/W2969836299> ?p ?o ?g. }
- W2969836299 abstract "Logics for social networks have been studied in recent literature. This paper presents a framework based on *dynamic term-modal logic* (DTML), a quantified variant of dynamic epistemic logic (DEL). In contrast with DEL where it is commonly known to whom agent names refer, DTML can represent dynamics with uncertainty about agent identity. We exemplify dynamics where such uncertainty and de re/de dicto distinctions are key to social network epistemics. Technically, we show that DTML semantics can represent a popular class of hybrid logic epistemic social network models. We also show that DTML can encode previously discussed dynamics for which finding a complete logic was left open. As complete reduction axioms systems exist for DTML, this yields a complete system for the dynamics in question." @default.
- W2969836299 created "2019-08-29" @default.
- W2969836299 creator A5072566236 @default.
- W2969836299 creator A5082289507 @default.
- W2969836299 date "2019-08-26" @default.
- W2969836299 modified "2023-09-27" @default.
- W2969836299 title "Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version)." @default.
- W2969836299 cites W1508937791 @default.
- W2969836299 cites W1518725080 @default.
- W2969836299 cites W1633533734 @default.
- W2969836299 cites W1700086856 @default.
- W2969836299 cites W1988804687 @default.
- W2969836299 cites W1998176101 @default.
- W2969836299 cites W2032206951 @default.
- W2969836299 cites W2059171572 @default.
- W2969836299 cites W2104074474 @default.
- W2969836299 cites W2120157820 @default.
- W2969836299 cites W2120613606 @default.
- W2969836299 cites W2127148004 @default.
- W2969836299 cites W2247523039 @default.
- W2969836299 cites W2397494983 @default.
- W2969836299 cites W2528313258 @default.
- W2969836299 cites W2583481224 @default.
- W2969836299 cites W268799623 @default.
- W2969836299 cites W2746848178 @default.
- W2969836299 cites W2788995504 @default.
- W2969836299 cites W281266761 @default.
- W2969836299 cites W2895880000 @default.
- W2969836299 cites W2913952675 @default.
- W2969836299 cites W2952638525 @default.
- W2969836299 cites W3026707756 @default.
- W2969836299 hasPublicationYear "2019" @default.
- W2969836299 type Work @default.
- W2969836299 sameAs 2969836299 @default.
- W2969836299 citedByCount "0" @default.
- W2969836299 crossrefType "posted-content" @default.
- W2969836299 hasAuthorship W2969836299A5072566236 @default.
- W2969836299 hasAuthorship W2969836299A5082289507 @default.
- W2969836299 hasConcept C102993220 @default.
- W2969836299 hasConcept C107247716 @default.
- W2969836299 hasConcept C111472728 @default.
- W2969836299 hasConcept C121332964 @default.
- W2969836299 hasConcept C138885662 @default.
- W2969836299 hasConcept C154945302 @default.
- W2969836299 hasConcept C165801399 @default.
- W2969836299 hasConcept C167729594 @default.
- W2969836299 hasConcept C172385210 @default.
- W2969836299 hasConcept C185592680 @default.
- W2969836299 hasConcept C188027245 @default.
- W2969836299 hasConcept C203659156 @default.
- W2969836299 hasConcept C2524010 @default.
- W2969836299 hasConcept C27508121 @default.
- W2969836299 hasConcept C2777212361 @default.
- W2969836299 hasConcept C2777796570 @default.
- W2969836299 hasConcept C33923547 @default.
- W2969836299 hasConcept C41008148 @default.
- W2969836299 hasConcept C61797465 @default.
- W2969836299 hasConcept C62520636 @default.
- W2969836299 hasConcept C71139939 @default.
- W2969836299 hasConcept C80444323 @default.
- W2969836299 hasConceptScore W2969836299C102993220 @default.
- W2969836299 hasConceptScore W2969836299C107247716 @default.
- W2969836299 hasConceptScore W2969836299C111472728 @default.
- W2969836299 hasConceptScore W2969836299C121332964 @default.
- W2969836299 hasConceptScore W2969836299C138885662 @default.
- W2969836299 hasConceptScore W2969836299C154945302 @default.
- W2969836299 hasConceptScore W2969836299C165801399 @default.
- W2969836299 hasConceptScore W2969836299C167729594 @default.
- W2969836299 hasConceptScore W2969836299C172385210 @default.
- W2969836299 hasConceptScore W2969836299C185592680 @default.
- W2969836299 hasConceptScore W2969836299C188027245 @default.
- W2969836299 hasConceptScore W2969836299C203659156 @default.
- W2969836299 hasConceptScore W2969836299C2524010 @default.
- W2969836299 hasConceptScore W2969836299C27508121 @default.
- W2969836299 hasConceptScore W2969836299C2777212361 @default.
- W2969836299 hasConceptScore W2969836299C2777796570 @default.
- W2969836299 hasConceptScore W2969836299C33923547 @default.
- W2969836299 hasConceptScore W2969836299C41008148 @default.
- W2969836299 hasConceptScore W2969836299C61797465 @default.
- W2969836299 hasConceptScore W2969836299C62520636 @default.
- W2969836299 hasConceptScore W2969836299C71139939 @default.
- W2969836299 hasConceptScore W2969836299C80444323 @default.
- W2969836299 hasLocation W29698362991 @default.
- W2969836299 hasOpenAccess W2969836299 @default.
- W2969836299 hasPrimaryLocation W29698362991 @default.
- W2969836299 hasRelatedWork W1533142698 @default.
- W2969836299 hasRelatedWork W1553439336 @default.
- W2969836299 hasRelatedWork W1566983534 @default.
- W2969836299 hasRelatedWork W1745847181 @default.
- W2969836299 hasRelatedWork W1978338579 @default.
- W2969836299 hasRelatedWork W2039352370 @default.
- W2969836299 hasRelatedWork W2128206470 @default.
- W2969836299 hasRelatedWork W2144792489 @default.
- W2969836299 hasRelatedWork W2171968628 @default.
- W2969836299 hasRelatedWork W2282413921 @default.
- W2969836299 hasRelatedWork W2318576368 @default.
- W2969836299 hasRelatedWork W2552262738 @default.
- W2969836299 hasRelatedWork W2791261897 @default.
- W2969836299 hasRelatedWork W2947848530 @default.
- W2969836299 hasRelatedWork W2969775091 @default.