Abstract
In this dissertation, we investigate various sorts of reasoning on finite structures and theories in the logic FO(·), a rich extension of classical logic with, amongst others, inductive definitions and aggregates. In particular, we study the tasks of constraint propagation, grounding, model revision, and debugging for FO(·).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have