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.
Extending Depth-Bounded Reasoning to First-Order Logic / M. D'Agostino, C. Larese, S. Modgil. - In: JOURNAL OF APPLIED LOGICS. - ISSN 2631-9829. - 12:6(2025), pp. 1415-1441.
Extending Depth-Bounded Reasoning to First-Order Logic
M. D'Agostino;C. Larese;
2025
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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ifcolog00074-44-70.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Licenza:
Creative commons
Dimensione
722.71 kB
Formato
Adobe PDF
|
722.71 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
