scientific article; zbMATH DE number 847978

MaRDI QIDQ4867025zbMATH OpenFDO

Authors

Publication date 27 August 1996

zbMATH Keywords

epistemic operatorsHintikka Paradigmknowledge-based reasoningsurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Publication:4867027
• scientific article; zbMATH DE number 1999226
• An epistemic operator for description logics
• scientific article; zbMATH DE number 824735
• Epistemic operators
• Epistemic logics with quantification over epistemic operators: decidability and expressiveness
• Epistemic argumentation framework: theory and computation
• Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
• Epistemic operators in dependence logic

Cited in

(1)

• Epistemic logic, monotonicity, and the Halbach-Welch rapprochement strategy

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 Q4867025)