Labelled tableaux for propositional linear time logic over finite frames

MaRDI QIDQ2701983zbMATH OpenFDO

Authors Serenella Cerrito, Marta Cialdea Mayer

Publication date 5 July 2001

zbMATH Keywords

finite modelproof-systempropositional linear time temporal logic over finite temporal framestableau calculustemporal constraints

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1405444
• A tableau calculus for first-order branching time logic
• A new rule for LTL tableaux
• Systematic semantic tableaux for PLTL
• scientific article; zbMATH DE number 1189100

Cited in

(8)

• A tableau construction for finite linear-time temporal logic
• Systematic semantic tableaux for PLTL
• A history of until
• Labelled tableaux for distributed temporal logic
• scientific article; zbMATH DE number 1189100 (Why is no real title available?)
• Semantic Labelled Tableaux for Propositional BI
• scientific article; zbMATH DE number 1405444 (Why is no real title available?)
• A new rule for LTL tableaux

This page was built for publication: Labelled tableaux for propositional linear time logic over finite frames

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