The Logic of Action Lattices is Undecidable.

Stepan L. Kuznetsov

Published in: LICS (2019)

Keyphrases

boolean algebra
transition systems
automated reasoning
reasoning about actions
classical logic
modal logic
logic programming
action theories
epistemic logic
deontic logic
human actions
deductive databases
situation calculus
database
multi valued
np complete
sufficient conditions
spatio temporal