Q2462350

From Wikidata
Jump to: navigation, search

Kripke semantics(Q2462350)

No description defined yet
    No aliases defined.
[edit]
Language Label Description Also known as
English
Kripke semantics
No description defined yet

    Statements

    Kripke models
    0 references
    /m/03p60w
    1 reference
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]