scientific article; zbMATH DE number 1765665

MaRDI QIDQ4539601zbMATH OpenFDO

Authors R. Pliuškevičius

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830107

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Recommendations

• A decision procedure for nonperiodic sequents of the first-order linear temporal logic
• scientific article; zbMATH DE number 3974944
• scientific article; zbMATH DE number 1696818
• scientific article; zbMATH DE number 1950255
• scientific article; zbMATH DE number 3871318

Cited in

(5)

• scientific article; zbMATH DE number 2109542 (Why is no real title available?)
• scientific article; zbMATH DE number 1696818 (Why is no real title available?)
• Finite sequent calculi for PLTL
• Loop-type sequent calculi for temporal logic
• A decision procedure for nonperiodic sequents of the first-order linear 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 Q4539601)