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 \(\alpha\) of a database is an atomic update of a state \(\beta\) if at most one atomic statement is evaluated differently in \(\alpha\) compared to \(\beta\). 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.

DOI: 10.1007/3-540-45653-8_44


Leave a Reply

Your email address will not be published. Required fields are marked *