Cross-Linguistic Modal Typology

Empirical modal inventories from 27 languages (17 families) mapped to the 3×3 force-flavor meaning space, following Imel, Guo, & @cite{imel-guo-steinert-threlkeld-2026}.

Mapping conventions (raw typological data → 3×3 grid)

• Force: weak → .possibility, strong → .necessity, weak necessity → .weakNecessity
• Flavor: epistemic → .epistemic, deontic → .deontic, circumstantial → .circumstantial, teleological → .circumstantial
• Bouletic, reportative, ability, intentional flavors are outside the 2×3 space and are dropped from the mapping.
• Only positive-polarity, can_express = 1 entries are included.

Data source

@cite{steinert-threlkeld-imel-guo-2023}. A database for modal semantic typology. https://clmbr.shane.st/modal-typology/

Abbreviations for the nine meaning points

def Phenomena.Modality.Typology.tlingit : Semantics.Modality.Typology.ModalInventory

Equations

• One or more equations did not get rendered due to their size.

theorem Phenomena.Modality.Typology.tlingit_all_iff : tlingit.allIFF = true

theorem Phenomena.Modality.Typology.tlingit_size : tlingit.size = 5

theorem Phenomena.Modality.Typology.tlingit_has_synonymy : tlingit.hasSynonymy = true

def Phenomena.Modality.Typology.javanese : Semantics.Modality.Typology.ModalInventory

Equations

• One or more equations did not get rendered due to their size.

theorem Phenomena.Modality.Typology.javanese_all_iff : javanese.allIFF = true

theorem Phenomena.Modality.Typology.javanese_size : javanese.size = 7

def Phenomena.Modality.Typology.gitksan : Semantics.Modality.Typology.ModalInventory

Gitksan has variable-force modals: ima('a) and gat express both weak and strong epistemic force. These satisfy SAV (varying on force only, single flavor) and IFF (since {poss, nec} × {epistemic} is a Cartesian product).

Equations

• One or more equations did not get rendered due to their size.

theorem Phenomena.Modality.Typology.gitksan_all_iff : gitksan.allIFF = true

theorem Phenomena.Modality.Typology.gitksan_size : gitksan.size = 5

theorem Phenomena.Modality.Typology.gitksan_ima_sav : Semantics.Modality.Typology.satisfiesSAV [Phenomena.Modality.Typology.pe✝, Phenomena.Modality.Typology.ne✝] = true

Gitksan's variable-force epistemic modals satisfy both SAV and IFF: {poss, nec} × {epistemic} varies on force only (single flavor).

theorem Phenomena.Modality.Typology.gitksan_ima_is_iff : Semantics.Modality.Typology.satisfiesIFF [Phenomena.Modality.Typology.pe✝, Phenomena.Modality.Typology.ne✝] = true

theorem Phenomena.Modality.Typology.prepei_not_sav : Semantics.Modality.Typology.satisfiesSAV [Phenomena.Modality.Typology.ne✝, Phenomena.Modality.Typology.pe✝, Phenomena.Modality.Typology.nd✝, Phenomena.Modality.Typology.nc✝] = false

Greek's Prepei violates SAV: it varies on both force and flavor axes.

def Phenomena.Modality.Typology.korean : Semantics.Modality.Typology.ModalInventory

Equations

• One or more equations did not get rendered due to their size.

theorem Phenomena.Modality.Typology.korean_all_iff : korean.allIFF = true

theorem Phenomena.Modality.Typology.korean_size : korean.size = 10

def Phenomena.Modality.Typology.greek : Semantics.Modality.Typology.ModalInventory

Greek has non-IFF modals: Prepei and Mporei express non-rectangular subsets of the meaning space. Prepei covers {(nec,e),(poss,e),(nec,d),(nec,c)} which is NOT a Cartesian product (missing (poss,d) and (poss,c)).

Equations

• One or more equations did not get rendered due to their size.

theorem Phenomena.Modality.Typology.greek_not_all_iff : greek.allIFF = false

theorem Phenomena.Modality.Typology.greek_size : greek.size = 3

theorem Phenomena.Modality.Typology.greek_iff_count : greek.iffCount = 1

theorem Phenomena.Modality.Typology.greek_prepei_not_iff : Semantics.Modality.Typology.satisfiesIFF [Phenomena.Modality.Typology.ne✝, Phenomena.Modality.Typology.pe✝, Phenomena.Modality.Typology.nd✝, Phenomena.Modality.Typology.nc✝] = false

Prepei is NOT IFF: it expresses both forces and all three flavors, but does not express (possibility, deontic) or (possibility, circumstantial).

def Phenomena.Modality.Typology.mandarin : Semantics.Modality.Typology.ModalInventory

Mandarin has many modals, extensive synonymy, but all satisfy IFF. The paper notes Mandarin has three modals all encoding strong ∧ epistemic.

Equations

• One or more equations did not get rendered due to their size.

theorem Phenomena.Modality.Typology.mandarin_all_iff : mandarin.allIFF = true

theorem Phenomena.Modality.Typology.mandarin_size : mandarin.size = 12

theorem Phenomena.Modality.Typology.mandarin_has_synonymy : mandarin.hasSynonymy = true

def Phenomena.Modality.Typology.dutch : Semantics.Modality.Typology.ModalInventory

Dutch has one non-IFF modal: zou/zouden...kunnen expresses {(nec,e),(poss,e),(poss,c)} which is not Cartesian-closed (missing (nec,c)).

Equations

• One or more equations did not get rendered due to their size.

theorem Phenomena.Modality.Typology.dutch_not_all_iff : dutch.allIFF = false

theorem Phenomena.Modality.Typology.dutch_size : dutch.size = 10

theorem Phenomena.Modality.Typology.dutch_iff_count : dutch.iffCount = 9

def Phenomena.Modality.Typology.hungarian : Semantics.Modality.Typology.ModalInventory

Equations

• One or more equations did not get rendered due to their size.

theorem Phenomena.Modality.Typology.hungarian_all_iff : hungarian.allIFF = true

theorem Phenomena.Modality.Typology.hungarian_size : hungarian.size = 8

def Phenomena.Modality.Typology.english : Semantics.Modality.Typology.ModalInventory

English modal inventory, derived from the Fragment (single source of truth). Uses ModalInventory.fromAuxEntries to extract modals from AuxEntry data.

Equations

• One or more equations did not get rendered due to their size.

theorem Phenomena.Modality.Typology.english_all_iff : english.allIFF = true

theorem Phenomena.Modality.Typology.english_size : english.size = 9

def Phenomena.Modality.Typology.allInventories : List Semantics.Modality.Typology.ModalInventory

All ten inventories.

Equations

• One or more equations did not get rendered due to their size.

theorem Phenomena.Modality.Typology.eight_of_ten_perfect_iff : (List.filter (fun (x : Semantics.Modality.Typology.ModalInventory) => x.allIFF) allInventories).length = 8

Eight of ten encoded languages have perfect IFF degree (1.0).

theorem Phenomena.Modality.Typology.all_have_some_iff : (allInventories.all fun (inv : Semantics.Modality.Typology.ModalInventory) => decide (inv.iffCount > 0)) = true

All nine languages have IFF degree ≥ 1/3 (the minimum is Greek at 1/3).

Efficient Communication (Imel, Guo, & @cite{imel-guo-steinert-threlkeld-2026})

Key computational results (verified over 32,301 generated + 27 natural languages):

1. Every Pareto-optimal modal system consists only of IFF modals.
2. IFF degree correlates positively with simplicity, informativeness, and Pareto-optimality.
3. Attested modal systems are more Pareto-optimal than the vast majority of hypothetically possible systems (mean optimality: 0.937 vs 0.776).

def Phenomena.Modality.Typology.naturalMeanOptimality : Float

Mean Pareto-optimality of natural languages (Table 6).

Equations

• Phenomena.Modality.Typology.naturalMeanOptimality = 0.937

def Phenomena.Modality.Typology.populationMeanOptimality : Float

Mean Pareto-optimality of the generated population (Table 6).

Equations

• Phenomena.Modality.Typology.populationMeanOptimality = 0.776

theorem Phenomena.Modality.Typology.natural_more_optimal : naturalMeanOptimality > populationMeanOptimality