ByNobleID
    Partial logic in a model-theoretic approach. Ehrenfeucht games with incomplete information | NobleID