Tractable depth-bounded logics and the problem of logical omniscience

MaRDI QIDQ3584010zbMATH OpenFDO

Authors Marcello D'Agostino

Publication date 18 August 2010

zbMATH Keywords

approximations to idealized reasoning agentdecision problemlogical omniscience

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Logical omniscience and the cost of deliberation
• Semantics and proof-theory of depth bounded Boolean logics
• Belief, awareness, and limited reasoning
• Epistemic logic and logical omniscience: A survey
• Dynamic Epistemic Logic and Logical Omniscience

Cited in

(13)

• A modal view on resource-bounded propositional logics
• The intensional structure of epistemic convictions
• Informational semantics, non-deterministic matrices and feasible deduction
• A formal approach to the problem of logical non-omniscience
• Semantics and proof-theory of depth bounded Boolean logics
• Information closure and the sceptical objection
• A logic-based tractable approximation of probability
• Depth-bounded Epistemic Logic
• Depth-bounded reasoning. Volume 1: classical propositional logic
• Hintikka's conception of syntheticity as the introduction of new individuals
• A logic for bounded multi-agent reasoning: deductive inference, introspection, and attribution
• The enduring scandal of deduction. Is propositional logic really uninformative?
• An informational view of classical logic

This page was built for publication: Tractable depth-bounded logics and the problem of logical omniscience

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