scientific article; zbMATH DE number 140401

MaRDI QIDQ4028810zbMATH OpenFDO

Authors Gerhard Lakemeyer

Publication date 28 March 1993

zbMATH Keywords

epistemic stateslogic BL

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A suitable semantics for implicit and explicit belief
• Dynamic epistemic logic for implicit and explicit beliefs
• scientific article; zbMATH DE number 221548
• Explicit and implicit knowledge in neighbourhood models
• scientific article; zbMATH DE number 7368429

Cited in

(7)

• Limited reasoning in first-order knowledge bases with full introspection
• Dynamic epistemic logic for implicit and explicit beliefs
• A semantics for reasoning consistently in the presence of inconsistency
• Explicit and implicit knowledge in neighbourhood models
• scientific article; zbMATH DE number 1517022 (Why is no real title available?)
• On the factivity of implicit intersubjective knowledge
• A suitable semantics for implicit and explicit belief

This page was built for publication:

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