A Tableau for Bundled CTL
From MaRDI portal
Publication:3437260
DOI10.1093/logcom/exl033zbMath1177.03030OpenAlexW2127075564MaRDI QIDQ3437260
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
Related Items (11)
A Tableau for Bundled Strategies ⋮ Branching Time? Pruning Time! ⋮ A History of Until ⋮ To be fair, use bundles ⋮ A natural deduction system for bundled branching time logic ⋮ A tableau-based decision procedure for CTL\(^*\) ⋮ Sublogics of a branching time logic of robustness ⋮ Rewrite rules for \(\mathrm{CTL}^\ast\) ⋮ A Labeled Natural Deduction System for a Fragment of CTL * ⋮ A Rooted Tableau for BCTL* ⋮ Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
This page was built for publication: A Tableau for Bundled CTL