scientific article; zbMATH DE number 140370

zbMATH Open0825.68584MaRDI QIDQ4028772FDOQ4028772

Authors:

Publication date: 28 March 1993

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (5)

• Handling database updates in two-dimensional temporal logic
• Temporal representation and reasoning in artificial intelligence: A review
• A transformation-based synthesis of temporal specification
• Linear temporal logic as an executable semantics for planning languages
• MetateM: An introduction

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