A predicate logic for the harmonised European interlocking specification (RR-STG-D-POS-RP-001)

A formal, logic-based calculus derived from the harmonised description of the shared features of European interlocking systems is proposed. It is developed in a form intended to capture the legacies of different railway administrations in a single axiomatic theory of interlocking - from which differences of implementation practice and area-specific...