English edit

Noun edit

Kripke models

  1. plural of Kripke model