FRINK Linked Data Fragments server

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

• W2120613606 endingPage "1662" @default.
• W2120613606 startingPage "1620" @default.
• W2120613606 abstract "Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of 'relativized common knowledge', in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous 'reduction axioms'. We also show how such systems can deal with factual alteration, rather than just information change, making them cover a much wider range of realistic events. After a warmup stage of analyzing logics for public announcements, our main technical results are expressivity and completeness theorems for a much richer logic that we call LCC. This is a dynamic epistemic logic whose static base is propositional dynamic logic (PDL), interpreted epistemically. This system is capable of expressing all model-shifting operations with finite action models, while providing a compositional analysis for a wide range of informational events. This makes LCC a serious candidate for a standard in dynamic epistemic logic, as we illustrate by analyzing some complex communication scenarios, including sending successive emails with both 'cc' and 'bcc' lines, and other private announcements to subgroups. Our proofs involve standard modal techniques, combined with a new application of Kleene's theorem on finite automata, as well as new Ehrenfeucht games of model comparison." @default.
• W2120613606 created "2016-06-24" @default.
• W2120613606 creator A5032285962 @default.
• W2120613606 creator A5083214023 @default.
• W2120613606 creator A5087299728 @default.
• W2120613606 date "2006-11-01" @default.
• W2120613606 modified "2023-10-01" @default.
• W2120613606 title "Logics of communication and change" @default.
• W2120613606 cites W101451164 @default.
• W2120613606 cites W1489891289 @default.
• W2120613606 cites W1494976167 @default.
• W2120613606 cites W1497616999 @default.
• W2120613606 cites W1518725080 @default.
• W2120613606 cites W1528980544 @default.
• W2120613606 cites W1560681040 @default.
• W2120613606 cites W1567084588 @default.
• W2120613606 cites W1570445666 @default.
• W2120613606 cites W1588841227 @default.
• W2120613606 cites W1600977351 @default.
• W2120613606 cites W16391091 @default.
• W2120613606 cites W1889043786 @default.
• W2120613606 cites W1965188950 @default.
• W2120613606 cites W1971616901 @default.
• W2120613606 cites W1988804687 @default.
• W2120613606 cites W1991755574 @default.
• W2120613606 cites W2069709605 @default.
• W2120613606 cites W2096959337 @default.
• W2120613606 cites W2146819619 @default.
• W2120613606 cites W2183351101 @default.
• W2120613606 cites W2183451158 @default.
• W2120613606 cites W2331953749 @default.
• W2120613606 cites W2336123333 @default.
• W2120613606 cites W2505736394 @default.
• W2120613606 cites W263492832 @default.
• W2120613606 cites W3140030144 @default.
• W2120613606 doi "https://doi.org/10.1016/j.jc.2006.04.006" @default.
• W2120613606 hasPublicationYear "2006" @default.
• W2120613606 type Work @default.
• W2120613606 sameAs 2120613606 @default.
• W2120613606 citedByCount "154" @default.
• W2120613606 countsByYear W21206136062012 @default.
• W2120613606 countsByYear W21206136062013 @default.
• W2120613606 countsByYear W21206136062014 @default.
• W2120613606 countsByYear W21206136062015 @default.
• W2120613606 countsByYear W21206136062016 @default.
• W2120613606 countsByYear W21206136062017 @default.
• W2120613606 countsByYear W21206136062018 @default.
• W2120613606 countsByYear W21206136062019 @default.
• W2120613606 countsByYear W21206136062020 @default.
• W2120613606 countsByYear W21206136062021 @default.
• W2120613606 crossrefType "journal-article" @default.
• W2120613606 hasAuthorship W2120613606A5032285962 @default.
• W2120613606 hasAuthorship W2120613606A5083214023 @default.
• W2120613606 hasAuthorship W2120613606A5087299728 @default.
• W2120613606 hasConcept C102993220 @default.
• W2120613606 hasConcept C107247716 @default.
• W2120613606 hasConcept C108710211 @default.
• W2120613606 hasConcept C112505250 @default.
• W2120613606 hasConcept C121332964 @default.
• W2120613606 hasConcept C134306372 @default.
• W2120613606 hasConcept C159985019 @default.
• W2120613606 hasConcept C165801399 @default.
• W2120613606 hasConcept C167729594 @default.
• W2120613606 hasConcept C17231256 @default.
• W2120613606 hasConcept C172385210 @default.
• W2120613606 hasConcept C185592680 @default.
• W2120613606 hasConcept C188027245 @default.
• W2120613606 hasConcept C192562407 @default.
• W2120613606 hasConcept C199360897 @default.
• W2120613606 hasConcept C203659156 @default.
• W2120613606 hasConcept C204323151 @default.
• W2120613606 hasConcept C24858836 @default.
• W2120613606 hasConcept C2524010 @default.
• W2120613606 hasConcept C27508121 @default.
• W2120613606 hasConcept C2777796570 @default.
• W2120613606 hasConcept C33923547 @default.
• W2120613606 hasConcept C39920170 @default.
• W2120613606 hasConcept C41008148 @default.
• W2120613606 hasConcept C62520636 @default.
• W2120613606 hasConcept C71139939 @default.
• W2120613606 hasConcept C80444323 @default.
• W2120613606 hasConceptScore W2120613606C102993220 @default.
• W2120613606 hasConceptScore W2120613606C107247716 @default.
• W2120613606 hasConceptScore W2120613606C108710211 @default.
• W2120613606 hasConceptScore W2120613606C112505250 @default.
• W2120613606 hasConceptScore W2120613606C121332964 @default.
• W2120613606 hasConceptScore W2120613606C134306372 @default.
• W2120613606 hasConceptScore W2120613606C159985019 @default.
• W2120613606 hasConceptScore W2120613606C165801399 @default.
• W2120613606 hasConceptScore W2120613606C167729594 @default.
• W2120613606 hasConceptScore W2120613606C17231256 @default.
• W2120613606 hasConceptScore W2120613606C172385210 @default.
• W2120613606 hasConceptScore W2120613606C185592680 @default.
• W2120613606 hasConceptScore W2120613606C188027245 @default.
• W2120613606 hasConceptScore W2120613606C192562407 @default.
• W2120613606 hasConceptScore W2120613606C199360897 @default.
• W2120613606 hasConceptScore W2120613606C203659156 @default.
• W2120613606 hasConceptScore W2120613606C204323151 @default.

• next