Murdoch University Research Repository

Welcome to the Murdoch University Research Repository

The Murdoch University Research Repository is an open access digital collection of research
created by Murdoch University staff, researchers and postgraduate students.

Learn more

An axiomatization of full computation tree logic

Reynolds, M. (2001) An axiomatization of full computation tree logic. Journal of Symbolic Logic, 66 (3). pp. 1011-1057.

PDF - Published Version
Download (801kB)


We give a sound and complete axiomatization for the full computation tree logic, CTL*, of R-generable models. This solves a long standing open problem in branching time temporal logic.

Item Type: Journal Article
Murdoch Affiliation(s): School of Information Technology
Publisher: Association for Symbolic Logic
Copyright: © Association for Symbolic Logic
Publisher's Website:
Item Control Page Item Control Page


Downloads per month over past year