University of Calgary
UofC Navigation

Tableaux for reasoning about atomic updates

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