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 |= ?(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums | Science Articles, Homework Help, Discussion**

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

Loading...

Similar Threads for Classic model relation |
---|

I Fitting two models in sequence with parameters in common |

B Conditional Probability, Independence, and Dependence |

I Shaky model in least squares fit |

A Transcription from SQL to FOL (First Order Logic) |

**Physics Forums | Science Articles, Homework Help, Discussion**