scientific article; zbMATH DE number 4201699

MaRDI QIDQ3350844zbMATH OpenFDO

Authors L. B. Nisenbojm

Publication date 1990

zbMATH Keywords

expert systemsknowledge about metric time relationslogic of metric time relationsmetric time logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Publication:4733377
• scientific article; zbMATH DE number 604725
• scientific article; zbMATH DE number 4127179
• Metric temporal reasoning with less than two clocks
• Tense logic and time

Cited in

(2)

• Some generalizations of the calculus of binary events
• scientific article; zbMATH DE number 4127179 (Why is no real title available?)

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