University of Calgary
UofC Navigation

Tableaux for reasoning about atomic updates


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)


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 Preprint

Download PDF