University of Calgary
UofC Navigation

Tableaux for reasoning about atomic updates

This website has moved!

You are looking at an archived page. The website has moved to richardzach.org.

Source

Logic for Programming, Artificial Intelligence, and Reasoning. 8th International Conference, LPAR 2001. Proceedings, LNAI 2250. (Springer, Berlin, 2001) 639-653
(with Christian G. Fermüller and Georg Moser)

Abstract

A simple model of dynamic databases is studied from a modal logic perspecitve. A state ? of a database is an atomic update of a state ? if at most one atomic statement is evaluated differently in ? compared to ?. The corresponding restriction on Kripke-like structures yields so-called update logics. These logics are studied also in a many-valued context. Adequate tableau calculi are given.

Download from SpringerLink

Download

Download Preprint

Download PDF