Gavin's Miscellany
Personal encyclopedia and learning curriculum
ยท
168 entries
Surprise Me
Quiz Me
Edit & Review
Tag
possible-worlds
1 entry tagged possible-worlds.
Philosophy
Logic & Formal Reasoning
Modal Logic and Kripke Worlds
Predicate logic lets us say surprisingly complicated things about the actual situation: