scientific article; zbMATH DE number 834565

MaRDI QIDQ4860652zbMATH OpenFDO

Authors Renwei Li, José Carmo

Publication date 1995

zbMATH Keywords

completenesstime intervalsmodal operatorstemporal databasestemporal informationabsolute and relative temporal referencesinterval-based positional logicpositional operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Database theory (68P15) Logic in artificial intelligence (68T27)

Recommendations

• Expressiveness and completeness of an interval tense logic
• Completeness of temporal logics over infinite intervals.
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
• scientific article; zbMATH DE number 1670826
• scientific article; zbMATH DE number 3889506

Cited in

(1)

• Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption

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