Dynamic Epistemic Logics of Introspection
| Authors |
|
|---|---|
| Publication date | 2018 |
| Host editors |
|
| Book title | Dynamic Logic. New Trends and Applications |
| Book subtitle | First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 1st International Workshop Dynamic Logic. New Trends and Applications |
| Pages (from-to) | 82-97 |
| Publisher | Cham: Springer |
| Organisations |
|
| Abstract | This work studies positive and negative introspection not as properties, but rather as actions that change the agent’s knowledge. The actions are introduced as model update operations, with matching modalities expressing their effects. Sound and complete axiom systems are provided, and some properties are explored. |
| Document type | Conference contribution |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-319-73579-5_6
(Final published version)
|
| Permalink to this page | |