possible‑worlds semantics
C33913
concept
Possible-worlds semantics is a formal framework in logic and linguistics that interprets the meaning of sentences by evaluating their truth across a range of alternative, systematically structured possible worlds.
Observed surface forms (7)
| Surface form | Occurrences |
|---|---|
| theory of modality | 3 |
| Kripke-style semantics | 1 |
| Kripkean thought experiment | 1 |
| possible-worlds semantics | 1 |
| semantic structure in modal logic | 1 |
| semantics for modal logic | 1 |
| semantics in mathematical logic | 1 |
Instances (8)
| Instance | Via concept surface |
|---|---|
|
routley star semantics
surface form:
Routley star semantics
|
— |
| counterpart theory | theory of modality |
| counterpart theory of trans-world identity | theory of modality |
| Leibniz's metaphysics of modality | theory of modality |
| Fitting semantics for modal logic | semantics for modal logic |
| Herbrand semantics | semantics in mathematical logic |
| Gödel–Schmidt example | Kripkean thought experiment |
| Kripke frame | semantic structure in modal logic |