Quantifying over epistemic updates

Research output: ResearchDoctoral Thesis

Access

Documents

  • THESIS - DOCTOR OF PHILOSOPHY - HALES James Colin - 2016

    Rights statement: This work is protected by Copyright. You may print or download ONE copy of this document for the purpose of your own non-commercial research or study. Any other use requires permission from the copyright owner. The Copyright Act requires you to attribute any copyright works you quote or paraphrase.

    1 MB, PDF-document

Authors

Research units

Abstract

Dynamic epistemic logics reason about the knowledge belonging to a collectionof agents and how that knowledge changes in response to epistemic updates,events that provide agents with additional information. Previous work in dynamicepistemic logic, such as public announcement logic [76, 47] and actionmodel logic [15, 14], introduced models for epistemic updates and logics for reasoning about the effects of specific epistemic updates using these models. However many natural questions about epistemic updates are not questions about specific epistemic updates. For example, given a desired change in knowledge we might ask \Is there an epistemic update that results in the desired change in knowledge?", and if there is we might also ask \What is a specific epistemic update that results in the desired change in knowledge?". More recent works in dynamic epistemic logic, such as arbitrary public announcement logic [11] and group announcement logic [74], have considered logics for quantifying over epistemic updates. In principle these logics allow us to answer such questions using model-checking or satisfiability procedures, although these particular logics are undecidable [45, 3], and quantify over relatively restricted forms of epistemic updates.
In the present work we consider logics for quantifying over very general formsof epistemic updates: arbitrary action model logic, which quantities over actionmodels; and refinement modal logic, which quantities over refinements, whichhave a partial correspondence with the results of action models, but are moregeneral. We present sound and complete axiomatisations, expressivity results,and decidability results for these logics in various multi-agent modal settings.
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
Award date31 May 2016
StateUnpublished - 2016


View connections

ID: 9623127