Classic model relation versus the Kripke model relation

  • Level: Graduate 
  • Thread starter Thread starter nomadreid
  • Start date Start date
  • Tags Tags
    Model Relation
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
1 reply · 1K views
nomadreid
Gold Member
Messages
1,779
Reaction score
258
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 |= ?
 
Physics news on Phys.org
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!