The modal query language MDatalog

MaRDI QIDQ2762271zbMATH OpenFDO

Authors Linh Anh Nguyen

Publication date 8 January 2002

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

MDatalogmodal query language

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Database theory (68P15)

Recommendations

• Foundations of modal deductive databases
• The Data Complexity of MDatalog in Basic Modal Logics
• Inf-datalog, Modal Logic and Complexities
• scientific article; zbMATH DE number 2053218
• scientific article; zbMATH DE number 1501629

Cited in

(5)

• On temporal logic versus Datalog
• scientific article; zbMATH DE number 1501629 (Why is no real title available?)
• How an agent might think
• Foundations of modal deductive databases
• The Data Complexity of MDatalog in Basic Modal Logics

This page was built for publication: The modal query language MDatalog

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