D’Agostino, M., Larese, C., & Modgil, S. (2025). Extending Depth-Bounded Reasoning to First-order Logic. Journal of Applied Logics: The IfCoLog Journal of Logics and their Applications, 12(6), 1415–1441.
Abstract: 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.