Public announcement logic in geometric frameworks (Q2898469)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Public announcement logic in geometric frameworks |
scientific article; zbMATH DE number 6054487
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Public announcement logic in geometric frameworks |
scientific article; zbMATH DE number 6054487 |
Statements
11 July 2012
0 references
public announcement logic
0 references
topological semantics
0 references
subset space logic
0 references
backward induction
0 references
Public announcement logic in geometric frameworks (English)
0 references
Public announcement logic updates epistemic models by eliminating states that do not agree with the announcements. It is usually formulated and applied in the context of a Kripke-style semantics. The paper reformulates it in two different geometrical frameworks: topological models for modal logic (deriving from work of McKinsey and Tarski back in the 1940s), and the weaker and more recent subset space logics (of Parikh and collaborators). Completeness theorems are proven, with some further observations on update stabilization, backward induction, and persistency of formulae.
0 references
