FRINK Linked Data Fragments server

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

• W2196787483 endingPage "1154" @default.
• W2196787483 startingPage "1147" @default.
• W2196787483 abstract "In his seminal work [Plaza, 1989], Plaza proposed the public announcement logic (PAL), which is considered as the pilot logic in the field of dynamic epistemic logic. In the same paper, Plaza also introduced an interesting know-value operator Kv and listed a few valid formulas of PAL+Kv. However, it is unknown that whether these formulas, on top of the axioms for PAL, completely axiomatize PAL+Kv. In this paper, we first give a negative answer to this open problem. Moreover, we generalize the Kv operator and show that in the setting of PAL, replacing the Kv operator with its generalized version does not increase the expressive power of the resulting logic. This suggests that we can simply use the more flexible generalization instead of the original PAL+Kv. As the main result, we give a complete proof system for PAL plus the generalized operator based on a complete axiomatization of epistemic logic with the same operator in the single-agent setting." @default.
• W2196787483 created "2016-06-24" @default.
• W2196787483 creator A5087022428 @default.
• W2196787483 creator A5087182382 @default.
• W2196787483 date "2013-08-03" @default.
• W2196787483 modified "2023-09-23" @default.
• W2196787483 title "Knowing that, knowing what, and public communication: public announcement logic with Kv operators" @default.
• W2196787483 cites W1497616999 @default.
• W2196787483 cites W1518725080 @default.
• W2196787483 cites W1527935828 @default.
• W2196787483 cites W1533142698 @default.
• W2196787483 cites W1600159979 @default.
• W2196787483 cites W1751516141 @default.
• W2196787483 cites W1984292245 @default.
• W2196787483 cites W2032206951 @default.
• W2196787483 cites W2042177436 @default.
• W2196787483 cites W2096959337 @default.
• W2196787483 cites W2100973247 @default.
• W2196787483 cites W2106238708 @default.
• W2196787483 cites W2118119080 @default.
• W2196787483 cites W2120613606 @default.
• W2196787483 cites W2122870912 @default.
• W2196787483 cites W2146819619 @default.
• W2196787483 cites W2146937540 @default.
• W2196787483 cites W2159131252 @default.
• W2196787483 cites W3196893454 @default.
• W2196787483 cites W3202739108 @default.
• W2196787483 hasPublicationYear "2013" @default.
• W2196787483 type Work @default.
• W2196787483 sameAs 2196787483 @default.
• W2196787483 citedByCount "14" @default.
• W2196787483 countsByYear W21967874832012 @default.
• W2196787483 countsByYear W21967874832014 @default.
• W2196787483 countsByYear W21967874832015 @default.
• W2196787483 countsByYear W21967874832016 @default.
• W2196787483 countsByYear W21967874832017 @default.
• W2196787483 countsByYear W21967874832018 @default.
• W2196787483 countsByYear W21967874832021 @default.
• W2196787483 crossrefType "proceedings-article" @default.
• W2196787483 hasAuthorship W2196787483A5087022428 @default.
• W2196787483 hasAuthorship W2196787483A5087182382 @default.
• W2196787483 hasConcept C102993220 @default.
• W2196787483 hasConcept C104317684 @default.
• W2196787483 hasConcept C107247716 @default.
• W2196787483 hasConcept C118615104 @default.
• W2196787483 hasConcept C119599485 @default.
• W2196787483 hasConcept C121332964 @default.
• W2196787483 hasConcept C127413603 @default.
• W2196787483 hasConcept C134306372 @default.
• W2196787483 hasConcept C136119220 @default.
• W2196787483 hasConcept C158448853 @default.
• W2196787483 hasConcept C163258240 @default.
• W2196787483 hasConcept C165801399 @default.
• W2196787483 hasConcept C167729594 @default.
• W2196787483 hasConcept C17020691 @default.
• W2196787483 hasConcept C172385210 @default.
• W2196787483 hasConcept C177148314 @default.
• W2196787483 hasConcept C185592680 @default.
• W2196787483 hasConcept C195818886 @default.
• W2196787483 hasConcept C199343813 @default.
• W2196787483 hasConcept C202444582 @default.
• W2196787483 hasConcept C203659156 @default.
• W2196787483 hasConcept C2524010 @default.
• W2196787483 hasConcept C2777686260 @default.
• W2196787483 hasConcept C2777796570 @default.
• W2196787483 hasConcept C33923547 @default.
• W2196787483 hasConcept C41008148 @default.
• W2196787483 hasConcept C55493867 @default.
• W2196787483 hasConcept C62520636 @default.
• W2196787483 hasConcept C71924100 @default.
• W2196787483 hasConcept C80444323 @default.
• W2196787483 hasConcept C86339819 @default.
• W2196787483 hasConcept C94375191 @default.
• W2196787483 hasConcept C9652623 @default.
• W2196787483 hasConceptScore W2196787483C102993220 @default.
• W2196787483 hasConceptScore W2196787483C104317684 @default.
• W2196787483 hasConceptScore W2196787483C107247716 @default.
• W2196787483 hasConceptScore W2196787483C118615104 @default.
• W2196787483 hasConceptScore W2196787483C119599485 @default.
• W2196787483 hasConceptScore W2196787483C121332964 @default.
• W2196787483 hasConceptScore W2196787483C127413603 @default.
• W2196787483 hasConceptScore W2196787483C134306372 @default.
• W2196787483 hasConceptScore W2196787483C136119220 @default.
• W2196787483 hasConceptScore W2196787483C158448853 @default.
• W2196787483 hasConceptScore W2196787483C163258240 @default.
• W2196787483 hasConceptScore W2196787483C165801399 @default.
• W2196787483 hasConceptScore W2196787483C167729594 @default.
• W2196787483 hasConceptScore W2196787483C17020691 @default.
• W2196787483 hasConceptScore W2196787483C172385210 @default.
• W2196787483 hasConceptScore W2196787483C177148314 @default.
• W2196787483 hasConceptScore W2196787483C185592680 @default.
• W2196787483 hasConceptScore W2196787483C195818886 @default.
• W2196787483 hasConceptScore W2196787483C199343813 @default.
• W2196787483 hasConceptScore W2196787483C202444582 @default.
• W2196787483 hasConceptScore W2196787483C203659156 @default.
• W2196787483 hasConceptScore W2196787483C2524010 @default.
• W2196787483 hasConceptScore W2196787483C2777686260 @default.
• W2196787483 hasConceptScore W2196787483C2777796570 @default.

• next