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

• First order linear temporal logic over finite time structures
• A tableau calculus for first-order branching time logic
• A new rule for LTL tableaux
• Systematic semantic tableaux for PLTL
• Bounded model search in linear temporal logic and its application to planning

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
• Bounded model search in linear temporal logic and its application to planning
• Semantic Labelled Tableaux for Propositional BI
• First order linear temporal logic over finite time structures
• 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)