scientific article; zbMATH DE number 2053218

zbMATH Open1046.68036MaRDI QIDQ4454845FDOQ4454845

Linh Anh Nguyen

Publication date: 8 March 2004

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

zbMATH Keywords

completenessfixpoint semanticssoundnessSLD-resolutionmodal logic programming

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Cited In (8)

• Title not available (Why is that?)
• Multimodal logic programming
• The modal query language MDatalog
• Logic Programming
• Specifying program properties using modal fixpoint logics: a survey of results
• Completeness of hyper-resolution via the semantics of disjunctive logic programs
• Title not available (Why is that?)
• SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing

   Recommendations

• Title not available (Why is that?) 👍 👎
• Resolution calculi for modal logics 👍 👎
• Resolution-based calculi for modal and temporal logics 👍 👎
• Modal fixed point logics 👍 👎
• Theoretical Aspects of Computing – ICTAC 2005 👍 👎
• Resolution-based methods for modal logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs 👍 👎

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