Deterrence Modeling
Deterrence modeling uses game theory to analyze when a defender can dissuade a challenger from aggression by threatening unacceptable costs. Classical deterrence theory, rooted in Schelling's work and Cold War nuclear strategy, was reformulated by Frank Zagare and D. Marc Kilgour in Perfect Deterrence (2000) into a family of incomplete-information games. These models make precise the two requirements a deterrent threat must meet — capability (the means to inflict the cost) and credibility (a genuine willingness to carry it out) — and identify the equilibrium conditions under which deterrence succeeds, fails, or collapses into conflict.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.