Nuvarande dynamiska epistemiska logiker blir ofta besvärliga och ogenomskinliga när gemensam kunskap läggs till för grupper av agenser. Men villkor i fråga om gemensam kunskap ger uttryck åt det väsentliga i det som kommuniceras. Vi föreslår nya system som utvidgar de underliggande statiska epistemiska språken på ett sådant sätt att fullständighetsbevis för de fulla dynamiska systemen kan erhållas genom perspikösa reduktionsaxiom. Vi inkluderar också faktiska förändringar, snarare än bara informationsförändringar, som gör det möjligt för oss att täcka ett mycket bredare spektrum av fenomen inom kommunikations- och förändringsområdet.
I REF introduceras och studeras en dynamisk epistemisk logik modelleringseffekter av kommunikation och förändring.
Logics of communication and change
{'venue': 'Information and Computation', 'journal': None, 'mag_field_of_study': ['Chemistry', 'Computer Science']}