Title: Kirkpatrick Sets and Logic Module