Revision history of "Kripke semantics"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 13:31, 31 August 2016Karl Jones (Talk | contribs). . (1,057 bytes) (+1,057). . (Created page with "'''Kripke semantics''' (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical...")