Matches in SemOpenAlex for { <https://semopenalex.org/work/W155001603> ?p ?o ?g. }
- W155001603 endingPage "367" @default.
- W155001603 startingPage "348" @default.
- W155001603 abstract "Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational models with infinitely many agents, PAL-K_omega, as well as standard extensions thereof, e.g., PAL-T_omega, PAL-S4_omega, and PAL-S5_omega. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL." @default.
- W155001603 created "2016-06-24" @default.
- W155001603 creator A5039179622 @default.
- W155001603 creator A5079244248 @default.
- W155001603 creator A5088813725 @default.
- W155001603 date "2012-06-25" @default.
- W155001603 modified "2023-09-26" @default.
- W155001603 title "A Uniform Logic of Information Dynamics" @default.
- W155001603 cites W103784871 @default.
- W155001603 cites W12418839 @default.
- W155001603 cites W1518725080 @default.
- W155001603 cites W1533142698 @default.
- W155001603 cites W1587154603 @default.
- W155001603 cites W165460221 @default.
- W155001603 cites W1865059528 @default.
- W155001603 cites W1966911791 @default.
- W155001603 cites W1985316529 @default.
- W155001603 cites W1996093895 @default.
- W155001603 cites W2065958869 @default.
- W155001603 cites W2068303037 @default.
- W155001603 cites W2068954086 @default.
- W155001603 cites W2096959337 @default.
- W155001603 cites W2118119080 @default.
- W155001603 cites W2120613606 @default.
- W155001603 cites W2126992147 @default.
- W155001603 cites W2128763610 @default.
- W155001603 cites W2142771670 @default.
- W155001603 cites W2144561707 @default.
- W155001603 cites W2149747391 @default.
- W155001603 cites W2150780510 @default.
- W155001603 cites W2153737593 @default.
- W155001603 cites W2159131252 @default.
- W155001603 cites W2159753366 @default.
- W155001603 cites W2170447572 @default.
- W155001603 cites W2304647469 @default.
- W155001603 cites W2339651901 @default.
- W155001603 cites W2610670723 @default.
- W155001603 cites W263492832 @default.
- W155001603 cites W2943193145 @default.
- W155001603 cites W300190828 @default.
- W155001603 cites W51780538 @default.
- W155001603 hasPublicationYear "2012" @default.
- W155001603 type Work @default.
- W155001603 sameAs 155001603 @default.
- W155001603 citedByCount "4" @default.
- W155001603 countsByYear W1550016032013 @default.
- W155001603 countsByYear W1550016032016 @default.
- W155001603 countsByYear W1550016032019 @default.
- W155001603 crossrefType "proceedings-article" @default.
- W155001603 hasAuthorship W155001603A5039179622 @default.
- W155001603 hasAuthorship W155001603A5079244248 @default.
- W155001603 hasAuthorship W155001603A5088813725 @default.
- W155001603 hasConcept C102993220 @default.
- W155001603 hasConcept C107247716 @default.
- W155001603 hasConcept C114092440 @default.
- W155001603 hasConcept C118615104 @default.
- W155001603 hasConcept C121332964 @default.
- W155001603 hasConcept C134306372 @default.
- W155001603 hasConcept C138885662 @default.
- W155001603 hasConcept C154945302 @default.
- W155001603 hasConcept C165801399 @default.
- W155001603 hasConcept C17231256 @default.
- W155001603 hasConcept C172385210 @default.
- W155001603 hasConcept C184337299 @default.
- W155001603 hasConcept C185592680 @default.
- W155001603 hasConcept C188027245 @default.
- W155001603 hasConcept C199360897 @default.
- W155001603 hasConcept C203659156 @default.
- W155001603 hasConcept C2164484 @default.
- W155001603 hasConcept C27508121 @default.
- W155001603 hasConcept C2777212361 @default.
- W155001603 hasConcept C2777796570 @default.
- W155001603 hasConcept C2778220771 @default.
- W155001603 hasConcept C2779557605 @default.
- W155001603 hasConcept C33923547 @default.
- W155001603 hasConcept C41008148 @default.
- W155001603 hasConcept C41895202 @default.
- W155001603 hasConcept C62520636 @default.
- W155001603 hasConcept C71139939 @default.
- W155001603 hasConcept C76155785 @default.
- W155001603 hasConcept C80444323 @default.
- W155001603 hasConceptScore W155001603C102993220 @default.
- W155001603 hasConceptScore W155001603C107247716 @default.
- W155001603 hasConceptScore W155001603C114092440 @default.
- W155001603 hasConceptScore W155001603C118615104 @default.
- W155001603 hasConceptScore W155001603C121332964 @default.
- W155001603 hasConceptScore W155001603C134306372 @default.
- W155001603 hasConceptScore W155001603C138885662 @default.
- W155001603 hasConceptScore W155001603C154945302 @default.
- W155001603 hasConceptScore W155001603C165801399 @default.
- W155001603 hasConceptScore W155001603C17231256 @default.
- W155001603 hasConceptScore W155001603C172385210 @default.
- W155001603 hasConceptScore W155001603C184337299 @default.
- W155001603 hasConceptScore W155001603C185592680 @default.
- W155001603 hasConceptScore W155001603C188027245 @default.
- W155001603 hasConceptScore W155001603C199360897 @default.
- W155001603 hasConceptScore W155001603C203659156 @default.
- W155001603 hasConceptScore W155001603C2164484 @default.