scientific article; zbMATH DE number 1305046

MaRDI QIDQ4251979zbMATH OpenFDO

Authors R. I. Scott, M. D. Fisher, John Keane

Publication date 17 June 1999

zbMATH Keywords

automated theorem provingparallel processesshared memory parallel systemstemporal logictemporal tableau method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 7445165
• scientific article; zbMATH DE number 3937153
• scientific article; zbMATH DE number 47403
• A new rule for LTL tableaux
• A tableau for temporal logic over the reals

Cited in

(8)

• A decidable temporal logic of parallelism
• Temporalising tableaux
• Pardinus: a temporal relational model finder
• scientific article; zbMATH DE number 7445165 (Why is no real title available?)
• scientific article; zbMATH DE number 4070871 (Why is no real title available?)
• scientific article; zbMATH DE number 1341479 (Why is no real title available?)
• A tableau for temporal logic over the reals
• An improved on-the-fly tableau construction for a real-time 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 Q4251979)