Tractable depth-bounded logics and the problem of logical omniscience

zbMATH Open1206.03018MaRDI QIDQ3584010FDOQ3584010

Authors: Marcello D'Agostino 

Publication date: 18 August 2010

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

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)

Cited In (10)

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

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)