Représenter l'espace en logique modale : un panorama - IRIT

Logique modale de la distance : système formel (MS(M))
Axiomes du calcul propositionnel A 1 , A 2 , A 3 et : (a ∈ M)
K’ A
≤ : A ≤a (φ → ψ) → (A ≤a φ → A ≤a ψ),
K’ A
> : A >a (φ → ψ) → (A >a φ → A >a ψ),
T A ≤0 : A ≤0 φ → φ,
T c :
A ≤0 φ → A ≤0 φ,
Diff : E ≤a A >0 φ → A >a φ,
U 1 : □ 0 φ → □ a φ,
U 2 : □ a φ → □ 0 φ,
4 □ : □ a φ → □ a □ a φ,
B □ : φ → □ a ♦ a φ,
38