Temporalizing epistemic default logic

DOI10.1023/A:1008264012385MaRDI QIDQ1289106zbMATH OpenOpenAlexFDO

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

Publication date 29 September 1999

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008264012385

zbMATH Keywords

nonmonotonic reasoningsemanticsbranching-time temporal logictemporal modelsepistemic default logiclabeled branching treesmeta-level architecturenonmonotonic entailment relationtemporal models for default reasoning

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1754683
• scientific article; zbMATH DE number 1754689
• An interpretation of default logic in minimal temporal epistemic logic
• Temporal theories of reasoning

Cited in

(8)

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

This page was built for publication: Temporalizing epistemic default logic

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