Patrick Blackburn Sébastien Hinderer Generating models for temporal representations http://arxiv.org/abs/0710.2852 2007 CoRR abs/0710.2852 db/journals/corr/corr0710.html#abs-0710-2852 informal publication