Axiomatizing truth in a finite model
Abstract
Given a nite model, we build an axiomatic theory such that the propositions provable in this theory are those valid in the model. We sketch applications to automated theorem proving.
Origin : Files produced by the author(s)
Loading...