scientific article; zbMATH DE number 3862427

MaRDI QIDQ3330496zbMATH OpenFDO

Authors Ben Moszkowski, Zohar Manna

Publication date 1984

zbMATH Keywords

control structuresinterval temporal logicLucidprogramming languagesPrologreasoningspecification

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4119670
• scientific article; zbMATH DE number 4082943
• scientific article; zbMATH DE number 4076583
• scientific article; zbMATH DE number 3889506
• Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals

Cited in

(32)

• Timed network games
• Compositional reasoning using intervals and time reversal
• On coarser interval temporal logics
• An application of temporal projection to interleaving concurrency
• Interconnections between classes of sequentially compositional temporal formulas
• On modal logic of deductive closure
• Logic of subtyping
• Interleaving set temporal logic
• Unified temporal logic
• Planning from second principles
• Temporal reasoning based on semi-intervals
• Interval-related interpolation in interval temporal logics
• scientific article; zbMATH DE number 1696444 (Why is no real title available?)
• A complete axiom system for propositional interval temporal logic with infinite time
• scientific article; zbMATH DE number 3889506 (Why is no real title available?)
• Symbolic model checking for alternating projection temporal logic
• scientific article; zbMATH DE number 4170874 (Why is no real title available?)
• Parametric Metric Interval Temporal Logic
• A propositional modal logic of time intervals
• scientific article; zbMATH DE number 1117897 (Why is no real title available?)
• scientific article; zbMATH DE number 1372679 (Why is no real title available?)
• Temporal theories of reasoning
• scientific article; zbMATH DE number 810105 (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?)
• Timed network games with clocks
• Convolution and concurrency
• Interval Temporal Logic Semantics of Box Algebra
• Separation Logic Semantics for Communicating Processes
• Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
• An interval temporal logic characterization of extended \(\omega\)-regular languages

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