scientific article; zbMATH DE number 1754689

MaRDI QIDQ4535117zbMATH OpenFDO

Authors Wiebe van der Hoek, Jan Treur, John-Jules Meyer

Publication date 4 November 2002

zbMATH Keywords

entailment relationsepistemic default logiclabeled branching time temporalizationtemporal models

Mathematics Subject Classification ID

Temporal logic (03B44) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• Temporalizing epistemic default logic
• Minimal temporal epistemic logic
• scientific article; zbMATH DE number 1754688
• An interpretation of default logic in minimal temporal epistemic logic
• scientific article; zbMATH DE number 1754683

Cited in

(9)

• Temporalizing epistemic default logic
• Temporal multi-valued logic with lost worlds in the past
• Minimal temporal epistemic logic
• Formal semantics of meta-level architectures: Temporal epistemic reflection
• Taming the Complexity of Temporal Epistemic Reasoning
• Resolution for temporal logics of knowledge
• scientific article; zbMATH DE number 1754683 (Why is no real title available?)
• scientific article; zbMATH DE number 1754686 (Why is no real title available?)
• Temporal defeasible reasoning

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