15 citations · 36 across the 13 of their papers we have counts for
1 paper · 2 filters
Krzysztof R. Apt, Marc Bezem
We provide here a computational interpretation of first-order logic based on a constructive interpretation of satisfiability w.r.t. a fixed but arbitrary interpretation. In this ap…