Name
Abstract | ||
|---|---|---|
Populational Announcement Logic (PPAL), is a variant of the standard Public Announcement Logic (PAL) with a fuzzy-inspired 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 show validities analogous to PAL axioms and their proofs, and also provide a proof of decidability. We briefly talk about model checking and compare the framework against probabilistic logic. We conclude that the main advantage of PPAL over PAL is the flexibility to work with previously defined agents. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1016/j.entcs.2020.02.007 | Electronic Notes in Theoretical Computer Science |
Keywords | DocType | Volume |
epistemic logic,modal logic,knowledge representation | Conference | 348 |
ISSN | Citations | PageRank |
1571-0661 | 0 | 0.34 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Vitor Machado | 1 | 0 | 0.34 |
| Mario R. F. Benevides | 2 | 143 | 23.75 |