Update Logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2013

Update Logic

Abstract

We introduce a two-sorted substructural logic called 'Update Logic' where the central objects of study are updates, which are represented formally by ternary relations. We develop a basic correspondence theory which relates properties of ternary relations with axioms and inference rules stating properties of updates. We claim that update logic can capture various logic-based formalisms dealing with belief change. As case study, we consider the logical framework of Dynamic Epistemic Logic (DEL) and we show that we can embed it within update logic. Also, we identify axioms and inference rules that completely characterize the DEL product update. Moreover, we introduce Gentzen calculi which extend Gentzen calculi for modal logic and which axiomatize our update logic and DEL. Our completeness proof techniques are new compared to the standard proof techniques used to prove completeness of Gentzen calculi. Our contributions to proof theory are independent from our contributions to the study of logical dynamics and can also be read independently.
Fichier principal
Vignette du fichier
RR8341.pdf (928.02 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00849856 , version 1 (01-08-2013)

Identifiers

  • HAL Id : hal-00849856 , version 1

Cite

Guillaume Aucher. Update Logic. [Research Report] RR-8341, INRIA. 2013. ⟨hal-00849856⟩
346 View
159 Download

Share

Gmail Facebook X LinkedIn More