scientific article; zbMATH DE number 1754683

MaRDI QIDQ4535111zbMATH OpenFDO

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

Publication date 2001

zbMATH Keywords

nonmonotonic logicreasoning pattern

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Temporalizing epistemic default logic
• Formal semantics of meta-level architectures: Temporal epistemic reflection
• scientific article; zbMATH DE number 1754682
• scientific article; zbMATH DE number 1754689
• Minimal temporal epistemic logic

Cited in

(6)

• scientific article; zbMATH DE number 1754689 (Why is no real title available?)
• Taming the Complexity of Temporal Epistemic Reasoning
• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
• Formal semantics of meta-level architectures: Temporal epistemic reflection
• scientific article; zbMATH DE number 1754682 (Why is no real title available?)
• Formal semantics of meta-level architectures: Dynamic control of 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 Q4535111)