English

edit

Noun

edit

Kripke models

  1. plural of Kripke model