Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Classic model relation versus the Kripke model relation

  1. Mar 29, 2015 #1
    Looking at an exposition of Kripke semantics, the relationship ||- in a Kripke model is obviously supposed to be similar to the model relation |= . A possible world (a node) looks suspiciously like a model for second-order formulas. But of course it cannot be this simple. What is the connection, if any, between ||- and |= ?
  2. jcsd
  3. Apr 3, 2015 #2
    Thanks for the post! This is an automated courtesy bump. Sorry you aren't generating responses at the moment. Do you have any further information, come to any new conclusions or is it possible to reword the post?
  4. Apr 12, 2015 #3
    Given the lack of replies, I will assume that the only difference is one of context. Stick to one model, you have the classic model relation; looking at one of many models, you have the Kripke relation for possible worlds. I throw this up as a challenge: if it is wrong, please correct!
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Classic model relation versus the Kripke model relation
  1. ARMA model (Replies: 3)

  2. Aggregate model (Replies: 1)

  3. Empirical models (Replies: 5)