A Tableau for Bundled CTL

@article{Reynolds2006ATF,
  title={A Tableau for Bundled CTL},
  author={Mark Reynolds},
  journal={J. Log. Comput.},
  year={2006},
  volume={17},
  pages={117-132}
}
We present a sound, complete and relatively straightforward tableau method for deciding valid formulas in the propositional version of the bundled (or suffix and fusion closed) computation tree logic BCTL*. This proves that BCTL* is decidable. It is also moderately useful to have a tableau available for a reasonably expressive branchingtime temporal logic. However, the main interest in this should be that it leads us closer to being able to devise a tableau-based technique for theorem-proving… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 17 CITATIONS

To be fair, use bundles

  • Annals of Mathematics and Artificial Intelligence
  • 2017
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Verification of Rewrite Rules for Computation Tree Logics

  • 2014 21st International Symposium on Temporal Representation and Reasoning
  • 2014
VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A Tableau for the Combination of CTL and BCTL

  • 2012 19th International Symposium on Temporal Representation and Reasoning
  • 2012
VIEW 12 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

A Rooted Tableau for BCTL*

  • Electr. Notes Theor. Comput. Sci.
  • 2011
VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A Labeled Natural Deduction System for a Fragment of CTL*

VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Tableau for CTL

VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A Tableau for RoBCTL*

VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Resolution for a Temporal Logic of Robustness ( Extended Version )

Clare Dixon, M JohnC., Cabe-Dansted
  • 2008
VIEW 18 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Decidability and Expressivity of Ockhamist Propositional Dynamic Logics

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Fairness with EXPTIME Bundled CTL Tableau

  • 2014 21st International Symposium on Temporal Representation and Reasoning
  • 2014
VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…