Depth-bounded reasoning. Volume 1: classical propositional logic

MaRDI QIDQ6535861zbMATH OpenFDO

Authors Marcello D'Agostino, Dov Gabbay, Costanza Larese, Sanjay Modgil

Publication date 1 March 2024

Published in Studies in Logic (London) (Search for Journal in Brave)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Tractable depth-bounded logics and the problem of logical omniscience
• A modal view on resource-bounded propositional logics
• The effort of reasoning: modelling the inference steps of boundedly rational agents
• The effort of reasoning: modelling the inference steps of boundedly rational agents
• An informational view of classical logic

Cited in

(1)

• A modal view on resource-bounded propositional logics

This page was built for publication: Depth-bounded reasoning. Volume 1: classical propositional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535861)