RT Book, Section T1 Towards a formal model of the dual structure of practical reasoning. A1 Yuste-Ginel, Antonio A2 Aucher, Guillaume A2 Lang, Jerôme A2 De Lima, Tiago A2 Lorini, Emiliano K1 Lógica simbólica y matemática K1 Razonamiento cualitativo AB There is an idea at the core of Bratman's theory of intentions that has been systematically ignored by formal accounts: practical reasoning is two-dimensional. In the first level, agents reason from prior intentions towards more concrete ones (from ends to means). In the second level, agents engage in a deliberative process to choose among several alternative means. This paper proposes a formal model of this two-level system based on previous work on the database approach to intentions. PB College Publications YR 2025 FD 2025 LK https://hdl.handle.net/10630/41093 UL https://hdl.handle.net/10630/41093 LA eng NO A. Yuste-Ginel. “Towards a formal model of the dual structure of practical reasoning”. In G. Aucher, J. Lang, T. de Lima and E. Lorini (eds.). Festschrift for Andreas Herzig on the Occasion of his 65th Birthday. Essays in Honor of Andi. College Publications. NO https://www.collegepublications.co.uk/about/ "College Publications does not take copyright and authors are free to use their material elsewhere, and even to put the book on the web once sales have achieved profitability." DS RIUMA. Repositorio Institucional de la Universidad de Málaga RD 19 ene 2026