An abstract fixed-point theorem for Horn formula equations

Stefan Hetzl, Johannes Kloibhofer

We consider a class of formula equations in first-order logic, Horn formula equations, which are defined by a syntactic restriction on the occurrences of predicate variables. Horn…