Natural deduction system for linear time temporal logic

MaRDI QIDQ5436697zbMATH OpenFDO

Authors

Publication date 17 January 2008

Mathematics Subject Classification ID

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

Recommendations

• Natural Deduction Calculus for Linear-Time Temporal Logic
• N system: A natural temporal deduction system
• A labelled natural deduction system for linear temporal logic
• PTL sequent calculus system
• scientific article; zbMATH DE number 3904560

Cited in

(7)

• scientific article; zbMATH DE number 724630 (Why is no real title available?)
• scientific article; zbMATH DE number 2015275 (Why is no real title available?)
• N system: A natural temporal deduction system
• A labelled natural deduction system for linear temporal logic
• scientific article; zbMATH DE number 3904560 (Why is no real title available?)
• scientific article; zbMATH DE number 1536570 (Why is no real title available?)
• Natural Deduction Calculus for Linear-Time Temporal Logic

This page was built for publication: Natural deduction system for linear time temporal logic

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