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.

[img]
Preview
PDF - Published Version
Download (801kB)

Abstract

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: School of Information Technology
Publisher: Association for Symbolic Logic
Copyright: © Association for Symbolic Logic
Publishers Website: http://www.aslonline.org/journals-journal.html
URI: http://researchrepository.murdoch.edu.au/id/eprint/12272
Item Control Page Item Control Page

Downloads

Downloads per month over past year