Kripke model
Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Kripke model
Redirect to:
Kripke semantics#Basic definition
To a section
: This is a redirect from a topic that does not have its own page to a
section
of a page on the subject. For redirects to
embedded anchors
on a page, use
{{
R to anchor
}}
instead
.
Previous Page
Next Page