scientific article; zbMATH DE number 4185055

zbMATH Open0718.68064MaRDI QIDQ5750421FDOQ5750421

Mira Balaban, Neil V. Murray

Publication date: 1989

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

zbMATH Keywords

first-order logiclogic of time structuresnon-monotonic featuresShoham's temporal logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45)

Cited In (1)

• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Programming in temporal-nonmonotonic reasoning 👍 👎
• Temporal patterns and modal structure 👍 👎
• Temporal logics in AI: semantical and ontological considerations 👍 👎

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