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

    nomadreid

    User Avatar
    Gold Member

    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

    nomadreid

    User Avatar
    Gold Member

    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!
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook




Loading...