scientific article; zbMATH DE number 1501629

MaRDI QIDQ4500376zbMATH OpenFDO

Authors Linh Anh Nguyen

Publication date 11 January 2001

zbMATH Keywords

first-order logicmodal logicmodal logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
• scientific article; zbMATH DE number 5295720
• scientific article; zbMATH DE number 2053218
• On the complexity of fragments of modal logics
• The modal query language MDatalog

Cited in

(7)

• Multimodal logic programming
• The modal query language MDatalog
• Finitary \(\mathbf {S5}\)-theories
• scientific article; zbMATH DE number 6917935 (Why is no real title available?)
• VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
• Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
• Interpersonal independence of knowledge and belief

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