Can someone explain to me how the concepts of states, models and worlds work together in Kripke semantics?
I've been trying to piece together how the parts work are linked together but cannot figure it out.
From what I understand, a model M consists of worlds. Now as far as I can gather from that, states would be the some as worlds. However, I cannot find this confirmed anywhere.
Could someone explain to me how these concepts work? Obviously, I've googled them, but most texts are quite complicated to grasp with little experience on the subject. Even textbooks remain quite vague.
Yes, worlds and states are the same thing. Some people prefer one term over the other, but in either case the difference is merely terminological. If you want to learn more about how modal logic works, you could start by reading the SEP entry on Modal Logic. There are also plenty of good texts out there. I like Chellas's Modal Logic: An Introduction, Popkorn's First Steps in Modal Logic, and van Benthem's Modal Logic for Open Minds.