Advanced Logic Research