P. Madhusudan

A First-Order Logic with Frames

2019 · arXiv (Cornell University)

We propose a novel logic, called Frame Logic (FL), that extends first-order logic (with recursive definitions) using a construct Sp(.) that captures the implicit supports of formulas -- the precise subset of the universe upon …