FO(FD): Extending classical logic with rule-based fixpoint definitions

Hou Ping, Broes De Cat, Marc Denecker

We introduce fixpoint definitions, a rule-based reformulation of fixpoint constructs. The logic FO(FD), an extension of classical logic with fixpoint definitions, is defined. We il…