The Undecidability of Arbitrary Arrow Update Logic.

Hans van Ditmarsch Wiebe van der Hoek Louwe B. Kuijer

Published in: CoRR (2016)

Keyphrases

multi valued
description logics
logic programming
formal theory
modal logic
asynchronous circuits
probabilistic planning
proof theory
relational structures
set theory
sound and complete axiomatization
predicate logic
digital circuits
database
answering queries
logical framework
genetic algorithm