Spieltheoretische Semantik

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Semantik für logische Sprachen, die die Wahrheit einer Formel in einem Modell als Existenz einer Gewinnstrategie in einem zugehörigen Auswertungsspiel zwischen zwei Spielern (Verifier und Falsifier) interpretiert; logische Junktoren und Quantoren werden in Spielregeln übersetzt, die Züge und Gewinnbedingungen festlegen.