Matches in SemOpenAlex for { <https://semopenalex.org/work/W2969806710> ?p ?o ?g. }
- W2969806710 endingPage "75" @default.
- W2969806710 startingPage "1" @default.
- W2969806710 abstract "The present article contributes to the development of the mathematical theory of epistemic updates using the tools of duality theory. Here, we focus on Probabilistic Dynamic Epistemic Logic (PDEL). We dually characterize the product update construction of PDEL-models as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. Thanks to this construction, an interpretation of the language of PDEL can be defined on algebraic models based on Heyting algebras. This justifies our proposal for the axiomatization of the intuitionistic counterpart of PDEL." @default.
- W2969806710 created "2019-08-29" @default.
- W2969806710 creator A5018810337 @default.
- W2969806710 creator A5030472587 @default.
- W2969806710 creator A5037378549 @default.
- W2969806710 creator A5047149000 @default.
- W2969806710 creator A5048130519 @default.
- W2969806710 date "2019-08-21" @default.
- W2969806710 modified "2023-10-18" @default.
- W2969806710 title "Probabilistic Epistemic Updates on Algebras" @default.
- W2969806710 cites W1586446371 @default.
- W2969806710 cites W1970051856 @default.
- W2969806710 cites W2038051410 @default.
- W2969806710 cites W2058964903 @default.
- W2969806710 cites W2062285040 @default.
- W2969806710 cites W2067483357 @default.
- W2969806710 cites W2086636341 @default.
- W2969806710 cites W2119558232 @default.
- W2969806710 cites W2120445324 @default.
- W2969806710 cites W2130561095 @default.
- W2969806710 cites W2143236485 @default.
- W2969806710 cites W2154946137 @default.
- W2969806710 cites W2169250070 @default.
- W2969806710 cites W2207948284 @default.
- W2969806710 cites W2281452765 @default.
- W2969806710 cites W2294953717 @default.
- W2969806710 cites W2311235514 @default.
- W2969806710 cites W2493694570 @default.
- W2969806710 cites W2498531142 @default.
- W2969806710 cites W2531541396 @default.
- W2969806710 cites W2901337857 @default.
- W2969806710 cites W2969806710 @default.
- W2969806710 cites W2979689738 @default.
- W2969806710 cites W3105817132 @default.
- W2969806710 cites W4235131552 @default.
- W2969806710 cites W639782591 @default.
- W2969806710 doi "https://doi.org/10.1145/3341725" @default.
- W2969806710 hasPublicationYear "2019" @default.
- W2969806710 type Work @default.
- W2969806710 sameAs 2969806710 @default.
- W2969806710 citedByCount "2" @default.
- W2969806710 countsByYear W29698067102019 @default.
- W2969806710 countsByYear W29698067102021 @default.
- W2969806710 crossrefType "journal-article" @default.
- W2969806710 hasAuthorship W2969806710A5018810337 @default.
- W2969806710 hasAuthorship W2969806710A5030472587 @default.
- W2969806710 hasAuthorship W2969806710A5037378549 @default.
- W2969806710 hasAuthorship W2969806710A5047149000 @default.
- W2969806710 hasAuthorship W2969806710A5048130519 @default.
- W2969806710 hasBestOaLocation W29698067103 @default.
- W2969806710 hasConcept C102993220 @default.
- W2969806710 hasConcept C107247716 @default.
- W2969806710 hasConcept C111472728 @default.
- W2969806710 hasConcept C120665830 @default.
- W2969806710 hasConcept C121332964 @default.
- W2969806710 hasConcept C128828806 @default.
- W2969806710 hasConcept C134306372 @default.
- W2969806710 hasConcept C136119220 @default.
- W2969806710 hasConcept C138885662 @default.
- W2969806710 hasConcept C154945302 @default.
- W2969806710 hasConcept C192209626 @default.
- W2969806710 hasConcept C199360897 @default.
- W2969806710 hasConcept C202444582 @default.
- W2969806710 hasConcept C203659156 @default.
- W2969806710 hasConcept C2524010 @default.
- W2969806710 hasConcept C2778023678 @default.
- W2969806710 hasConcept C33923547 @default.
- W2969806710 hasConcept C41008148 @default.
- W2969806710 hasConcept C49937458 @default.
- W2969806710 hasConcept C527412718 @default.
- W2969806710 hasConcept C80444323 @default.
- W2969806710 hasConcept C90673727 @default.
- W2969806710 hasConcept C9376300 @default.
- W2969806710 hasConceptScore W2969806710C102993220 @default.
- W2969806710 hasConceptScore W2969806710C107247716 @default.
- W2969806710 hasConceptScore W2969806710C111472728 @default.
- W2969806710 hasConceptScore W2969806710C120665830 @default.
- W2969806710 hasConceptScore W2969806710C121332964 @default.
- W2969806710 hasConceptScore W2969806710C128828806 @default.
- W2969806710 hasConceptScore W2969806710C134306372 @default.
- W2969806710 hasConceptScore W2969806710C136119220 @default.
- W2969806710 hasConceptScore W2969806710C138885662 @default.
- W2969806710 hasConceptScore W2969806710C154945302 @default.
- W2969806710 hasConceptScore W2969806710C192209626 @default.
- W2969806710 hasConceptScore W2969806710C199360897 @default.
- W2969806710 hasConceptScore W2969806710C202444582 @default.
- W2969806710 hasConceptScore W2969806710C203659156 @default.
- W2969806710 hasConceptScore W2969806710C2524010 @default.
- W2969806710 hasConceptScore W2969806710C2778023678 @default.
- W2969806710 hasConceptScore W2969806710C33923547 @default.
- W2969806710 hasConceptScore W2969806710C41008148 @default.
- W2969806710 hasConceptScore W2969806710C49937458 @default.
- W2969806710 hasConceptScore W2969806710C527412718 @default.
- W2969806710 hasConceptScore W2969806710C80444323 @default.
- W2969806710 hasConceptScore W2969806710C90673727 @default.
- W2969806710 hasConceptScore W2969806710C9376300 @default.
- W2969806710 hasIssue "4" @default.
- W2969806710 hasLocation W29698067101 @default.