English edit

Noun edit

Kripke frames

  1. plural of Kripke frame