Abstract
We put forward a proposal for logics handling both non-monotonic reasoning and boundedly rational agents. We propose a hierarchy of depth-bounded non-monotonic logics. As the parameter k, which controls the level of reasoning depth, increases, non-monotonicity decreases while inferential power, in a classical sense, increases. Ultimately, these logics aim to provide non-monotonic approximations of classical logic. We present arguments and evidence supporting the adoption of this framework.

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Copyright (c) 2025 Paolo Baldi, Fabio Aurelio D'Asaro