- Disjunctive(describing the type of goal being analyzed)
- Involving 'or' statements—situations where multiple options or outcomes are possible rather than just one.
- Epistemic
- "Epistemic" relates to knowledge—how we know things, what counts as knowledge, and whether we can trust what we believe to be true. It comes from the Greek word for knowledge and is used to describe questions about the reliability and validity of our beliefs and understanding. For example, "epistemic humility" means acknowledging the limits of what you can actually know for certain.
- Game-theoretic semantics(the main method being discussed)
- A way of understanding meaning and truth by imagining a game between two players: one trying to prove a statement true, the other trying to prove it false.
- Hintikka(as a foundational philosopher in modal logic)
- Jaakko Hintikka, a Finnish philosopher who pioneered formal logical approaches to understanding knowledge and belief in the mid-20th century.
- Verifier-falsifier structure(the strategic framework being described)
- A game setup with two opposing players: one (the verifier) trying to show a claim is true, and the other (the falsifier) trying to show it's false.
- imperfect information(Game theory / extensive games)
- A condition in extensive games where players cannot distinguish between certain game states, represented formally by indistinguishability relations
- pure strategy(Contrasted with mixed (randomizing) strategies in the context of the bridge-crossing game.)
- A strategy in which a player deterministically selects a single action rather than randomizing over actions.