scientific article; zbMATH DE number 1761430

zbMATH Open0988.68510MaRDI QIDQ4537451FDOQ4537451

Authors Andreas Nonnengart 

Publication date 30 June 2002

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 4035208
• Multimodal logic programming using equational and order-sorted logic
• scientific article; zbMATH DE number 2053218
• Logic Programming
• MOLOG: A system that extends PROLOG with modal logic

Cited In (2)

• Multimodal logic programming
• Resolution-based calculi for modal and temporal logics

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