scientific article; zbMATH DE number 1761430

zbMATH Open0988.68510MaRDI QIDQ4537451FDOQ4537451

Authors: Andreas Nonnengart 

Publication date: 30 June 2002

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

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

Mathematics Subject Classification ID

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

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)