A
free logic is a
logic with fewer
existential presuppositions than classical logic. Free logics may allow for
terms that do not denote any object. Free logics may also allow
models that have an
empty domain. A free logic with the latter property is an
inclusive logic.