Seminar: On the decidability of honesty and of its variants