An approach to infinitary temporal proof theory.

Stefano Baratella Andrea Masini

Published in: Arch. Math. Log. (2004)

Keyphrases

proof theory
default reasoning
automated reasoning
temporal constraints
proof theoretic
temporal information
temporal reasoning
partial order
knowledge base
computational complexity
reasoning problems