scientific article; zbMATH DE number 1754683

zbMATH Open1051.68126MaRDI QIDQ4535111FDOQ4535111

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

Publication date: 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

nonmonotonic logicreasoning pattern

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (6)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)