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