Populational Announcement Logic (PPAL)


Populational Announcement Logic (PPAL), is a variant of the standard Public Announcement Logic (PAL) with a fuzzy semantics, where instead of specific agents we have populations and groups. The semantics and the announcement logic are defined, and an example is provided. We briefly talk about decidability and model checking. We conclude that the main… (More)

5 Figures and Tables


  • Presentations referencing similar topics