An approach to infinitary temporal proof theory