Matches in SemOpenAlex for { <https://semopenalex.org/work/W2167121581> ?p ?o ?g. }
- W2167121581 endingPage "585" @default.
- W2167121581 startingPage "555" @default.
- W2167121581 abstract "We provide an algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate incomplete as well as wrong information e.g. due to secrecy and deceit, as well as nested knowledge. We give a purely algebraic treatment of the muddy children puzzle, which moreover extends to situations where the children are allowed to lie and cheat. Epistemic actions, that is, information exchanges between agents A,B,…∈A, are modeled as elements of a quantale. The quantale (Q,⋁,•) acts on an underlying Q-right module(M,⋁) of epistemic propositions and facts. The epistemic content is encoded by appearance maps, one pair fMA:M→M and fQA:Q→Q of (lax) morphisms for each agent A∈A, which preserve the module and quantale structure respectively. By adjunction, they give rise to epistemic modalities, capturing the agents' knowledge on propositions and actions. The module action is epistemic update and gives rise to dynamic modalities—cf. weakest precondition. This model subsumes the crucial fragment of Baltag, Moss and Solecki's dynamic epistemic logic, abstracting it in a constructive fashion while introducing resource-sensitive structure on the epistemic actions." @default.
- W2167121581 created "2016-06-24" @default.
- W2167121581 creator A5016374907 @default.
- W2167121581 creator A5036886810 @default.
- W2167121581 creator A5040601882 @default.
- W2167121581 date "2007-03-21" @default.
- W2167121581 modified "2023-09-29" @default.
- W2167121581 title "Epistemic Actions as Resources" @default.
- W2167121581 cites W151008459 @default.
- W2167121581 cites W1518725080 @default.
- W2167121581 cites W1527487696 @default.
- W2167121581 cites W1533142698 @default.
- W2167121581 cites W1551245402 @default.
- W2167121581 cites W1582269801 @default.
- W2167121581 cites W1696720702 @default.
- W2167121581 cites W1720731477 @default.
- W2167121581 cites W1741558829 @default.
- W2167121581 cites W1965338471 @default.
- W2167121581 cites W1965788386 @default.
- W2167121581 cites W1985931606 @default.
- W2167121581 cites W1988804687 @default.
- W2167121581 cites W1989671109 @default.
- W2167121581 cites W1996474321 @default.
- W2167121581 cites W2008132476 @default.
- W2167121581 cites W2009908753 @default.
- W2167121581 cites W2010939995 @default.
- W2167121581 cites W2011659388 @default.
- W2167121581 cites W2086055726 @default.
- W2167121581 cites W2096959337 @default.
- W2167121581 cites W2103953153 @default.
- W2167121581 cites W2117499087 @default.
- W2167121581 cites W2117737141 @default.
- W2167121581 cites W2120967218 @default.
- W2167121581 cites W2125004756 @default.
- W2167121581 cites W2127332478 @default.
- W2167121581 cites W2127722070 @default.
- W2167121581 cites W2146819619 @default.
- W2167121581 cites W2147056604 @default.
- W2167121581 cites W2156159999 @default.
- W2167121581 cites W2161965466 @default.
- W2167121581 cites W2163008980 @default.
- W2167121581 cites W2204960913 @default.
- W2167121581 cites W2328580899 @default.
- W2167121581 cites W2336123333 @default.
- W2167121581 cites W2911865844 @default.
- W2167121581 doi "https://doi.org/10.1093/logcom/exm015" @default.
- W2167121581 hasPublicationYear "2007" @default.
- W2167121581 type Work @default.
- W2167121581 sameAs 2167121581 @default.
- W2167121581 citedByCount "52" @default.
- W2167121581 countsByYear W21671215812012 @default.
- W2167121581 countsByYear W21671215812013 @default.
- W2167121581 countsByYear W21671215812014 @default.
- W2167121581 countsByYear W21671215812015 @default.
- W2167121581 countsByYear W21671215812016 @default.
- W2167121581 countsByYear W21671215812019 @default.
- W2167121581 countsByYear W21671215812022 @default.
- W2167121581 countsByYear W21671215812023 @default.
- W2167121581 crossrefType "journal-article" @default.
- W2167121581 hasAuthorship W2167121581A5016374907 @default.
- W2167121581 hasAuthorship W2167121581A5036886810 @default.
- W2167121581 hasAuthorship W2167121581A5040601882 @default.
- W2167121581 hasBestOaLocation W21671215812 @default.
- W2167121581 hasConcept C102993220 @default.
- W2167121581 hasConcept C107247716 @default.
- W2167121581 hasConcept C111472728 @default.
- W2167121581 hasConcept C11413529 @default.
- W2167121581 hasConcept C118615104 @default.
- W2167121581 hasConcept C134306372 @default.
- W2167121581 hasConcept C138885662 @default.
- W2167121581 hasConcept C184337299 @default.
- W2167121581 hasConcept C199343813 @default.
- W2167121581 hasConcept C199360897 @default.
- W2167121581 hasConcept C203659156 @default.
- W2167121581 hasConcept C2776235265 @default.
- W2167121581 hasConcept C2777686260 @default.
- W2167121581 hasConcept C2778701210 @default.
- W2167121581 hasConcept C33923547 @default.
- W2167121581 hasConcept C41008148 @default.
- W2167121581 hasConcept C71924100 @default.
- W2167121581 hasConcept C80444323 @default.
- W2167121581 hasConcept C89421646 @default.
- W2167121581 hasConcept C9376300 @default.
- W2167121581 hasConcept C98045186 @default.
- W2167121581 hasConceptScore W2167121581C102993220 @default.
- W2167121581 hasConceptScore W2167121581C107247716 @default.
- W2167121581 hasConceptScore W2167121581C111472728 @default.
- W2167121581 hasConceptScore W2167121581C11413529 @default.
- W2167121581 hasConceptScore W2167121581C118615104 @default.
- W2167121581 hasConceptScore W2167121581C134306372 @default.
- W2167121581 hasConceptScore W2167121581C138885662 @default.
- W2167121581 hasConceptScore W2167121581C184337299 @default.
- W2167121581 hasConceptScore W2167121581C199343813 @default.
- W2167121581 hasConceptScore W2167121581C199360897 @default.
- W2167121581 hasConceptScore W2167121581C203659156 @default.
- W2167121581 hasConceptScore W2167121581C2776235265 @default.
- W2167121581 hasConceptScore W2167121581C2777686260 @default.
- W2167121581 hasConceptScore W2167121581C2778701210 @default.