A Tableau for Bundled CTL

DOI10.1093/logcom/exl033zbMath1177.03030OpenAlexW2127075564MaRDI QIDQ3437260

M. A. 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

theorem provingtemporal logictableaubranching-time logicfull computation tree logic

Mathematics Subject Classification ID

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

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