Kripke frames (English, noun)
expansion: Kripke frames
Senses:
glosses: plural of Kripke frame
tags: form-of
plural
Forms: