Tractable depth-bounded logics and the problem of logical omniscience

MaRDI QIDQ3584010zbMATH OpenFDO

Authors Marcello D'Agostino

Publication date 18 August 2010

zbMATH Keywords

logical omnisciencedecision problemapproximations to idealized reasoning agent

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

(11)

• Semantics and proof-theory of depth bounded Boolean logics
• The intensional structure of epistemic convictions
• A logic-based tractable approximation of probability
• The enduring scandal of deduction. Is propositional logic really uninformative?
• Informational semantics, non-deterministic matrices and feasible deduction
• A formal approach to the problem of logical non-omniscience
• An informational view of classical logic
• Depth-bounded reasoning. Volume 1: classical propositional logic
• Depth-bounded Epistemic Logic
• Information closure and the sceptical objection
• A modal view on resource-bounded propositional logics

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)