Reasoning in a restricted temporal logic

DOI10.1006/INCO.1993.1006MaRDI QIDQ1207955zbMATH OpenOpenAlexFDO

Authors S. Singh

Publication date 16 May 1993

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1993.1006

zbMATH Keywords

distributed systemssatisfiability\(\omega\)-regular languagesalwayseventuallyinterval modal logiclinear time propositional temporal logicreasoning about communication systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• On the expressive power of temporal logic
• scientific article; zbMATH DE number 1693545
• The decidability of RPTL
• scientific article; zbMATH DE number 1502114
• scientific article; zbMATH DE number 177509

Cited in

(16)

• scientific article; zbMATH DE number 1693545 (Why is no real title available?)
• Visibly linear temporal logic
• The decidability of RPTL
• scientific article; zbMATH DE number 7561320 (Why is no real title available?)
• The complexity of temporal logic over the reals
• Restrictions for loop-check in sequent calculus for temporal logic
• Temporal specifications with accumulative values
• An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
• Temporal theories of reasoning
• The complexity of the temporal logic with ``until over general linear time
• Regular Linear Temporal Logic
• Reasoning with temporal logic on truncated paths.
• Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
• Quantitative temporal logics over the reals: PSpace and below
• Automatic temporal verification of buffer systems
• scientific article; zbMATH DE number 1502114 (Why is no real title available?)

This page was built for publication: Reasoning in a restricted temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1207955)