scientific article; zbMATH DE number 3889506

MaRDI QIDQ3221966zbMATH OpenFDO

Authors Richard L. Schwartz, Friedrich H. Vogt, P. M. Melliar-Smith

Publication date 1984

zbMATH Keywords

higher level primitivelogic operatorsspecificationstemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 810105
• scientific article; zbMATH DE number 3862427
• A propositional modal logic of time intervals
• A general tableau method for propositional interval temporal logics
• scientific article; zbMATH DE number 4082943

Cited in

(40)

• Temporal logics in AI: semantical and ontological considerations
• Towards the minimum set of primitive relations in temporal logic
• Mexitl: Multimedia in executable interval temporal logic
• Event-based time-stamped claim logic
• Compositional reasoning using intervals and time reversal
• On coarser interval temporal logics
• Time window temporal logic
• An event-based fragment of first-order logic over intervals
• Temporal reasoning based on semi-intervals
• Interval-related interpolation in interval temporal logics
• Prompt interval temporal logic
• An interval logic for natural language semantics
• Modal logic of time division
• scientific article; zbMATH DE number 3848604 (Why is no real title available?)
• scientific article; zbMATH DE number 3862427 (Why is no real title available?)
• The interval representation problem
• scientific article; zbMATH DE number 4170874 (Why is no real title available?)
• Parametric Metric Interval Temporal Logic
• Actions with Failures in Interval Temporal Logic
• scientific article; zbMATH DE number 3924682 (Why is no real title available?)
• scientific article; zbMATH DE number 4087634 (Why is no real title available?)
• scientific article; zbMATH DE number 4108200 (Why is no real title available?)
• scientific article; zbMATH DE number 1348465 (Why is no real title available?)
• A propositional modal logic of time intervals
• scientific article; zbMATH DE number 1117897 (Why is no real title available?)
• scientific article; zbMATH DE number 2080056 (Why is no real title available?)
• scientific article; zbMATH DE number 1536556 (Why is no real title available?)
• Segmenting temporal intervals for tense and aspect
• scientific article; zbMATH DE number 810105 (Why is no real title available?)
• scientific article; zbMATH DE number 834564 (Why is no real title available?)
• scientific article; zbMATH DE number 834565 (Why is no real title available?)
• scientific article; zbMATH DE number 6131597 (Why is no real title available?)
• scientific article; zbMATH DE number 1424033 (Why is no real title available?)
• scientific article; zbMATH DE number 1444739 (Why is no real title available?)
• scientific article; zbMATH DE number 1444743 (Why is no real title available?)
• One way to determine the intervals in hybrid temporal logic
• Interval Temporal Logic Semantics of Box Algebra
• Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
• A Road Map of Interval Temporal Logics and Duration Calculi
• A generalized nexttime operator in temporal logic

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