scientific article; zbMATH DE number 2053218

zbMath1046.68036MaRDI QIDQ4454845

Linh Anh Nguyen

Publication date: 8 March 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenessSLD-resolutionsoundnessfixpoint semanticsmodal logic programming

Mathematics Subject Classification ID

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

Related Items (3)

Multimodal logic programming ⋮ Unnamed Item ⋮ Completeness of hyper-resolution via the semantics of disjunctive logic programs

This page was built for publication: