Gavin's Miscellany
Personal encyclopedia and learning curriculum
ยท
119 entries
Surprise Me
Quiz Me
Sign-in unavailable
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: