Page "Preorder" Paragraph 33
from
Wikipedia
* Preorders provide the Kripke semantics for certain types of modal logic.
Page 1 of 1.
2.512 seconds.
* Preorders provide the Kripke semantics for certain types of modal logic.
2.512 seconds.