# Happens-Before Reasoning

> Reasoning about event order using logical timestamps that respect the happens-before relation.

Record: `lexicon:happens-before-reasoning`
Kind: activity
Layer: [Causality Core](https://banes-lab.com/records/layer/causality-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-happens-before-reasoning

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Version Vector](https://banes-lab.com/records/lexicon/version-vector.md) and before [Logical Counter](https://banes-lab.com/records/lexicon/logical-counter.md).

## Category

- [Causality / Ordering / Distributed Time](https://banes-lab.com/records/lexicon-category/causality-ordering-distributed-time.md)

## Reinforced by

- [Lamport Clocks](https://banes-lab.com/records/architecture/lamport-clocks.md)

## Linked from

- [Causality / Ordering / Distributed Time](https://banes-lab.com/ontology/principles/architecture-category-causality-ordering-distributed-time.md)