The logic of action lattices is undecidableтезисы доклада