Natural deduction system for linear time temporal logic

zbMATH Open1130.03013MaRDI QIDQ5436697FDOQ5436697

Authors:

Publication date: 17 January 2008

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

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• N system: A natural temporal deduction system
• A labelled natural deduction system for linear temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)