Predicate expanding transformations

[Masolo]: f can replace predicate symbols by arbitrary formulas.

Equivalent to articulation axioms/interpretations.

W

f(W)

FOL

FOL

f

"d, W FOL d => f(W) FOLf(d)

Diapositive prÈcÈdente

Diapositive suivante

Revenir ý la premiËre diapositive

Afficher la version graphique