Documentation

Incompleteness.ProvabilityLogic.Basic

Mapping modal prop vars to first-order sentence

Equations
Instances For

    Mapping modal formulae to first-order sentence

    Equations
    Instances For