Extending Depth-Bounded Reasoning to First-Order Logic

This paper discusses how the framework of Depth-Bounded Boolean Logics and their underlying informational approach can be extended to first-order logic, outlining an intuitive “informational” semantics for quantifiers, a corresponding hierarchy of approximations, and a proof-theoretical characterization via suitable natural deduction rules.