The undecidability of arbitrary arrow update logic.

Hans van Ditmarsch Wiebe van der Hoek Louwe B. Kuijer

Published in: Theor. Comput. Sci. (2017)

Keyphrases

multi valued
logic programming
description logics
modal logic
relational databases
computational properties
relational structures
probabilistic planning
proof theory
machine learning
database systems
xml documents
classical logic
answering queries
update operations
insertions and deletions