A Tableau for Bundled CTL

DOI10.1093/LOGCOM/EXL033MaRDI QIDQ3437260zbMATH OpenOpenAlexFDO

Authors Mark Alexander Reynolds

Publication date 14 May 2007

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exl033

zbMATH Keywords

branching-time logicfull computation tree logictableautemporal logictheorem proving

Mathematics Subject Classification ID

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

Recommendations

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• A tableau for bundled strategies
• A tableau-based decision procedure for CTL^*
• A Tableau for RoBCTL
• One-pass Context-based Tableaux Systems for CTL and ECTL
• Quantified CTL: expressiveness and complexity
• Extending CTL with Actions and Real Time
• Tableaux methods for access control in distributed systems
• A Refined Resolution Calculus for CTL

Cited in

(15)

• Sublogics of a branching time logic of robustness
• To be fair, use bundles
• A rooted tableau for \(\mathrm{BCTL}^*\)
• Decidability and expressivity of Ockhamist propositional dynamic logics
• Branching time? Pruning time!
• A history of until
• A tableau for bundled strategies
• One-Pass Tableaux for Computation Tree Logic
• A Tableau for RoBCTL
• A Labeled Natural Deduction System for a Fragment of CTL *
• A tableau-based decision procedure for CTL^*
• A natural deduction system for bundled branching time logic
• A faster tableau for \(\mathrm{CTL}^{\ast}\)
• Rewrite rules for \(\mathrm{CTL}^\ast\)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: A Tableau for Bundled CTL

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