FRINK Linked Data Fragments server

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

• W2058964903 abstract "We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss- Solecki, without the common knowledge operator. We dually characterize the product update construction of EAK as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. This dual characterization naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). As an application of this dual characterization, we axiomatize the intuitionistic analogue of the logic of epistemic knowledge and actions, which we refer to as IEAK, prove soundness and completeness of IEAK w.r.t. both algebraic and relational models, and illustrate how IEAK encodes the reasoning of agents in a concrete epistemic scenario." @default.
• W2058964903 created "2016-06-24" @default.
• W2058964903 creator A5047149000 @default.
• W2058964903 creator A5057868877 @default.
• W2058964903 date "2013-12-05" @default.
• W2058964903 modified "2023-10-03" @default.
• W2058964903 title "Epistemic Updates on Algebras" @default.
• W2058964903 cites W1497616999 @default.
• W2058964903 cites W1557228712 @default.
• W2058964903 cites W1856721019 @default.
• W2058964903 cites W1987887112 @default.
• W2058964903 cites W1989671109 @default.
• W2058964903 cites W2023132547 @default.
• W2058964903 cites W2093397547 @default.
• W2058964903 cites W2120445324 @default.
• W2058964903 cites W2143326093 @default.
• W2058964903 cites W2156155209 @default.
• W2058964903 cites W2169348910 @default.
• W2058964903 cites W2207948284 @default.
• W2058964903 cites W2319388297 @default.
• W2058964903 cites W2610670723 @default.
• W2058964903 cites W2616782385 @default.
• W2058964903 cites W3041386822 @default.
• W2058964903 cites W639782591 @default.
• W2058964903 doi "https://doi.org/10.2168/lmcs-9(4:17)2013" @default.
• W2058964903 hasPublicationYear "2013" @default.
• W2058964903 type Work @default.
• W2058964903 sameAs 2058964903 @default.
• W2058964903 citedByCount "19" @default.
• W2058964903 countsByYear W20589649032013 @default.
• W2058964903 countsByYear W20589649032014 @default.
• W2058964903 countsByYear W20589649032015 @default.
• W2058964903 countsByYear W20589649032016 @default.
• W2058964903 countsByYear W20589649032017 @default.
• W2058964903 countsByYear W20589649032018 @default.
• W2058964903 countsByYear W20589649032019 @default.
• W2058964903 countsByYear W20589649032021 @default.
• W2058964903 crossrefType "journal-article" @default.
• W2058964903 hasAuthorship W2058964903A5047149000 @default.
• W2058964903 hasAuthorship W2058964903A5057868877 @default.
• W2058964903 hasBestOaLocation W20589649031 @default.
• W2058964903 hasConcept C102993220 @default.
• W2058964903 hasConcept C107247716 @default.
• W2058964903 hasConcept C111472728 @default.
• W2058964903 hasConcept C120665830 @default.
• W2058964903 hasConcept C121332964 @default.
• W2058964903 hasConcept C124952713 @default.
• W2058964903 hasConcept C134306372 @default.
• W2058964903 hasConcept C136119220 @default.
• W2058964903 hasConcept C138885662 @default.
• W2058964903 hasConcept C142362112 @default.
• W2058964903 hasConcept C14394260 @default.
• W2058964903 hasConcept C171250308 @default.
• W2058964903 hasConcept C17231256 @default.
• W2058964903 hasConcept C185592680 @default.
• W2058964903 hasConcept C187062830 @default.
• W2058964903 hasConcept C188027245 @default.
• W2058964903 hasConcept C192209626 @default.
• W2058964903 hasConcept C192562407 @default.
• W2058964903 hasConcept C199360897 @default.
• W2058964903 hasConcept C202444582 @default.
• W2058964903 hasConcept C203254541 @default.
• W2058964903 hasConcept C203659156 @default.
• W2058964903 hasConcept C27508121 @default.
• W2058964903 hasConcept C2780841128 @default.
• W2058964903 hasConcept C2780980858 @default.
• W2058964903 hasConcept C33923547 @default.
• W2058964903 hasConcept C39920170 @default.
• W2058964903 hasConcept C41008148 @default.
• W2058964903 hasConcept C518143113 @default.
• W2058964903 hasConcept C71139939 @default.
• W2058964903 hasConcept C78344899 @default.
• W2058964903 hasConcept C80444323 @default.
• W2058964903 hasConceptScore W2058964903C102993220 @default.
• W2058964903 hasConceptScore W2058964903C107247716 @default.
• W2058964903 hasConceptScore W2058964903C111472728 @default.
• W2058964903 hasConceptScore W2058964903C120665830 @default.
• W2058964903 hasConceptScore W2058964903C121332964 @default.
• W2058964903 hasConceptScore W2058964903C124952713 @default.
• W2058964903 hasConceptScore W2058964903C134306372 @default.
• W2058964903 hasConceptScore W2058964903C136119220 @default.
• W2058964903 hasConceptScore W2058964903C138885662 @default.
• W2058964903 hasConceptScore W2058964903C142362112 @default.
• W2058964903 hasConceptScore W2058964903C14394260 @default.
• W2058964903 hasConceptScore W2058964903C171250308 @default.
• W2058964903 hasConceptScore W2058964903C17231256 @default.
• W2058964903 hasConceptScore W2058964903C185592680 @default.
• W2058964903 hasConceptScore W2058964903C187062830 @default.
• W2058964903 hasConceptScore W2058964903C188027245 @default.
• W2058964903 hasConceptScore W2058964903C192209626 @default.
• W2058964903 hasConceptScore W2058964903C192562407 @default.
• W2058964903 hasConceptScore W2058964903C199360897 @default.
• W2058964903 hasConceptScore W2058964903C202444582 @default.
• W2058964903 hasConceptScore W2058964903C203254541 @default.
• W2058964903 hasConceptScore W2058964903C203659156 @default.
• W2058964903 hasConceptScore W2058964903C27508121 @default.
• W2058964903 hasConceptScore W2058964903C2780841128 @default.
• W2058964903 hasConceptScore W2058964903C2780980858 @default.
• W2058964903 hasConceptScore W2058964903C33923547 @default.
• W2058964903 hasConceptScore W2058964903C39920170 @default.

• next