scientific article; zbMATH DE number 834565

zbMATH Open0838.03015MaRDI QIDQ4860652FDOQ4860652

Authors: Renwei Li, José Carmo 

Publication date: 1995

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

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

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)

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)