Classic model relation versus the Kripke model relation

  • Context: Graduate 
  • Thread starter Thread starter nomadreid
  • Start date Start date
  • Tags Tags
    Model Relation
Click For Summary
SUMMARY

The discussion centers on the relationship between the classic model relation (|=) and the Kripke model relation (|-) in the context of Kripke semantics. The author posits that while both relations serve to evaluate formulas, they differ primarily in their contextual application—|= pertains to a singular model, whereas |- relates to multiple possible worlds. The author invites corrections to this interpretation, indicating a challenge to clarify the nuances between these two semantic frameworks.

PREREQUISITES
  • Understanding of Kripke semantics
  • Familiarity with model theory
  • Knowledge of first-order and second-order logic
  • Concept of possible worlds in modal logic
NEXT STEPS
  • Research the differences between first-order and second-order logic
  • Explore the implications of possible worlds in modal logic
  • Study the application of Kripke semantics in various logical frameworks
  • Examine the role of context in model theory
USEFUL FOR

Logicians, philosophers of language, and students of formal semantics who are exploring the intricacies of model relations in logic.

nomadreid
Gold Member
Messages
1,773
Reaction score
256
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 |= ?
 
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!
 

Similar threads

Graduate What are the potential connections between Quantum Mechanics and Model Theory?
  • · Replies 6 ·
Replies
6
Views
2K
Undergrad Linear regression with error term
  • · Replies 8 ·
Replies
8
Views
3K
Undergrad Three inertial particles: Separating the twins from the paradox
  • · Replies 40 ·
2
Replies
40
Views
5K
Undergrad The standard model from loop quantum gravity via spinors octonions
  • · Replies 26 ·
Replies
26
Views
6K
How to model the behavior of a closed loop position system?
  • · Replies 9 ·
Replies
9
Views
3K
Experimenting whether the diameter of a pot affects boiling time for water
  • · Replies 15 ·
Replies
15
Views
3K
Modeling Air Compression Cylinder
  • · Replies 45 ·
2
Replies
45
Views
7K
Graduate Modeling the damping of a physical rigid pendulum
  • · Replies 1 ·
Replies
1
Views
2K
Is mathematics invented or discovered?
  • · Replies 64 ·
3
Replies
64
Views
4K
Undergrad Possibility Theory: Simplifying Uncertainty and Human Reasoning
  • · Replies 23 ·
Replies
23
Views
5K