Dynamic Epistemic Logics of Introspection

Authors
Publication date 2018
Host editors
  • A. Madeira
  • M. Benevides
Book title Dynamic Logic. New Trends and Applications
Book subtitle First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings
ISBN
  • 9783319735788
ISBN (electronic)
  • 9783319735795
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
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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
Permalink to this page
Back