scientific article; zbMATH DE number 1765665

zbMATH Open0988.03018MaRDI QIDQ4539601FDOQ4539601

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

• Loop-type sequent calculi for temporal logic
• A decision procedure for nonperiodic sequents of the first-order linear temporal logic
• Title not available (Why is that?)
• Finite sequent calculi for PLTL
• Title not available (Why is that?)

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)