scientific article; zbMATH DE number 1182728

MaRDI QIDQ4400800zbMATH OpenFDO

Authors Jan Chomicki, David Toman

Publication date 1 March 2001

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Database theory (68P15)

Cited in

(9)

• Axiomatizing the monodic fragment of first-order temporal logic
• On coarser interval temporal logics
• Evolving objects in temporal information systems
• A survey on temporal logics for specifying and verifying real-time systems
• Temporal logics of knowledge and their applications in security
• Foundations of Temporal Conceptual Data Models
• Dealing with temporal indeterminacy in relational databases: an AI methodology
• Databases and artificial intelligence
• Reasoning on temporal class diagrams: Undecidability results

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